Utilizamos cookies propias y de terceros para mejorar la calidad de nuestros servicios mediante el análisis de sus hábitos de navegación. Si continua navegando, consideramos que acepta su uso. Puede cambiar la configuración u obtener más información Aquí.
X

Formalmente, se presenta una introducción a la Lógica de Proposiciones y a la Lógica de Primer Orden. Más coloquialmente, se pretenden explicitar algunos de los esquemas de razonamiento que todos usamos en nuestras discusiones del día a día. Esta es una aproximación que pretende capacitar al estudiante como usuario de un sistema lógico: para plantear o resolver juegos, para transmitir conocimiento estructurado, para debatir.. Hay toda una línea de estudio que persigue automatizar estos procesos, facilitar que las máquinas los repliquen. No se abordan en este curso. Las herramientas informáticas que se sugieren lo son desde la perspectiva del usuario, no del desarrollador.

Para poder inscribirte en el curso, regístrate en la comunidad.

Módulos

0: Presentación 0: Presentación

Fecha de inicio: 11/02/2013 01:00

Fecha de fin: 31/12/3000 13:00

1: El Lenguaje [Proposicional] 1: El Lenguaje [Proposicional]

Fecha de inicio: 10/02/2013 23:00

Fecha de fin: 31/12/3000 22:59

2: El Lenguaje [Predicados] 2: El Lenguaje [Predicados]

Fecha de inicio: 18/02/2013 01:00

Fecha de fin: 31/12/3000 13:00

3: Las Preguntas 3: Las Preguntas

Fecha de inicio: 25/02/2013 01:00

Fecha de fin: 31/12/3000 13:00

4: Las Respuestas [Equivalencia] 4: Las Respuestas [Equivalencia]

Fecha de inicio: 04/03/2013 01:00

Fecha de fin: 31/12/3000 13:00

5: Las Respuestas [Satisfacibilidad] 5: Las Respuestas [Satisfacibilidad]

Fecha de inicio: 11/03/2013 01:00

Fecha de fin: 31/12/3000 13:00

6: Las Respuestas [Deducción] 6: Las Respuestas [Deducción]

Fecha de inicio: 18/03/2013 01:00

Fecha de fin: 31/12/3000 13:00

Conocimientos Necesarios:

No se requieren.

Duración:

6 semanas ( 18 horas de estudio estimadas)

Fecha De Inicio:

Curso cerrado

Claustro