Next:
4.38.4.1 Lógica de Predicados
Up:
4.38 CS260. Lógica Computacional
Previous:
4.38.3 Contribución a los
Contents
4
.
38
.
4
Unidades
Subsections
4
.
38
.
4
.
1
Lógica de Predicados de Primer Orden (20 horas) [Nivel Bloom 3]
4
.
38
.
4
.
2
Intensificación en Programación (20 horas) [Nivel Bloom 3]
4
.
38
.
4
.
3
Extensiones y otras Lógicas (20 horas) [Nivel Bloom 5]
Generado por
Ernesto Cuadros-Vargas
,
Sociedad Peruana de Computación-Peru
,
Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de
IEEE-CS
/
ACM
