| |
| Fecha y hora |
Clase |
Profesor(es) |
Juego |
Duración |
Descargar |
| 18/09/2006 (Lunes), a las 20:30 |
Lectura de "El pensamiento: una investigación
lógica", de G. Frege (1/3) |
José
María Blasco |
Mono |
00:33:06 |
.mp3
(5.68 MB) |
| Stereo |
00:33:07 |
.mp3
(11.3 MB) |
| 02/10/2006 (Lunes), a las 20:30 |
Lectura de "El pensamiento: una investigación
lógica", de G. Frege (2/3) |
José María Blasco |
Mono |
00:59:55 |
.mp3
(10.2 MB) |
| Stereo |
00:59:54 |
.mp3
(20.5 MB) |
| 09/10/2006 (Lunes), a las 20:30 |
Lectura de "El pensamiento: una investigación
lógica", de G. Frege (3/4) |
José
María Blasco |
Mono |
00:57:53 |
.mp3
(9.93 MB) |
| Stereo |
00:57:52 |
.mp3
(19.8 MB) |
| 16/10/2006 (Lunes), a las 20:30 |
Lectura de "El pensamiento: una investigación
lógica", de G. Frege (4/4) |
José María Blasco |
Mono |
00:56:47 |
.mp3
(9.74 MB) |
| Stereo |
00:56:45 |
.mp3
(19.4 MB) |
| 23/10/2006 (Lunes), a las 20:30 |
Introducción a la lógica de
primer orden (1/7) |
José
María Blasco |
Mono |
00:56:44 |
.mp3
(9.74 MB) |
| Stereo |
00:56:44 |
.mp3
(19.4 MB) |
| 30/10/2006 (Lunes), a las 20:30 |
Introducción a la lógica de primer orden (2/7) |
José María Blasco |
Mono |
01:00:08 |
.mp3
(10.3 MB) |
| Stereo |
01:00:10 |
.mp3
(20.6 MB) |
| 06/11/2006 (Lunes), a las 20:30 |
Introducción a la lógica de
primer orden (3/7) |
José
María Blasco |
Mono |
01:03:52 |
.mp3
(10.9 MB) |
| Stereo |
01:03:47 |
.mp3
(21.8 MB) |
| 13/11/2006 (Lunes), a las 20:30 |
Introducción a la lógica de primer orden (4/7) |
José María Blasco |
Mono |
00:59:49 |
.mp3
(10.2 MB) |
| Stereo |
00:59:43 |
.mp3
(20.5 MB) |
| 20/11/2006 (Lunes), a las 20:30 |
Introducción a la lógica de
primer orden (5/7) |
José
María Blasco |
Mono |
00:58:28 |
.mp3
(10.0 MB) |
| Stereo |
00:58:27 |
.mp3
(20.0 MB) |
| 04/12/2006 (Lunes), a las 20:30 |
Introducción a la lógica de primer orden (7/7) |
José María Blasco |
Mono |
00:47:05 |
.mp3
(8.08 MB) |
| Stereo |
00:47:01 |
.mp3
(16.1 MB) |
| 11/12/2006 (Lunes), a las 20:30 |
La Aritmética de Peano (1/2) |
José
María Blasco |
Mono |
00:54:45 |
.mp3
(9.40 MB) |
| Stereo |
00:54:46 |
.mp3
(18.8 MB) |
| 18/12/2006 (Lunes), a las 20:30 |
La Aritmética de Peano (2/2) |
José María Blasco |
Mono |
00:57:50 |
.mp3
(10.1 MB) |
| Stereo |
00:57:48 |
.mp3
(20.3 MB) |
| 08/01/2007 (Lunes), a las 20:30 |
Intermedio: Los números reales y
el universo |
José
María Blasco |
Mono |
00:48:15 |
.mp3
(8.28 MB) |
| Stereo |
00:48:11 |
.mp3
(16.5 MB) |
| 15/01/2007 (Lunes), a las 20:30 |
Lo indecidible. Un ejemplo: el teorema de Godstein (1/2) |
José María Blasco |
Mono |
00:55:26 |
.mp3
(9.51 MB) |
Stereo |
00:55:30 |
.mp3
(19.0 MB) |
| 22/01/2007 (Lunes), a las 20:30 |
Lo indecidible. Un ejemplo: el teorema de
Godstein (2/2) |
José
María Blasco |
Mono |
00:49:04 |
.mp3
(8.42 MB) |
| Stereo |
00:49:07 |
.mp3
(16.8 MB) |
| 29/01/2007 (Lunes), a las 20:30 |
Intermedio: Las lógicas no clásicas |
José María Blasco |
Mono |
00:57:56 |
.mp3
(9.94 MB) |
| Stereo |
00:57:56 |
.mp3
(19.8 MB) |
| 05/02/2007 (Lunes), a las 20:30 |
Compacidad: Modelos no estándar de
la aritmética de Peano |
José
María Blasco |
Mono |
00:53:36 |
.mp3
(9.20 MB) |
Stereo |
00:53:37 |
.mp3
(18.4 MB) |
| 12/02/2007 (Lunes), a las 20:30 |
Deducibilidad. Sistemas Gentzen (1/2) |
José María Blasco |
Mono |
00:56:16 |
.mp3
(9.66 MB) |
| Stereo |
00:56:20 |
.mp3
(19.3 MB) |
| 19/02/2007 (Lunes), a las 20:30 |
Deducibilidad. Sistemas Gentzen (2/2) |
José
María Blasco |
Mono |
00:50:59 |
.mp3
(8.75 MB) |
| Stereo |
00:51:00 |
.mp3
(17.5 MB) |
| 26/02/2007 (Lunes), a las 20:30 |
Deducibilidad. Ejemplos de demostración |
José María Blasco |
Mono |
00:50:31 |
.mp3
(8.67 MB) |
Stereo |
00:50:33 |
.mp3
(17.3 MB) |
| 05/03/2007 (Lunes), a las 20:30 |
Lógica proposicional: satisfacción,
corrección, completud |
José
María Blasco |
Mono |
00:54:40 |
.mp3
(9.38 MB) |
Stereo |
00:54:43 |
.mp3
(18.7 MB) |
| 12/03/2007 (Lunes), a las 20:30 |
Demostrabilidad y consecuencia lógica |
José María Blasco |
Mono |
00:50:43 |
.mp3
(8.70 MB) |
Stereo |
00:54:43 |
.mp3
(17.4 MB) |
| 19/03/2007 (Lunes), a las 20:30 |
Tipos de números (1/2) |
José
María Blasco |
Mono |
00:58:37 |
.mp3
(10.0 MB) |
| Stereo |
00:58:34 |
.mp3
(20.1 MB) |
| 26/03/2007 (Lunes), a las 20:30 |
Tipos de números (2/2): los números enteros |
José María Blasco |
Mono |
00:50:16 |
.mp3
(8.62 MB) |
| Stereo |
00:50:16 |
.mp3
(17.2 MB) |
| 16/04/2007 (Lunes), a las 20:30 |
Construcción de los números
racionales; introducción a los números reales |
José
María Blasco |
Mono |
00:51:47 |
.mp3
(8.89 MB) |
| Stereo |
00:51:50 |
.mp3
(17.7 MB) |
| 23/04/2007 (Lunes), a las 20:30 |
Números reales y números complejos |
José María Blasco |
Mono |
00:54:47 |
.mp3
(9.40 MB) |
| Stereo |
00:54:48 |
.mp3
(18.8 MB) |
| 07/05/2007 (Lunes), a las 20:30 |
Modelos de un lenguaje de primer orden.
Satisfacción |
|
Mono |
00:55:39 |
.mp3
(9.55 MB) |
| Stereo |
00:55:39 |
.mp3
(19.1 MB) |
| 14/05/2007 (Lunes), a las 20:30 |
Satisfacción. Verdad. Completud. Consistencia |
|
Mono |
00:49:14 |
.mp3
(8.45 MB) |
Stereo |
00:49:13 |
.mp3
(16.9 MB) |
| 21/05/2007 (Lunes), a las 20:30 |
Ejemplos variados (1/2) |
José
María Blasco |
Mono |
00:56:19 |
.mp3
(9.67 MB) |
| Stereo |
00:56:16 |
.mp3
(19.3 MB) |
| 28/05/2007 (Lunes), a las 20:30 |
Ejemplos variados (2/2) |
José María Blasco |
Mono |
00:57:31 |
.mp3
(9.87 MB) |
| Stereo |
00:57:32 |
.mp3
(19.7 MB) |
| 11/06/2007 (Lunes), a las 20:30 |
Fin de curso |
|
Mono |
00:28:44 |
.mp3
(4.93 MB) |
|
Stereo |
00:28:45 |
.mp3
(9.87 MB) |