Compartir
Título
Lógica Matemática, 2009-10
Otros títulos
12532
Autor(es)
Materia
Lógica Matemática
Clasificación UNESCO
1203 Ciencia de los ordenadores
Fecha de publicación
2009
Editor
Universidad de Salamanca (España). Open Course Ware
Descripción
Introducción teórica y práctica a la lógica proposicional, sus aplicaciones -en filosofía, matemáticas, I.A., informática y lingüística-, su alcance y sus limitaciones
Introducción al razonamiento con diagramas.
Introducción teórica y práctica a la lógica de primer orden. Asignatura optativa de la Diplomatura en Ingeniero Técnico en Informática de Sistemas.
URI
Tabla de contenidos
I. Materiales de clase: PRIMERA PARTE: LÓGICA PROPOSICIONAL: Tema 1. Introducción: ¿Qué es la lógica?, Consistencia y Consecuencia; Tema 2. El lenguaje de la lógica proposicional: Alfabeto, formalización; Tema 3. Semántica: Prácticas con Tarski’s world; Tema 4. Tableaux semánticos: Formalización y resolución de razonamientos, MAFIA
SEGUNDA PARTE: CONJUNTOS Y RAZONAMIENTO CON DIAGRAMAS: Tema único. Razonamiento con diagramas de Venn: SILOGÍSTICA. TERCERA PARTE: LÓGICA DE PRIMER ORDEN: Tema 1. (a) Introducción: ¿Por qué necesitamos la lógica de primer orden, (b) El lenguaje de la lógica proposicional: Alfabeto, formalización; Tema 2. Semántica: Prácticas con Tarski’s world; Tema 3. Tableaux semánticos: Formalización y resolución de razonamientos, ACERTIJOS FANTÁSTICOS. II. Prácticas. III. Evaluación de la asignatura. IV. Recursos informáticos. V. Bibliografía.
Colecciones