Salta al contenido principal
FING
  • 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
Cerrar
Selector de búsqueda de entrada
En este momento está usando el acceso para invitados
Acceder
FING
Página Principal
Expandir todo Colapsar todo

Bloques

Salta Calendario

Calendario

◄   abril |

mayo 2025

| junio   ►
Domingo Dom Lunes Lun Martes Mar Miércoles Mié Jueves Jue Viernes Vie Sábado Sáb
       
Sin eventos, jueves, 1 mayo 1
Sin eventos, jueves, 1 mayo 1
Sin eventos, viernes, 2 mayo 2
Sin eventos, viernes, 2 mayo 2
Sin eventos, sábado, 3 mayo 3
Sin eventos, sábado, 3 mayo 3
Sin eventos, domingo, 4 mayo 4
Sin eventos, domingo, 4 mayo 4
Sin eventos, lunes, 5 mayo 5
Sin eventos, lunes, 5 mayo 5
Sin eventos, martes, 6 mayo 6
Sin eventos, martes, 6 mayo 6
Sin eventos, miércoles, 7 mayo 7
Sin eventos, miércoles, 7 mayo 7
Sin eventos, jueves, 8 mayo 8
Sin eventos, jueves, 8 mayo 8
Sin eventos, viernes, 9 mayo 9
Sin eventos, viernes, 9 mayo 9
Sin eventos, sábado, 10 mayo 10
Sin eventos, sábado, 10 mayo 10
Sin eventos, domingo, 11 mayo 11
Sin eventos, domingo, 11 mayo 11
Sin eventos, lunes, 12 mayo 12
Sin eventos, lunes, 12 mayo 12
Sin eventos, martes, 13 mayo 13
Sin eventos, martes, 13 mayo 13
Sin eventos, miércoles, 14 mayo 14
Sin eventos, miércoles, 14 mayo 14
Sin eventos, jueves, 15 mayo 15
Sin eventos, jueves, 15 mayo 15
Sin eventos, viernes, 16 mayo 16
Sin eventos, viernes, 16 mayo 16
Sin eventos, sábado, 17 mayo 17
Sin eventos, sábado, 17 mayo 17
Sin eventos, domingo, 18 mayo 18
Sin eventos, domingo, 18 mayo 18
Sin eventos, lunes, 19 mayo 19
Sin eventos, lunes, 19 mayo 19
Sin eventos, martes, 20 mayo 20
Sin eventos, martes, 20 mayo 20
Sin eventos, miércoles, 21 mayo 21
Sin eventos, miércoles, 21 mayo 21
Sin eventos, jueves, 22 mayo 22
Sin eventos, jueves, 22 mayo 22
Sin eventos, viernes, 23 mayo 23
Sin eventos, viernes, 23 mayo 23
Sin eventos, sábado, 24 mayo 24
Sin eventos, sábado, 24 mayo 24
Sin eventos, domingo, 25 mayo 25
Sin eventos, domingo, 25 mayo 25
Sin eventos, lunes, 26 mayo 26
Sin eventos, lunes, 26 mayo 26
Sin eventos, martes, 27 mayo 27
Sin eventos, martes, 27 mayo 27
Sin eventos, miércoles, 28 mayo 28
Sin eventos, miércoles, 28 mayo 28
Sin eventos, jueves, 29 mayo 29
Sin eventos, jueves, 29 mayo 29
Sin eventos, viernes, 30 mayo 30
Sin eventos, viernes, 30 mayo 30
Sin eventos, sábado, 31 mayo 31
Sin eventos, sábado, 31 mayo 31
Calendario del curso
Salta Buscar en los foros

Buscar en los foros

Búsqueda avanzada
Salta Actividad reciente

Actividad reciente

Actividad desde miércoles, 21 de mayo de 2025, 01:55
Informe completo de la actividad reciente...
Nuevos mensajes en foros:
  • 21 de may, 09:49
    Gabriela Sandra Ostuni Gauthier
    Cambio Salón 21/05
Salta Avisos recientes

Avisos recientes

  • 21 de abril de 2025, 08:35
    Juan Diego Campo
    Primer parcial - Lógica 2025
  • 20 de mayo de 2025, 14:30
    Juan Diego Campo
    Suspensión de clase de teórico de hoy
  • 20 de mayo de 2025, 13:20
    Juan Diego Campo
    Encuestas del curso y los docentes
  • 16 de mayo de 2025, 16:56
    Monica Martinez
    Soluciones Práctico 6
  • 14 de mayo de 2025, 13:46
    Juan Diego Campo
    Comunicado del Decano Pablo Ezzatti sobre nuevas situaciones de violencia en entornos digitales
Temas antiguos ...
Salta Próximos eventos

Próximos eventos

No hay eventos próximos
Ir al calendario...
Salta Actividades

Actividades

  • Módulo de encuestaEncuestas
  • ForoForos
  • Recursos
Salta Categorías

Categorías

  • Institutos
  • Tecnólogos
  • Postgrados
  • Institucional
  • Extensión
Todos los cursos ...
  1. Institutos
  2. Computación
  3. Lógica
  4. Completitud - Lógica Proposicional

Lógica

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
  • Hasta este punto, en el curso se vieron dos nociones de Consecuencia:

    • Consecuencia Semántica:  \Gamma  \models \alpha
    • Consecuencia Sintáctica: \Gamma \vdash \alpha

    La primera definida en términos de las valuaciones y la segunda, definida en términos de la construcción de una derivación con determinadas reglas.

    En esta sección 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.

    • Bibliografía para el Tema:

      Logic and Structure. Dirk Van Dalen. 
      5ª edición. Springer-Verlag.
      Capítulo 2 Sección 2.5. Completness.
    • Teórico

    • Corrección y Completitud en la Lógica Proposicional Archivo
    • Video OpenFING: Clase 10 - Proposicional - Corrección y Completitud URL
    • Video OpenFING: Clase 11 - Proposicional - Corrección y Completitud URL
    • Teórico de Completitud - Lógica Proposicional Foro
    • Práctico

    • Práctico 5 - Letra Archivo
    • Práctico 5 - Algunas soluciones Archivo
    • Video presentación y pautas para el práctico 5 URL
    • Ejercicio 1 a) Archivo

      Solución corregida del ejercicio 1a. del práctico 5 que tiene un error en la presentación del video.

    • Práctico 5 Foro
◄Deducción Natural - Lógica Proposicional
►Primer Parcial - curso 2025
En este momento está usando el acceso para invitados (Acceder)
Resumen de retención de datos
Descargar la app para dispositivos móviles
Desarrollado por Moodle