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_R
Semántica de la Lógica Proposicional - 2016
Semántica de la Lógica Proposicional - 2016
Semántica de la Lógica Proposicional - 2016
Slides
Haga clic en
05_PropSemantica.pdf
para ver el archivo.
◄ Planificación - Semántica de la Lógica Proposicional - Segunda Semana
Ir a...
Ir a...
Novedades
Programa Lógica - modalidad al Revés
Elección de día y horario
Aceptación del cupo
Foro general
Asignación de Estudiantes a Grupos
Resultado de la Encuesta Intermedia
prueba examen virtual
Prueba1
Planificación - Semana previa a la primera clase
Planificación - Temas Inducción y Recursión
Notas Cornell
Introducción
Inducción
Recursión
Práctico 1
Videos OpenFING
Notas Cornell - Papel
Algunos comentarios sobre las demostraciones.
Cuestionario Inicial
Notas Inducción
Inducción
Notas Recursión
Cuestionario Recursión
Inducción y Recursión
prueba
Planificación - Introducción a la Lógica Proposicional y Sintaxis
Planificación - Introducción a la Lógica Proposicional y Sintaxis - Segunda Semana
Sintaxis de la Lógica Proposicional - 2016
Práctico 2
Videos OpenFING
Notas Sintaxis de PROP
Cuestionario Sintaxis de PROP
Sintaxis de la lógica proposicional
Planificación - Semántica de la Lógica Proposicional
Planificación - Semántica de la Lógica Proposicional - Segunda Semana
Práctico 3
Videos OpenFING
Notas Semántica de PROP
Mapa Conceptual - Sintaxis y Semántica de PROP
Cuestionario Semántica
Semántica de la lógica proposicional
Planificación - Deducción Natural de la Lógica Proposicional
Planificación - Deducción Natural de la Lógica Proposicional - Segunda Semana
Deducción Natural en Lógica Proposicional - 2016
Práctico 4 - 2016
Videos OpenFING
Yoda para PROP
Práctico 4 en Yoda
Notas Deducción Natural de PROP
Notas Deducción Natural de PROP - Práctico
Mapa Conceptual Deducción Natural de PROP
Cuestionario Deducción Natural de PROP
Deducción Natural de la lógica proposicional
Planificación - Completitud de la Lógica Proposicional
Planificación - Completitud de la Lógica Proposicional - Segunda Semana
Consistencia y Completitud en la Lógica Proposicional - 2016
Práctico 5
Videos OpenFING
Notas Completitud de PROP
Notas Completitud de PROP - Práctico
Mapa Conceptual Completitud de PROP
Cuestionario Completitud Lógica Proposicional
Completitud de la lógica proposicional
Habilitados a dar el primer parcial
Solicitud de certificado de asistencia al primer parcial
Planificación - Primer Parcial
Primer parcial 2016
Parciales anteriories
Primer Parcial
Inscripción a muestra del parcial
Planificación - Sintaxis de la Lógica de Primer Orden
Planificación - Sintaxis de la Lógica de Primer Orden - Segunda Semana
Introducción a la lógica de primer orden - 2016
Sintaxis de la lógica de primer orden - 2016
Práctico 6
Videos OpenFING
Notas Sintaxis de PRED
Notas Sintaxis de PRED - Práctico
Cuestionario Sintaxis Lógica de Primer Orden
Sintaxis de la lógica de primer orden
Planificación - Semántica de la Lógica de Primer Orden
Planificación - Semántica de la Lógica de Primer Orden - Segunda Semana
Semántica de la Lógica de Primer Orden - 2016
Práctico 7
Videos OpenFING
Notas Semántica de PRED
Mapa Conceptual Sintaxis y Semántica de PRED
Cuestionario Semántica Lógica de Primer Orden
Semántica de la lógica de primer orden
Planificación - Deducción Natural de la Lógica de Primer Orden
Planificación - Deducción Natural de la Lógica de Primer Orden - Segunda Semana
Deducción Natural en Primer Orden - 2016
Identidad - 2016
Párctico 8
Videos OpenFING
Yoda para PRED
Manual para Yoda en PRED (gracias a German Faller)
Notas Deducción Natural de PRED
Notas Deducción Natural de PRED - práctico
Mapa Conceptual Deducción Natural de PRED
Cuestionario Deducción Natural de PRED
Deducción natural de la lógica de primer orden
Planificación - Completitud de la Lógica de Primer Orden
Completitud de la Lógica de Predicados de Primer Orden - 2016
Práctico 9
Videos OpenFING
Notas Completitud de PRED
Cuestionario Corrección y Completitud de PRED
Completitud de la lógica de primer orden
Lista de Habilitados
Solicitud de certificado de asistencia al segundo parcial
Planificación - Segundo Parcial
Segundo Parcial 2016
Parciales Anteriores
Segundo Parcial
Inscripción a muestra del parcial
Práctico 3 ►