Semestre I

Al finalizar el curso el estudiante estará en capacidad de poner en práctica el espíritu de la lógica, base del razonamiento informático, para orientarse en cualquier proceso lógico. Esta materia introduce al estudiante a las teorías lógico – matemáticas que fundamentan las Ciencias de la Computación. Permitirá al estudiante utilizar la Lógica como medio formal para la resolución de problemas mediante el uso del computador.