Can I read Curso de Lógica Matemática Electiva on EtoBox?

Curso de Lógica Matemática Electiva by TaTiana Giron is a document available to read on EtoBox.

What is Curso de Lógica Matemática Electiva about?

Este documento presenta la descripción de un curso de Lógica Matemática en la Facultad de Ciencias de la Universidad del Valle. El curso cubrirá la lógica proposicional, la lógica de primer orden, la teoría de modelos, el teorema de incompletitud de Gödel y algunas lógicas no clásicas. La evaluación consistirá en un examen parcial y tareas. El método de enseñanza será a través de clases magistrales con discusión de ejercicios y lecturas.

Author

TaTiana Giron

Language

ES