#lógica booleana

Problema computacional de satisfacción booleana resuelto en tiempo lineal mediante grafos de implicación y componentes fuertemente conectado...

Definición, historia y aplicaciones de la lógica matemática en ciencias de la computación, inteligencia artificial y hardware.

Definición, operaciones y aplicaciones de las matrices booleanas en álgebra lineal, grafos y lógica. Ejemplos y ejercicios resueltos.