Lógica Matemática y Computacional - 001303
Dpto de Matemáticas - DPT-MATEM
Pontificia Universidad Javeriana
--% de los estudiantes recomiendan
Esta página es independiente, no representa oficialmente a ninguna universidad.
Descripción:
Estudio de los fundamentos de lógica necesarios para el razonamiento matemático y la programación de computadores. Se cubren los temas de cálculo proposicional, cláusulas, cálculo de predicados, cuantificadores, elementos de teoría de conjuntos y verificación de programas.
¿Faltan archivos para esta materia?
Solicita archivos para Lógica Matemática y Computacional - 001303
Haz click aquí para ver la otra calificación de este curso
Profesores (0)
No hay profesores en este course... Puedes agregar uno aquí!