0(0 Valoraciones)
EDYL

Course Curriculum
Lógica Proposicional
La lógica proposicional es una rama de la lógica que se centra en las proposiciones y en las relaciones entre ellas mediante conectivos lógicos. A diferencia de otras ramas de la lógica que pueden involucrar términos, predicados y cuantificadores, la lógica proposicional se ocupa exclusivamente de proposiciones completas y sus combinaciones.
-
¿Qué es una proposición?
00:00 -
Base de conocimientos
00:00 -
Átomos
00:00 -
Conectores lógicos
00:00 -
Tablas de verdad
00:00 -
Equivalencia
00:00 -
Conceptos importantes
00:00 -
EJERCICIO GUIA
00:00 -
Consecuencia lógica
00:00 -
EJERCICIO
-
Reglas de inferencia
00:00 -
EJERCICIO GUIA
00:00 -
EJERCICIO
-
Forma Normal Conjuntiva
00:00 -
EJERCICIO
-
Resolución + refutación
00:00 -
EJERCICIO GUIA
00:00 -
EJERCICIO
-
SOLUCION ULTIMO EJERCICIO
00:00
Lógica de Predicados
La lógica de predicados, también conocida como lógica de primer orden, es una extensión de la lógica proposicional que permite expresar y razonar sobre afirmaciones que involucran objetos y sus propiedades, así como las relaciones entre ellos. A diferencia de la lógica proposicional, que se ocupa de proposiciones completas y sus conectores lógicos (como "y", "o", "no", etc.), la lógica de predicados introduce cuantificadores y predicados, lo que permite una mayor expresividad.
-
Introducción
00:00 -
Lenguaje, I
00:00 -
Lenguaje, II
00:00 -
Conceptos importantes
00:00 -
Fórmulas bien formadas
00:00 -
GUIA
00:00 -
EJERCICIO GUIA
00:00 -
EJERCICIO
-
SOLUCION ULTIMO EJERCICIO
00:00
Grafos y Árboles
Los grafos y árboles son estructuras matemáticas fundamentales en la teoría de grafos y se utilizan ampliamente en informática, matemáticas y ciencias de la computación para modelar relaciones y resolver problemas complejos
-
Introducción
00:00 -
Grafos
00:00 -
Árboles
00:00 -
Algoritmo de Dijkstra
00:00 -
EJERCICIO
00:00 -
SOLUCION ULTIMO EJERCICIO
00:00 -
Algoritmo de Prim
00:00 -
EJERCICIO GUIA, I
00:00 -
EJERCICIO GUIA, II
00:00 -
Algoritmo de Kruskal
00:00 -
EJERCICIO GUIA, I
00:00 -
EJERCICIO GUIA, II
00:00
100,00 €
-
LevelTodos los niveles
-
Last Updatedabril 5, 2025
¡Hola, bienvenido de nuevo!