Discrete Mathematics II (1999-2000)
Department of Computer Science
Última modificación: 21-Abril.1999
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)
-
Talks: Monday, Thursday, Friday at 10:30
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.
Some miscellaneous
Software
Coq
Para Windows NT y 95 V6.2.2
Coq
Para Linux V6.2.2
The
Coq Proof Assistant Reference Manual V6.2.2
Leccion
de Tipos y Tacticas
Leccion
de Tipos Inductivos
Leccion
de Tipos Inductivos 2
Funciones
y recursividad
Ejemplo de Prueba y extraccion
Funciones generatrices 1
Funciones generatrices 2
Jose Luis Freire Nistal
/ freire@fi.udc.es