Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2023-2

Cuarto Semestre, Lógica Computacional

Grupo 7070, 40 lugares. 12 alumnos.
Profesor Manuel Soto Romero ma ju 16 a 17:30 P102
Ayudante Tania Michelle Rubí Rojas lu mi 17:30 a 18:30 P102
Ayud. Lab. Silvia Díaz Gómez ju 14 a 16 Taller de Ingeniería de Software

 
🔗 Página del curso

https://lambdaspace.gitlab.io/cursos/unam/lc/20232/


🔡 Descripción

El objetivo del curso es introducir las lógicas formales y sus aplicaciones en Ciencias de la Computación. En particular, se analizan los casos de la lógica proposicional y la lógica de primer orden, junto a sus métodos formales de deducción y demostración dando además especial énfasis a la implementació́n de estos métodos.

A lo largo del curso, se presentarán ejemplos que permitirán establecer conexiones entre la lógica y otras áreas de la computación tales como complejidad computacional, teoría de autómatas, representación del conocimiento, inteligencia artificial y verificación formal de sistemas.


🏅 Evaluación

El curso se evaluará mediante Exámenes (40%), Prácticas (40%) y Trabajo en clase (20%)

📋 Contenido
  1. Lógica Proposicional
  2. Lógica de Predicados
  3. Programación Lógica
  4. Verificación Formal

 


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.