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
Práctico 4 - Letra
Práctico 4 - Letra
Perfilado de sección
General
Inducción y Recursión
Sintaxis - Lógica Proposicional
Semántica - Lógica Proposicional
Deducción Natural - Lógica Proposicional
Completitud - Lógica Proposicional
Parciales anteriores
Exámenes
Práctico 4 - Letra
Requisitos de finalización
Práctico 4
Haga clic en
p4.pdf
para ver el archivo.
◄ Teórico de Deducción Natural - Lógica Proposicional
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
Reglas sobre el uso de los foros
Sugerencias
Generalidades del curso
Social
Presentación del Curso 2025
Generalidades - CENUR Litoral Norte
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
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
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
Video presentación y pautas para el práctico 5
Ejercicio 1 a)
Práctico 5
Planteos
Soluciones
Parciales
Comentarios sobre parciales
Exámenes
Planteos y Soluciones
Yoda para PROP ►
