IDEAS CLAVE MATEMÁTICAS. Sesión VI. La lógica (2003)

Fecha de grabación: 4 dic 2003
Visto: 31 veces

Sesión que aborda el tema de la lógica, la sintaxis y semántica, la lógica preposicional y lógica de predicados, y el teorema de incompletitud de Gödel.

Licencia: Reconocimiento-NoComercial-CompartirIgual 3.0 España (CC BY-NC-SA 3.0 ES)
Serie: Grandes Ideas Sencillas y Clave de las Matemáticas
  • Participante: Criado, Regino

Archivos adjuntos

No hay archivos adjuntos

Recursos de la misma serie

IDEAS CLAVE MATEMÁTICAS. El pensamiento matemático: historia, hitos y evolución (2001)

IDEAS CLAVE MATEMÁTICAS. El pensamiento matemático: historia, hitos y evolución (2001)


11 nov 2001
IDEAS CLAVE MATEMÁTICAS. Algoritmos genéticos (2001)

IDEAS CLAVE MATEMÁTICAS. Algoritmos genéticos (2001)


20 dic 2001
IDEAS CLAVE MATEMÁTICAS. Sesión I. El pensamiento matemático: historia, hitos y evolución (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión I. El pensamiento matemático: historia, hitos y evolución (2002)


11 nov 2002
IDEAS CLAVE MATEMÁTICAS. Sesión II. Grafos y árboles (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión II. Grafos y árboles (2002)


13 nov 2002
IDEAS CLAVE MATEMÁTICAS. Sesión III. Algoritmos genéticos (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión III. Algoritmos genéticos (2002)


18 nov 2002
IDEAS CLAVE MATEMÁTICAS. Sesión IV. Leyes del pensamiento, circuitos y reglas de deducción (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión IV. Leyes del pensamiento, circuitos y reglas de deducción (2002)


20 nov 2002
IDEAS CLAVE MATEMÁTICAS. Sesión VI. Sobre el número Pi, E y otros número irracionales (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión VI. Sobre el número Pi, E y otros número irracionales (2002)


27 nov 2002
IDEAS CLAVE MATEMÁTICAS. Sesión VII. Las matemáticas de lo secreto (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión VII. Las matemáticas de lo secreto (2002)


2 dic 2002
IDEAS CLAVE MATEMÁTICAS. Sesión VIII. Tres problemas clásicos y complejidad (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión VIII. Tres problemas clásicos y complejidad (2002)


4 dic 2002
IDEAS CLAVE MATEMÁTICAS. Sesión IX. Sobre la lógica matemática (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión IX. Sobre la lógica matemática (2002)


9 dic 2002
IDEAS CLAVE MATEMÁTICAS. Sesión X. Matemáticas, informática y pasatiempos matemáticos (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión X. Matemáticas, informática y pasatiempos matemáticos (2002)


11 dic 2002
IDEAS CLAVE MATEMÁTICAS. Sesión XI. Matemáticas y Biología (2002)

IDEAS CLAVE MATEMÁTICAS. Sesión XI. Matemáticas y Biología (2002)


16 dic 2002

También te interesan

Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 1

Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 1


11 mar 2002
Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 2

Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 2


12 mar 2002
Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 3

Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 3


12 mar 2002
Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 4

Curso de doctorado Deusto: Sistemas en tiempo real distribuidos. Vídeo 4


18 mar 2002
Curso de doctorado Deusto: sistemas en tiempo real distribuidos. Vídeo 7

Curso de doctorado Deusto: sistemas en tiempo real distribuidos. Vídeo 7


21 mar 2002
Simulación de fluidos para FX: un recorrido a lo largo de las historia

Simulación de fluidos para FX: un recorrido a lo largo de las historia


21 may 2014
JORNADAS INNOVACIÓN APRENDIZAJE. Ponencia “Aprendizaje de la programación en edades tempranas”

JORNADAS INNOVACIÓN APRENDIZAJE. Ponencia “Aprendizaje de la programación en edades tempranas”


12 nov 2014
JORNADAS MATEMÁTICAS. Presentación

JORNADAS MATEMÁTICAS. Presentación


8 nov 2013
TSAI. Sitios web complejos. Parte II

TSAI. Sitios web complejos. Parte II


15 oct 2002
Inauguración + Charla plenaria Costantino Creton

Inauguración + Charla plenaria Costantino Creton


11 mar 2026
Estructura de Datos. Especificación algebraica I

Estructura de Datos. Especificación algebraica I


5 oct 2009
SEMINARIO WORKFLOW. Taller WorkFlow, WebApps I

SEMINARIO WORKFLOW. Taller WorkFlow, WebApps I


22 oct 2013
Investor Fest - 16 Abril

Investor Fest - 16 Abril


17 abr 2024
Estructura de computadores 2012-2013. Resolución de ejercicios tema 5.1

Estructura de computadores 2012-2013. Resolución de ejercicios tema 5.1


26 feb 2013
IX Jornadas de Promoción a la Investigación Básica para Estudiantes de Ciencias e Ingenierías - 6 de Mayo

IX Jornadas de Promoción a la Investigación Básica para Estudiantes de Ciencias e Ingenierías - 6 de Mayo


13 may 2025
URJCx-MOOC BIG DATA. Relación multivariante cualitativa: tipos y criterios de elección. Vídeo I

URJCx-MOOC BIG DATA. Relación multivariante cualitativa: tipos y criterios de elección. Vídeo I


20 oct 2016
JORNADAS MATEMÁTICAS. Taller práctico

JORNADAS MATEMÁTICAS. Taller práctico


8 nov 2013
Vectores en el plano y en el espacio - Vectores en el espacio tridimensional

Vectores en el plano y en el espacio - Vectores en el espacio tridimensional


13 sept 2017
Simulación y animación de fenómenos mecánicos

Simulación y animación de fenómenos mecánicos


21 may 2014
CORREO OFFICE. Exportar libreta de direcciones del antiguo Webmail

CORREO OFFICE. Exportar libreta de direcciones del antiguo Webmail


9 sept 2014