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
Abrir índice del curso
Abrir cajón de bloques
Institutos
Lógica
Planteos
Planteos
Planteos
Enunciados de parciales realizados
Descargar carpeta
Integrador 2020
Parcial Integrador 2020.pdf
Primer parcial
Primer Parcial 1998.pdf
Primer Parcial 1999.pdf
Primer Parcial 2000.pdf
Primer Parcial 2001.pdf
Primer Parcial 2002.pdf
Primer Parcial 2003.pdf
Primer Parcial 2004.pdf
Primer Parcial 2005.pdf
Primer Parcial 2006.pdf
Primer Parcial 2007.pdf
Primer Parcial 2008.pdf
Primer Parcial 2009.pdf
Primer Parcial 2010.pdf
Primer Parcial 2011.pdf
Primer Parcial 2012.pdf
Primer Parcial 2013.pdf
Primer Parcial 2014.pdf
Primer Parcial 2015.pdf
Primer Parcial 2016.pdf
Primer Parcial 2017.pdf
Primer Parcial 2018.pdf
Primer Parcial 2019.pdf
Primer Parcial 2021.pdf
Primer Parcial 2022.pdf
Primer Parcial 2023.pdf
Primer Parcial 2024.pdf
Segundo parcial
Segundo Parcial 1998.pdf
Segundo Parcial 1999.pdf
Segundo Parcial 2000.pdf
Segundo Parcial 2001.pdf
Segundo Parcial 2002.pdf
Segundo Parcial 2003.pdf
Segundo Parcial 2004.pdf
Segundo Parcial 2005.pdf
Segundo Parcial 2006.pdf
Segundo Parcial 2007.pdf
Segundo Parcial 2008.pdf
Segundo Parcial 2009.pdf
Segundo Parcial 2010.pdf
Segundo Parcial 2011.pdf
Segundo Parcial 2012.pdf
Segundo Parcial 2013.pdf
Segundo Parcial 2014.pdf
Segundo Parcial 2015.pdf
Segundo Parcial 2016.pdf
Segundo Parcial 2017.pdf
Segundo Parcial 2018.pdf
Segundo Parcial 2019.pdf
Segundo Parcial 2021.pdf
Segundo Parcial 2022.pdf
Segundo Parcial 2023.pdf
Segundo Parcial 2024.pdf
◄ Solución del segundo parcial
Ir a...
Ir a...
Novedades
Programa del curso
Libro del curso (Logic and Structure - Dirk van Dalen)
Presentación 2024
Lista de Inscriptos al Curso
Horarios y Salones
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
Horarios y Salones CENUR Litoral Norte
Presentación del Curso 2024
Generalidades - CENUR Litoral Norte
Encuesta de opinión estudiantil del curso semestre 1 de 2024
Encuesta DOCENTE semestre 1 de 2024 Guillermo Calderón
Encuesta DOCENTE semestre 1 de 2024 Sofía Camacho
Encuesta DOCENTE semestre 1 de 2024 Juan Diego Campo
Encuesta DOCENTE semestre 1 de 2024 Fernando Carpani
Encuesta DOCENTE semestre 1 de 2024 Carolina Cortes
Encuesta DOCENTE semestre 1 de 2024 Facundo Díaz
Encuesta DOCENTE semestre 1 de 2024 Raúl Marichal
Encuesta DOCENTE semestre 1 de 2024 Mónica Martínez
Encuesta DOCENTE semestre 1 de 2024 Ignacio Sastre
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
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
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 2024
Habilitados 1er. parcial - Salones
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
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
Práctico 7 - Algunas soluciones
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 - Algunas Soluciones
Yoda para PRED
Manual para Yoda en PRED (gracias a German Faller)
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 - Algunas soluciones
Práctico 9
Inscripción a muestra del segundo parcial 2024
Habilitados 2do. parcial - Salones
Letra del segundo parcial
Solución del segundo parcial
Soluciones
Parciales
Comentarios sobre parciales
Lista de inscriptos - examen julio 2024
Exámenes
Planteos y Soluciones
Soluciones ►