Lógica Para Ciencias de la Computación - 11310035

Escuela de Ingeniería, Ciencia y Tecnología

URosario

--% de los estudiantes recomiendan

Esta página es independiente, no representa oficialmente a ninguna universidad.
Descripción:
Se presenta desde una perspectiva de ciencias de la computación, resaltando el componente algorítmico, las nociones y teoremas básicos de la lógica proposicional y de los algoritmos de resolución (SAT solvers).
Haz click aquí para ver la otra calificación de este curso
Profesores (2)

Sobre el proyecto - Términos y condiciones - Privacidad