Fonoteca


  1. Fonoteca
  2. Taller de Lógica
  3. I convocatoria
  4. 2006-2007

Taller de Lógica, I conv., 2006-2007


Lectura de "El pensamiento: una investigación lógica", de G. Frege

Parte 1: Clase 1 (18/09/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:33:07, 5 MB
Parte 2: Clase 2 (02/10/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:59:56, 10 MB
Parte 3: Clase 3 (09/10/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:57:54, 9 MB
Parte 4: Clase 4 (16/10/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:56:47, 9 MB

Introducción a la lógica de primer orden

Parte 1: Clase 5 (23/10/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:56:44, 9 MB
Parte 2: Clase 6 (30/10/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 1:00:09, 10 MB
Parte 3: Clase 7 (06/11/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 1:03:53, 10 MB
Parte 4: Clase 8 (13/11/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:59:50, 10 MB
Parte 5: Clase 9 (20/11/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:58:29, 10 MB
Parte 7: Clase 11 (04/12/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:47:06, 8 MB

La aritmética de Peano

Parte 1: Clase 12 (11/12/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:54:45, 9 MB
Parte 2: Clase 13 (18/12/2006, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:57:50, 9 MB

Intermedio: Los números reales y el Universo

Clase 14 (08/01/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:48:15, 8 MB

Lo indecidible. Un ejemplo: el teorema de Godstein

Parte 1: Clase 15 (15/01/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:55:27, 9 MB
Parte 2: Clase 16 (22/01/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:49:05, 8 MB

Intermedio: Las lógicas no clásicas

Clase 17 (29/01/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:57:57, 9 MB

Compacidad: Modelos no estándar de la aritmética de Peano

Clase 18 (05/02/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:53:37, 9 MB

Deducibilidad. Sistemas Gentzen

Parte 1: Clase 19 (12/02/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:56:17, 9 MB
Parte 2: Clase 20 (19/02/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:50:59, 8 MB

Deducibilidad. Ejemplos de de demostración

Clase 21 (26/02/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:50:31, 8 MB

Lógica proposicional: satisfacción, corrección, completud

Clase 22 (05/03/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:54:40, 9 MB

Demostrabilidad y consecuencia lógica

Clase 23 (12/03/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:50:43, 8 MB

Tipos de números

Parte 1: Clase 24 (19/03/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:58:38, 10 MB

Tipos de números (2/2): los números enteros

Clase 25 (26/03/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:50:17, 8 MB

Construcción de los números racionales; introducción a los números reales

Clase 26 (16/04/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:51:47, 8 MB

Números reales y números complejos

Clase 27 (23/04/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:54:48, 9 MB

Modelos de un lenguaje de primer orden. Satisfacción

Clase 28 (07/05/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:55:40, 9 MB

Satisfacción. Verdad. Completud. Consistencia

Clase 29 (14/05/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:49:14, 8 MB

Ejemplos variados

Parte 1: Clase 30 (21/05/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:56:20, 9 MB
Parte 2: Clase 31 (28/05/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:57:31, 9 MB

Fin de curso

Clase 32 (11/06/2007, 20:30-21:30) por Josep Maria Blasco
       Mono, 0:28:44, 4 MB
Copyright © EPBCN, 1996-2024.
Contactar
Aviso legal
Política de privacidad