Lógica

+Info
DEPARTAMENTO PROFESOR/ES
MATEMÁTICAS Y COMPUTACIÓN Luis Javier Hernández Paricio
TITULACIONES EN LAS QUE SE IMPARTE LA ASIGNATURA
Titulación Carácter Curso Semestre Créditos Guía Docente
Grado en Ingeniería Informática Obligatoria 1 Segundo Semestre 6 pdf
Grado en Matemáticas Obligatoria 1 Segundo Semestre 6 pdf
CONTEXTO


La asignatura de <em>Lógica </em>recopila y unifica los conocimientos que los estudiantes pueden haber adquirido en la Educación Secundaria , y los amplía proporcionando la base necesaria para el razonamiento deductivo en matemáticas y el razonamiento automático en informática.


COMPETENCIAS
COMPETENCIAS GENERALES:
CG1-Estar capacitado para analizar, razonar y evaluar de modo crítico, lógico y, en caso necesario, formal, sobre problemas que se planteen en su entorno.
CG2-Estar capacitado para, utilizando el nivel adecuado de abstracción, establecer y evaluar modelos que representen situaciones reales.
CG4-Estar capacitado para transmitir información, ideas, planteamiento de problemas y soluciones, tanto a otros profesionales tecnológicos y científicos, como a personas ajenas a esas disciplinas.
CG7-Haber desarrollado aquellas habilidades de aprendizaje necesarias para continuar su formación.
CG12-Capacidad para concebir, desarrollar y mantener sistemas, servicios y aplicaciones informáticas empleando los métodos de la ingeniería del software como instrumento para el aseguramiento de su calidad.
CG15-Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones.
CG17-Conocimientos para la realización de mediciones, cálculos, valoraciones, tasaciones, peritaciones, estudios, informes, planificación de tareas y otros trabajos análogos de informática.

COMPETENCIAS ESPECÍFICAS:
CE3-Capacidad para comprender y dominar los conceptos básicos de matemática discreta, lógica, algorítmica y complejidad computacional, y su aplicación para la resolución de problemas propios de la ingeniería.
TEMARIO


Tema 1 LENGUAJE, VERDAD Y RAZONAMIENTO
<ol>
<li value="1.1">
Enunciados verdaderos y falsos

Primeros conectores

Cuantificadores

Inferencia y conector condicional

Reglas de inferencia
</ol>

Tema 2 LÓ GICA Y CONJUNTOS
<ol>

Conjuntos y aplicaciones.

Números naturales. Inducción.

Operaciones con subconjuntos. Silogismos.

Sistemas de conectores
</ol>

Tema 3 SINTAXIS Y SEMÁNTICA
<ol>

El lenguaje de las proposiciones.

Tablas de verdad
<li value="3.2">
Equivalencias

Formas normales
</ol>

Tema 4 LÓGICA ALGEBRAICA
<ol>

Álgebras libres

Álgebra de Boole libre

Álgebras de Boole abstractas
</ol>


Tema 5 MÉTODOS DE DEMOSTRACIÓN CON PROPOSICIONES
<ol>

Reglas de inferencia

Método de resolución

Los axiomas de Lukasiewicz

La deducción natural

Otros sistemas axiomáticos
</ol>


Tema 6 SINTAXIS Y SEMÁNTICA CON PREDICADOS
<ol>

Las fórmulas y su interpretación

Formas prenexas

Transformación de Skolem
</ol>


Tema 7 MÉTODOS DE DEMOSTRACIÓN CON PREDICADOS
<ol>

Reglas de inferencia. Teorema de deducción

Método de Resolución

Deducción natural

Axiomas de Lukasiewicz
</ol>