Discrete Mathematics II (1999-2000)
Department of Computer Science
Última modificación: 19-Junio-2000
Faculty
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: Martes (10'30-11'30), Miércoles
(9'30-10'30), Jueves (10'30-11'30), Aula 3.3
Contents
Computing Techniques.
-
Special Numbers
-
Generating Functions.
-
Solving Recurrences with Generating Functions .
-
Convolutions.
Deductive Techniques.
-
Logic systems.
-
Authomatic Reasoning.
-
Managing proofs.
-
Code Generation.
Basic Bibliography and Some Course Notes.
Graham, Knuth y Patashnik, Concrete Mathematics. A Foundation for Computer
Science. Addison Wesley.
John C. Mitchell, Foundations for programming Languages. MIT Press
Lectura
recomendada.
Some miscellaneous Software
Coq
Para Windows NT y 95 V6.2.2
Coq
para Linux (V6.3)
The
Coq Proof Assistant Reference Manual V6.2.2
Tutorial
Reglas
de tipado
Primeras
Tácticas
Tipos
Inductivos 1
Leccion
de Tipos Inductivos 2
Exámenes:
Control
1
Febrero
(Deducción)
Febrero
(Cómputo)
Jose Luis Freire Nistal
/ freire@fi.udc.es