Logica

ASIGNATURA DE TARDE

Programa y Proyecto asignatura.

Programa 2013-2014           Proyecto docente 2013-2014

Libros

Curso práctico de Lógica (ANF)

Los primeros días de un curso de Lóg. (Corcoran)

Apuntes:

LPO_Teoría de conjuntos

Formalizacion_LPO_monádicos

Formalizacion_LPO no monádicos

Ejercicios: LOGICA PROPOSICIONAL Y LPO

 EP-1  RC-1  RC-2  RC-3
 EP-2
 EP-3  RC-4  RC-5  EP-4 (Tableaux)
 EP-5  RC-6
 RC-6bis
 EJR-1  EJR-2  EJR-3
 EP-6 (LPO monadicos)  EP-7  EP-8  EP-9_LPO
 EP-10_LPO

LOGICA DE PRIMER ORDEN

Tema_L1ºerOrden_Formalizacion_inversa

Tema_L1ºerOrden_Formalizacion

Soluciones:

SOLUCIONES_EP_1     SOLUCIONES EP-4 bis       SOLUCIONES ep5

Soluciones EP3

SOLUCIONES_RC_1     SOLUCIONES_RC_2   SOLUCIONES_RC_3

solucion parcial 2013      solucion junio 2013  solucion septiembre 2013

Resúmenes-Guías_LP:

RESUMEN-GUIA_1(Formalización en LP)            RESUMEN_GUIA_2_Semantica_LP

RESUMEN_GUIA_3_Sintaxis LP          RESUMEN GUIA 4 – Sint y Sem LPO

RESUMEN_GUIA_5_tableaux_LPO     RESUMEN GUIA_6_calculoDN-LPO

Exámenes:

1er parcial 2013        Junio_2013         Septiembre_2013    Diciembre 2013

1er parcial 2014        Parcial 2º-2014-06-04     Solucion_examen_2014-06-17

Otros

Temporalización 2013-2014

NuevaTemporalización 2013-2014

Libros básicos de Lógica

Otros datos relevantes 2013-2014

Reglas de CDN Básicas – sólo LP

Reglas de CDN Derivadas – sólo LP

Básicas y Derivadas_calculoDN-LPO

Enlaces Web:

Suma Teologicae XXI (biblioteca recursos lógica)

Comprobador de validez de fórmulas por arboles

Constructor de tablas de verdad

Constructor de arboles sintacticos

Curso de logica on-line

 

ASIGNATURA DE MAÑANA Profesor: Ángel Nepomuceno

Responder

Por favor, inicia sesión con uno de estos métodos para publicar tu comentario:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

A %d blogueros les gusta esto: