UC

ESCUELA SIGLA NOMBRE ASIGNATURA NIVEL CRÉDITOS VIGENCIA ASIGNATURA DESCRIPCIÓN REQUISITOS PROGRAMA PROGRAMACION CURSOS
Ingenieria IIC2212Logica para Ciencias de la Computacion PR 10 Vigente

Descripción

Nombre en inglés:   LOGIC FOR COMPUTER SCIENCE
Descripción:   Logica de proposiciones. Logica de predicados. Teorias especiales. Teorias con igualdad. Numeros naturales. Strings. arboles. Listas. Conjuntos. Bags. Tuplas.
IIC2212-Logica para Ciencias de la Computacion Buscador Cursos