Note
This repository contains theoretical notes and practical exercises from the Logic course of the Computer Science degree at FAMAF – Universidad Nacional de Córdoba.
All materials are in Spanish, as they were created for academic use and course submission.
El presente repositorio contiene todo el material correspondiente a la cursada de la materia de Lógica de 4to año de la Licenciatura en Ciencias de la Computación de FAMAF durante el año 2024.
Los temas que trata la materia se pueden ver en el Programa. Y todo el material se puede encontrar en la siguiente carpeta de Drive y en el Gran Lógico.
El equipo docente está compuesto por:
- Diego Vaggione
- Miguel Campercholi
- Martín Vilela Demetrio
| Unidad | Tema | Material | Resumen |
|---|---|---|---|
| 0 | Conceptos iniciales | Teoría | |
| 1 | Relaciones de equivalencia y particiones | Teoría | Markdown y PDF |
| 2 | Posets e isomorfismo | Teoría | Markdown y PDF |
| 3 | Reticulados par | Teoría | Markdown y PDF |
| 4 | Reticulados Terna | Teoría | Markdown y PDF |
| 5 | Reticulados acotados, complementados y distributivos + Álgebra de Boole | Teoría | Markdown y PDF |
| 6 | Reticulados cuaterna y su lenguaje elemental | Teoría | Markdown y PDF |
| 7 | Estructuras y su lenguaje elemental asociado | Teoría | Markdown y PDF |
| 8 | Programa de lógica matemática | Teoría | Markdown y PDF |
| 9 | Modelo matemático de la sintaxis elemental | Teoría | Markdown y PDF |
| 10 | Modelo matemático del valor de verdad de una fórmula | Teoría | Markdown y PDF |
| 11 | Notación declaratoria | Teoría | Markdown y PDF |
| 12 | Teorías de primer orden | Teoría | Markdown y PDF |
| 13 | El álgebra de Lindenbaum | Teoría | Markdown y PDF |
| 14 | Teorema de completitud | Teoría | Markdown y PDF |
La lista de combos para el final teórico se puede encontrar aquí.