Cambiar a contenido.

OCW-USAL

Secciones
Herramientas Personales
Inicio » Enseñanzas Técnicas » Lógica Matemática » Programa de la asignatura
Acciones de Documento
  • Print this page
  • Add Bookmarklet

Programa de la asignatura

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
Copyright 2008, de los Autores de los Cursos. Cite/attribute Resource. Programa de la asignatura. (2011, February 17). Retrieved February 17, 2020, from OCW-USAL Web site: http://ocw.usal.es/ensenanzas-tecnicas/logica-matematica/programa-de-la-asignatura-1. This work is licensed under a Creative Commons License. Creative Commons License