Fonoteca


  1. Fonoteca
  2. Taller de Lógica
  3. III convocatoria
  4. 2022-2023

Taller de Lógica, III conv., 2022-2023


Introducción. Sentencia, proposición y argumentación

Clase 1 (06/10/2022, 10:00-11:30) por Josep Maria Blasco
       1:30:34, 22 MB

Introducción a la teoría de conjuntos

Clase 2 (20/10/2022, 10:00-11:30) por Josep Maria Blasco
       1:32:19, 22 MB

Comprensión y sepración. Las paradojas de la implicación material

Clase 3 (27/10/2022, 10:00-11:30) por Josep Maria Blasco
       1:32:33, 22 MB

Conectivas lógicas. Operaciones con conjuntos

Clase 4 (03/11/2022, 10:00-11:30) por Josep Maria Blasco
       1:31:49, 22 MB

Relaciones y pares ordenados

Clase 5 (10/11/2022, 10:00-11:30) por Josep Maria Blasco
       1:31:17, 22 MB

Relaciones de equivalencia

Clase 6 (17/11/2022, 10:00-11:30) por Josep Maria Blasco
       1:26:51, 21 MB

Funciones

Clase 7 (01/12/2022, 10:00-11:30) por Josep Maria Blasco
       1:31:33, 22 MB

Relaciones de equivalencia

Clase 8 (15/12/2022, 10:00-11:30) por Josep Maria Blasco
       1:32:38, 22 MB

Rudimentos de lógica proposicional

Clase 9 (12/01/2023, 10:00-11:30) por Josep Maria Blasco
       1:32:54, 22 MB

Equivalencia lógica. El cuadrado de las oposiciones

Clase 10 (19/01/2023, 10:00-11:30) por Josep Maria Blasco
       1:33:31, 22 MB

Consecuencia lógica

Clase 11 (26/01/2023, 10:00-11:30) por Josep Maria Blasco
       1:32:23, 22 MB

Equivalencia lógica. Ejercicios

Clase 12 (02/02/2023, 10:00-11:30) por Josep Maria Blasco
       1:29:58, 21 MB

Ejercicios de equivalencia lógica

Clase 13 (16/02/2023, 10:00-11:30) por Josep Maria Blasco
       1:29:52, 21 MB

Introducción al cálculo de secuentes

Clase 14 (23/02/2023, 10:00-11:30) por Josep Maria Blasco
       1:27:48, 44 MB

Introducción a la lógica modal. Semánticas de Kripke

Clase 15 (02/03/2023, 10:00-11:30) por Josep Maria Blasco
       1:32:50, 46 MB

Satisfactibilidad

Clase 16 (16/03/2023, 10:00-11:30) por Josep Maria Blasco
       1:19:27, 18 MB

Consecuencia lógica

Clase 17 (23/03/2023, 10:00-11:30) por Josep Maria Blasco
       1:29:32, 21 MB

Cálculo de consecuentes

Clase 18 (20/04/2023, 10:00-11:30) por Josep Maria Blasco
       1:23:25, 38 MB

Introducción a la lógica de primer orden

Clase 19 (27/04/2023, 10:00-11:30) por Josep Maria Blasco
       1:28:38, 43 MB

Variables libres y variables ligadas. Substitución de variables

Clase 20 (04/05/2023, 10:00-11:30) por Josep Maria Blasco
       1:31:50, 47 MB

Lógica y programación. Introducción a la arquitectura von Neumann

Clase 21 (11/05/2023, 10:00-11:30) por Josep Maria Blasco
       1:32:37, 22 MB

Substitución de variables. Asignaciones. Convergencia

Clase 22 (18/05/2023, 10:00-11:30) por Josep Maria Blasco
       1:27:42, 21 MB

Semánticas del los lenguajes de primer orden

Clase 23 (25/05/2023, 10:00-11:30) por Josep Maria Blasco
       1:28:05, 21 MB

Verdad lógica. Consecuencia lógica. Satisfacibilidad

Clase 24 (01/06/2023, 10:00-11:30) por Josep Maria Blasco
       1:31:23, 21 MB

Estructuras

Clase 25 (08/06/2023, 10:00-11:30) por Josep Maria Blasco
       1:32:04, 21 MB

Rudimentos de programación. Condicionales, iteraciones y procedimientos

Clase 26 (29/06/2023, 10:00-11:30) por Josep Maria Blasco
       1:29:00, 21 MB

Estructuras. Operaciones con tiras

Clase 27 (06/07/2023, 10:00-11:30) por Josep Maria Blasco
       1:29:36, 21 MB
Copyright © EPBCN, 1996-2024.
Contactar
Aviso legal
Política de privacidad