Ciencias de la Computación (plan 2013) 2023-1

Primer Semestre, Estructuras Discretas

Curso introductorio a Ciencias de la Computación

Anuncios y comunicación: GoogleClassroom código begxqsm

Página del curso

¡ Iniciamos el 15 de agosto !

Temario:

• Introducción: panorama de las EDiscretas, introducción a lenguajes formales y gramáticas, razonamiento formal en Ciencias de la Computación y funciones.

• Inducción y Recursión: números naturales y estructuras de datos básicas.

• Lógica Matemática: lógica proposicional y de primer orden.

• Lógica en la práctica computacional: métodos de prueba, circuitos digitales.

• Relaciones: relaciones n-arias y órdenes parciales.

Evaluación:

30% Evaluación continua: ejercicios semanales (11 aprox.)
35% Evaluación parcial: exámenes (5)
35% Evaluación práctica: ejercicios programación (7)

No hay reposición de ninguno de los anteriores, ni hay examen final.

No se elimina la calificación más baja de ninguno aunque puede hacerse una excepción al final.

Para tener derecho a calificación final aprobatoria es necesario tener un promedio aprobatorio de exámenes.

Para obtener un NP es necesario que no se tengan más de dos calificaciones de cualquier tipo.

Referencias:

• Miranda, F.; Viso E.;Matemáticas Discretas, Temas de Computación, Las prensas de Ciencias.

• Rosen, Kenneth H., Discrete Mathematics and Its Applications, sixth edition, McGraw Hill, 2007. [QA39.2 R66 2007]

• Grassmann, Winfried K., Logic and discrete mathematics : a computer science perspective , Prentice Hall, Nueva Jersey, 1996. [QA76.9 M35 G73]