Menu Content/Inhalt
Home
Introducción a la Lógica y la Computación

Contenidos Mínimos:

  1. Estructuras ordenadas: reticulados y álgebras de Boole.
  2. Sistemas formales.
  3. Introducción a la lógica de primer orden.
  4. Lógica ecuacional.
  5. Introducción a las especificaciones algebraicas.
  6. Introducción a los sistemas de reescrituras.
  7. Conceptos de autómatas y lenguajes.
  8. Gramáticas libres de contexto.

 
< Anterior   Siguiente >
Content Management System: Joomla!
Template based on an original designed by www.madeyourweb.com