Encabezado Facultad de Ciencias
Asignaturas de Ciencias de la Computación (plan 1994)

Lógicas no Clásicas

Optativas - Optativo

Clave 0811, 10 créditos. Tipo Normal.

Resumen

Dado que no existe una lógica general que caracterice a todos los argumentos válidos, es conveniente revisar algunas extensiones a los sistemas lógicos que pueden verse como extensiones o desviaciones de los sistemas caracterizados como de lógicas clásicas. Se revisan varias extensiones, las dos más importantes siendo la lógica intencional y la lógica de tipos.

 


Hecho en México, todos los derechos reservados 2011-2013. 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.