Guías (CI-2511)

CI-2511 Guía de Monsalve UCV.pdf CI-2511 Modelaciones Cuantificadores.pdf CI-2511 Métodos de Prueba Ravelo.pdf CI-2511 Métodos de Prueba en el Calculo de Predicados – Chang.pdf CI-2511 Métodos de Prueba en el Cálculo Proposicional Carolina...

Ejercicios (CI-2511)

CI-2511 Ejercicio de Lógica de Predicados.pdf CI-2511 Ejercicio de Modelación 2011 Sep-Dic.pdf CI-2511 Ejercicios de Modelación.pdf CI-2511 Tarea 1 UCV...

Tercer Parcial (CI-3641)

CI-3641 Lenguajes de Programación Tercer Parcial 2014 Ene-Mar Resuelto.pdf CI-3641 Lenguajes de Programación Tercer Parcial 2014 Ene-Mar.pdf CI-3641 Lenguajes de Programación Tercer Parcial 2016 Abr-Jul.pdf CI-3641 Lenguajes de Programación Tercer Parcial 2016 Ene-Mar...

Material Teórico (CI-3641)

CI3641 Lenguajes de Programación Clase 04.pdf CI3641 Lenguajes de Programación Clase 05.pdf CI3641 Lenguajes de Programación Clase 06.pdf CI3641 Lenguajes de Programación Clase 07.pdf CI3641 Lenguajes de Programación Clase 09.pdf CI3641 Lenguajes de Programación Clase...