Primero
Páginas: 3 (549 palabras)
Publicado: 25 de mayo de 2010
UNIVERSIDAD MARIANO GALVEZ DE GUATEMALA
FACULTAD DE INGENIERIA EN SISTEMAS DE INFORMACIÓN
INGENIERIA EN SISTEMAS DE INFORMACIÓN
JORNADA DIARIA VESPERTINA
CURSO: Lógica
CODIGO: 090402Pre-Requisito: Ninguno
24/11/2005
JUSTIFICACION:
La lógica es esencialmente importante para los estudiantes de informática y sistemas; ya que constituye la base matemática del software. Estecurso pretende formar sólidas bases formales que permitan al estudiante entender las relaciones existentes entre la lógica y la informática y los sistemas, y cómo los cálculos deductivos puedenconstituir un soporte para el cómputo.
La lógica es soporte de toda actividad científica, pero además en la actualidad se ha convertido en disciplina fundacional para numerosos campos de conocimiento.Además la inteligencia artificial, los lenguajes formales y las máquinas de turing se basan en un componente lógico sólido.
DESCRIPCION:
El curso de lógica primordialmente, trata el estudio de lascaracterísticas y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la lógica de predicados.
Sin menospreciar el rigor matemático se ha dado granimportancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado unequilibrio entre ambos extremos, lo que distingue al contenido de este curso ya que hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de formameramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica).
Este curso además permitirá al catedrático hacer analogías entre los elementos lógicos y lasinstrucciones de los lenguajes más populares.
OBJETIVOS GENERALES:
Aportar los recursos básicos en la adquisición y procesamiento del conocimiento, promover actitudes coherentes e imprescindibles en...
FACULTAD DE INGENIERIA EN SISTEMAS DE INFORMACIÓN
INGENIERIA EN SISTEMAS DE INFORMACIÓN
JORNADA DIARIA VESPERTINA
CURSO: Lógica
CODIGO: 090402Pre-Requisito: Ninguno
24/11/2005
JUSTIFICACION:
La lógica es esencialmente importante para los estudiantes de informática y sistemas; ya que constituye la base matemática del software. Estecurso pretende formar sólidas bases formales que permitan al estudiante entender las relaciones existentes entre la lógica y la informática y los sistemas, y cómo los cálculos deductivos puedenconstituir un soporte para el cómputo.
La lógica es soporte de toda actividad científica, pero además en la actualidad se ha convertido en disciplina fundacional para numerosos campos de conocimiento.Además la inteligencia artificial, los lenguajes formales y las máquinas de turing se basan en un componente lógico sólido.
DESCRIPCION:
El curso de lógica primordialmente, trata el estudio de lascaracterísticas y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la lógica de predicados.
Sin menospreciar el rigor matemático se ha dado granimportancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado unequilibrio entre ambos extremos, lo que distingue al contenido de este curso ya que hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de formameramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica).
Este curso además permitirá al catedrático hacer analogías entre los elementos lógicos y lasinstrucciones de los lenguajes más populares.
OBJETIVOS GENERALES:
Aportar los recursos básicos en la adquisición y procesamiento del conocimiento, promover actitudes coherentes e imprescindibles en...
Leer documento completo
Regístrate para leer el documento completo.