UNIVERSIDAD MARIANO GALVEZ DE GUATEMALA FACULTAD DE INGENIERIA EN SISTEMAS DE INFORMACIN INGENIERIA EN SISTEMAS DE INFORMACIN JORNADA DIARIA VESPERTINA CURSO:

Lgica CODIGO: 090402 Pre-Requisito: Ninguno 24/11/2005 JUSTIFICACION: La lgica es esencialmente importante para los estudiantes de informtica y sistemas; ya que constituye la base matemtica del software. Este curso pretende formar slidas bases formales que permitan al estudiante entender las relaciones existentes entre la lgica y la informtica y los sistemas, y cmo los clculos deductivos pueden constituir un soporte para el cmputo. La lgica es soporte de toda actividad cientfica, pero adems en la actualidad se ha convertido en disciplina fundacional para numerosos campos de conocimiento. Adems la inteligencia artificial, los lenguajes formales y las mquinas de turing se basan en un componente lgico slido. DESCRIPCION: El curso de lgica primordialmente, trata el estudio de las caractersticas y propiedades fundamentales de los sistemas lgicos tradicionales: la lgica de proposiciones y la lgica de predicados. Sin menospreciar el rigor matemtico se ha dado gran importancia a las tcnicas de formalizacin, y ms generalmente a las tcnicas de representacin del conocimiento mediante la lgica, as como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue al contenido de este curso ya que hace hincapi en los contenidos matemticos y la metateora, o bien se aborda el estudio de la lgica de forma meramente descriptiva y centrndose en los problemas de deduccin formal (en la propia lgica). Este curso adems permitir al catedrtico hacer analogas entre los elementos lgicos y las instrucciones de los lenguajes ms populares. OBJETIVOS GENERALES: Aportar los recursos bsicos en la adquisicin y procesamiento del conocimiento, promover actitudes coherentes e imprescindibles en el trabajo intelectual y aportar una base slida a nuevos conocimientos que el alumno tendr que adquirir a lo largo de su carrera OBJETIVOS ESPECIFICOS: - Que el estudiante consiga una forma de razonamiento ordenado; para resolver problemas reales. - Dar al estudiante; en la lgica; un recurso bsico en toda forma de razonamiento, constitucin de la creencia y fundamentacin del conocimiento. - Que Conciba la necesidad del planteamiento de sus pensamientos para lograr un resultado confiable.

- Dar al estudiante; la oportunidad de razonar y hacer planteamientos antes de obtener resultados concretos. CONTENIDO: Unidad 1: Lgica - Nociones preliminares de Lgica - La Lgica Unidad 2: Lgica del Concepto - El concepto - Los objetos - Tradas del concepto - rboles lgicos Unidad 3: El Lenguaje y la Lgica de las proposiciones - Lgica de las Proposiciones - Lgica Matemtica - Funciones del Lenguaje Unidad 4: Razonamientos y Falacias - El Razonamiento - Clasificacin de los razonamientos - La inferencia - Falacias - Falacias de atingencia - Falacias de ambigedad Unidad 5: La creatividad y bloqueos mentales - La creatividad - La prctica de la creatividad - Bloqueos mentales - Tipos de bloqueos mentales Unidad 6: Lgica de los Sistemas Humanos - El enfoque de sistemas - El ser humano como Sistema - Los Modelos Mentales Unidad 7: Modelo Conceptual de la Metodologa UML - Identificar clases, objetos y atributos - Identificar relaciones
EVALUACIN Primer Parcial Segundo Parcial Laboratorios, tareas y trabajos de investigacin Examen Final Nota Final 10 puntos 20 puntos 20 puntos 50 puntos 100 puntos

BIBLIOGRAFIA:

Introduccin a la lgica Sergio Custodio Oscar de Len Palacios

Lgica Simblica para Informticos Pascual Julin Iranzo ALFAOMEGA/AGAPEA, 2003 ISBN: 970-15-1072-0 Lgica Simblica Irving Copi CECESA, 1999.