Next:
7.33.4.1 Lógica de Predicados
Up:
7.33 CS260. Lógica Computacional
Previous:
7.33.3 Contribución a los
Contents
7
.
33
.
4
Unidades
Subsections
7
.
33
.
4
.
1
Lógica de Predicados de Primer Orden (20 horas) [Nivel Bloom 3]
7
.
33
.
4
.
2
Intensificación en Programación (20 horas) [Nivel Bloom 3]
7
.
33
.
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
