Lógica
Tema | Nombre | Descripción |
---|---|---|
Programa del curso | Programa |
|
Libro del curso (Logic and Structure - Dirk van Dalen) | Libro del curso, 5ta edición. |
|
Presentación 2024 | ||
Lista de Inscriptos al Curso | ||
Horarios y Salones | Horarios y Salones para Consultas |
|
Cronograma de la primera parte del curso | ||
Cronograma de la segunda parte del curso | ||
Reglas sobre el uso de los foros | hfjsdfhjksd |
|
Horarios y Salones CENUR Litoral Norte | Horarios y Salones para Consultas |
|
Presentación del Curso 2024 | ||
Inducción y Recursión | Introducción | Este documento presenta una introducción al curso de Lógica. |
Inducción | Este documento presenta las ideas básicas de Conjuntos Inductivos y cómo aprovechar la estructura inductiva de los elementos de esos conjuntos para probar propiedades sobre los mismos. |
|
Video OpenFING: Clase 2 - Inducción | ||
Recursión | Este documento presenta las ideas básicas sobre cómo definir funciones sobre conjuntos definidos inductivamente explotando la estructura inductiva de sus elementos. |
|
Video OpenFING: Clase 3 - Recursión | ||
Práctico 1 | Duración: 2 semanas |
|
Práctico 1 - Primera Parte - Algunas Soluciones | ||
Práctico 1 - Segunda Parte - Algunas soluciones | ||
Video de presentación y pautas para el Práctico 1 (1era, parte) | Ejercicio 1 - 1:08:54 |
|
Video de presentación y pautas para el Práctico 1 (2da parte) | Ejercicio 11 - 36:35
|
|
Fe de erratas - Video presentación pr1 - 2da parte | En el ejercicio 22 al final del mismo se muestra un árbol como la representación del natural 2 en el lenguaje N1 que es incorrecta. La última diapositiva del video debería ser esta. |
|
Sintaxis - Lógica Proposicional | Lógica Proposicional: Introducción | En este documento se presenta introducción a la lógica proposicional. |
Sintaxis de la Lógica Proposicional | En este documento se presenta la sintaxis como conjunto inductivo. |
|
Video OpenFING: Clase 4 - Proposicional - Sintaxis | ||
Video OpenFING: Clase 5 - Proposicional - Sintaxis | ||
Práctico 2 - Letra | Duración: 1 semana. Video de presentación y pautas para resolución de ejercicios |
|
Práctico 2 - Algunas soluciones | ||
Video presentación y pautas para Práctico 2 | Ejercicio 1 16:25 Ejercicio 2 19:13 Ejercicio 3 20:24 Ejercicio 4 28:27 Ejercicio 5 48:57 Ejercicio 6 54:07 Ejercicio 7 59:23 Ejercicio 8 1:08:05 Ejercicio 9 1:14:57 Ejercicio 10 1:19:34 Ejercicio 11 1:23:39 Ejercicio 12 1:36:39 Ejercicio 13 1:38:50 Ejercicio 14 1:43:30 |
|
Semántica - Lógica Proposicional | Semántica de la Lógica Proposicional | Slides |
Video OpenFING: Clase 6 - Proposicional - Semántica | ||
Video OpenFING: Clase 7 - Proposicional - Semántica | ||
Lista de equivalencias | ||
Práctico 3 - Letra | ||
Práctico 3 - Algunas Soluciones | ||
Video presentación y pautas para el Práctico 3 | FE DE ERRATAS En el tiempo 2:14:17 la zona pintada en el diagrama de Venn debe incluir a todo el conjunto característico de φ. |
|
Intro. Ej14 Corregido | En el video de presentación del práctico 3, en la primera parte del ejercicio 14 quedó mal la presentación de la hipótesis global a considerar. Aquí se presentan las diapositiva corregida y la solución de este ejercicio se encuentra dentro de las soluciones publicadas de este práctico. |
|
Deducción Natural - Lógica Proposicional | Deducción Natural en Lógica Proposicional. | En esta sección se presenta otra noción de consecuencia, en la que no se utilizan consideraciones semánticas. En base a esta noción, se define un sistema basado en reglas sintácticas que permite demostrar que una fórmula es consecuencia de ciertas hipótesis. |
Video OpenFING: Clase 8 - Proposicional - Deducción Natural | ||
Video OpenFING: Clase 9 - Proposicional - Deducción Natural | ||
Práctico 4 - Letra | Práctico 4 |
|
Práctico 4 - Algunas Soluciones | ||
Yoda para PROP | Yoda - Derivar necesario es |
|
Video presentación y pautas para el práctico 4 | ||
Completitud - Lógica Proposicional | Consistencia y Completitud en la Lógica Proposicional | En este documento, se presenta la relación entre las dos nociones. Para esto se estudiarán las nociones de Corrección, Consistencia y Completitud en la Lógica Proposicional. |
Video OpenFING: Clase 10 - Proposicional - Corrección y Completitud | ||
Video OpenFING: Clase 11 - Proposicional - Corrección y Completitud | ||
Práctico 5 - Letra | El practico 5 del curso |
|
Práctico 5 - Algunas soluciones | ||
Video presentación y pautas para el práctico 5 | Ejercicio 1 - 25:09 Resumen Propiedades - 1:39:04 |
|
Ejercicio 1 a) | Solución corregida del ejercicio 1a. del práctico 5 que tiene un error en la presentación del video. |
|
Primer Parcial - curso 2024 | Inscriptos al 1er. parcial - 26 de abril | Inscriptos al primer parcial hasta el momento. |
Parciales anteriores | Planteos | Enunciados de parciales realizados |
Soluciones | Se plantea una posible solución. Se debe tener presente que no son necesariamente únicas, por lo que pueden existir soluciones diferentes a las presentadas. Por razones históricas, algunas propuestas dicen "Bosquejo de Solución", pero corresponden a una solución rigurosa y completa de cada ejercicio. |
|
Exámenes | Planteos y Soluciones |