Salta al contenido principal
Panel lateral
Enlaces de interés
FING
Bedelia
SGAE
OpenFing
Noticias
Redes sociales
Orientacion y consulta
Convivencia
Cursos
Institutos
Tecnólogos
Posgrados
Extensión
Institucional
Más
Buscar
Cerrar
Buscar
Selector de búsqueda de entrada
En este momento está usando el acceso para invitados
Acceder
Página Principal
Expandir todo
Colapsar todo
Abrir índice del curso
Abrir cajón de bloques
Institutos
Lógica
Planteos y Soluciones
Planteos y Soluciones
Perfilado de sección
General
Encuestas de Opinión Estudiantil - anteriores
Inducción y Recursión
Sintaxis - Lógica Proposicional
Semántica - Lógica Proposicional
Deducción Natural - Lógica Proposicional
Completitud - Lógica Proposicional
Primer Parcial - curso 2025
Sintaxis - Lógica de Primer Orden
Semántica - Lógica de Primer Orden
Deducción Natural - Lógica de Primer Orden
Completitud - Lógica de Primer Orden
Parciales anteriores
Exámenes
Planteos y Soluciones
Requisitos de finalización
Descargar carpeta
2015
Diciembre2015.pdf
Febrero2015.pdf
Julio 2015.pdf
2016
Diciembre2016.pdf
Febrero2016.pdf
Julio2016.pdf
2017
Diciembre2017.pdf
Febrero2017.pdf
Julio2017.pdf
2018
Diciembre2018.pdf
Febrero2018.pdf
2019
Diciembre.pdf
Febrero2019.pdf
Julio2019.pdf
2020
examenDiciembre2020.pdf
febrero2020.pdf
JulioAgosto2020.pdf
2021
Letra 2da Parte - Julio 21.pdf
Letra Ex. Diciembre21.pdf
Letra Examen Febrero 2021.pdf
Letra Primera Parte - Julio 21.pdf
Solución 2da. Parte - Julio 21.pdf
Solución Ex. Diciembre 21.pdf
Solución Examen Febrero 2021.pdf
Solución Primera Parte - Julio 21.pdf
2022
Letra Febrero 2022.pdf
LetraDiciembre2022.pdf
LetraJulio2022.pdf
Solución Febrero 2022.pdf
SolucionDiciembre2022.pdf
SolucionJulio2022.pdf
2023
LetraDiciembre23.pdf
LetraFebrero2023.pdf
LetraJulio2023.pdf
SolucionDiciembre23.pdf
SolucionFebrero2023.pdf
SolucionJulio2023.pdf
2024
LetraDiciembre2024.pdf
LetraFebrero2024.pdf
LetraJulio2024.pdf
SolucionDiciembre2024.pdf
SolucionFebrero2024.pdf
SolucionJulio2024.pdf
2025
LetraFebrero2025.pdf
SolucionFebrero2025.pdf
◄ Exámenes
Ir a...
Ir a...
Novedades
Programa del curso
Libro del curso (Logic and Structure - Dirk van Dalen)
Presentación 2025
Lista de Inscriptos al Curso
Horarios y Salones - Curso 2025
Cronograma de la primera parte del curso
Cronograma de la segunda parte del curso
Reglas sobre el uso de los foros
Sugerencias
Generalidades del curso
Social
Presentación del Curso 2025
Generalidades - CENUR Litoral Norte
Encuesta de opinión estudiantil del curso semestre 1 de 2025
Encuesta DOCENTE semestre 1 de 2025 Sofía Camacho
Encuesta DOCENTE semestre 1 de 2025 Juan Diego Campo
Encuesta DOCENTE semestre 1 de 2025 Facundo Díaz
Encuesta DOCENTE semestre 1 de 2025 Fernando Fernández
Encuesta DOCENTE semestre 1 de 2025 Juan Pablo García
Encuesta DOCENTE semestre 1 de 2025 Maite Martínez
Encuesta DOCENTE semestre 1 de 2025 Mónica Martínez
Encuesta DOCENTE semestre 1 de 2025 Yael Michelena
Encuesta DOCENTE semestre 1 de 2025 Mathías Rodríguez
Encuesta DOCENTE semestre 1 de 2025 Camila Sanz
Encuesta DOCENTE semestre 1 de 2025 Ignacio Sastre
Introducción
Video OpenFING: Clase 1 - Introducción
Inducción
Video OpenFING: Clase 2 - Inducción
Recursión
Video OpenFING: Clase 3 - Recursión
Teórico de Inducción y recursión
Práctico 1
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)
Video de presentación y pautas para el Práctico 1 (2da parte)
Fe de erratas - Video presentación pr1 - 2da parte
Práctico 1
Lógica Proposicional: Introducción
Sintaxis de la Lógica Proposicional
Video OpenFING: Clase 4 - Proposicional - Sintaxis
Video OpenFING: Clase 5 - Proposicional - Sintaxis
Teórico de Sintaxis - Lógica Proposicional
Práctico 2 - Letra
Práctico 2 - Algunas soluciones
Video presentación y pautas para Práctico 2
Práctico 2 - Foro
Semántica de la Lógica Proposicional
Video OpenFING: Clase 6 - Proposicional - Semántica
Video OpenFING: Clase 7 - Proposicional - Semántica
Teórico de Semántica - Lógica Proposicional
Lista de equivalencias
Práctico 3 - Letra
Práctico 3 - Algunas Soluciones
Video presentación y pautas para el Práctico 3
Intro. Ej14 Corregido
Práctico 3 - Foro
Deducción Natural en Lógica Proposicional.
Video OpenFING: Clase 8 - Proposicional - Deducción Natural
Video OpenFING: Clase 9 - Proposicional - Deducción Natural
Teórico de Deducción Natural - Lógica Proposicional
Práctico 4 - Letra
Práctico 4 - Algunas Soluciones
Yoda para PROP
Video presentación y pautas para el práctico 4
Práctico 4
Corrección 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
Teórico de Completitud - Lógica Proposicional
Práctico 5 - Letra
Práctico 5 - Algunas soluciones
Video presentación y pautas para el práctico 5
Ejercicio 1 a)
Práctico 5
Inscripción a muestra del primer parcial 2025
Letra del primer parcial
Solución del primer parcial
Introducción a la lógica de primer orden
Sintaxis de la Lógica de Predicados
Video OpenFING: Clase 12 - Predicados - Sintaxis
Video OpenFING: Clase 13 - Predicados - Sintaxis
Teórico de Sintaxis - Lógica de primer orden
Práctico 6 - Letra
Práctico 6 - Algunas soluciones
Video presentación y pautas para Práctico 6
Práctico 6
Semántica de la Lógica de Primer Orden
Video OpenFING: Clase 14 - Predicados - Semántica
Video OpenFING: Clase 15 - Predicados - Semántica
Video OpenFING: Clase 16 - Predicados - Semántica
Video OpenFING: Clase 17 - Predicados - Semántica
Teórico de Semántica - Lógica de Primer Orden
Práctico 7 - Letra
Video presentación y pautas para el Práctico 7 (1ª parte)
Video presentación y pautas para el Práctico 7 (2da. parte)
Práctico 7
Deducción Natural en Primer Orden
Video OpenFING: Clase 18 - Predicados - Deducción Natural
Video OpenFING: Clase 19 - Predicados - Deducción Natural
Teórico de Deducción Natural - Lógica de Primer Orden
Práctico 8
Video presentación y pautas para Práctico 8
Práctico 8
Completitud de la Lógica de Predicados de Primer Orden
Video OpenFING: Clase 20 - Predicados - Corrección y Completitud
Video OpenFING: Clase 21 - Predicados - Corrección y Completitud
Video OpenFING: Clase 22 - Predicados - Corrección y Completitud
Teórico de Completitud - Lógica de Primer Orden
Práctico 9
Video presentación y pautas para el práctico 9
Práctico 9
Planteos
Soluciones
Parciales
Comentarios sobre parciales
Exámenes