informaticUAM

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.

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

100,00 

A course by

Tags

Scroll al inicio