Discrete Mathematics II (2001-2002)

Department of Computer Science

Última modificación: 1-Octubre-2001

Faculty

• José Luis Freire Nistal (LFCIA)

Student Profile

• Students site in the Faculty of Informatics (CEU, in galician)
• Ingeniería Informática (Engineer, 5 years)
• fourth year, mandatory, fall term, 6 credits (4.5 theory, 1.5 practice) (60 hours, 15 weeks)
• Charlas (Grp. A): Lunes (10'30-11'30), Martes (10'30-11'30), Miércoles (10'30-11'30), Aula 3.3
• Charlas (Grp. B):  Lunes (4-5), Martes (4-5), Jueves (6-7), Aula 3.3
• Prácticas:Martes      12'30-1'30 LP1-4 Grp. A-2
                      Miercoles  12'30-1'30 LP1-4 Grp. A-1; 4-5 LP2-1 Grp. B-2
                      Jueves       4-5 LP2-1 Grp. B-1

Contents

Computing Techniques.

• Special Numbers
• Generating Functions.
• Solving Recurrences with Generating Functions .
• Convolutions.

Deductive Techniques.

• Logic systems.
• Authomatic Reasoning.
• Managing proofs.
• Code Generation.