Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2015-2

Optativas de los Niveles V y VI, Lógica Matemática I

Grupo 4811 21 alumnos.
Profesor Osvaldo Alfonso Téllez Nieto lu mi vi 15 a 16 P204
Ayudante Ana Karen Flores García ma ju 15 a 16 P204

 

Este es un curso introductorio a la Lógica matemática, dirigido a estudiantes de licenciaturas en matemáticas, física, actuaría y ciencias de la computación, a partir del segundo semestre de su carrera.

Presentaremos el lenguaje de la lógica proposicional y todo su poder expresivo; el concepto de "sistema formal" y un cálculo de proposiciones como ejemplo específico de uno de dichos sistemas formales.

http://www.fciencias.unam.mx/licenciatura/asignaturas/217/445

Habrá tres examenes y la misma cantidad de tareas. (80 % exámenes, 20 % tareas), una reposición o un examen final.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.