Discrete Mathematics II (1996-1997)

Department of Computer Science

Última modificación: 22-Oct-97

Faculty

• José Luis Freire Nistal

Student Profile

• Faculty of Informatics (Faculty server, in galician)
  
• Ingeniería Informática (Engineer, 5 years)
• fourth year, mandatory, fall'97, 6 credits (4 theory, 1.5 practice) (60 hours, 15 weeks)
  

Contents

Técnicas de Cómputo.

• Números especiales
• Funciones generatrices.
• Aplicaciones a la resolución de recurrencias.
• Convoluciones.

Técnicas deductivas.

• Lenguaje de especificación.
• Manejo de pruebas.
• Generación de Código.

Prácticas

• Práctica 1 y 2
• Práctica 3:

  ---

Basic bibliography

• Graham, Knuth y Patashnik, Concrete Mathematics. A Foundation for Computer Science. Addison Wesley.
• Maple Primer Krister Forsman.
• HOL 90 Notes

Other interesting documents

• The Caml Light system, documentation and user's guide. (Release 0.73)
• The Objective Caml Light system, documentation and user's guide. (Release 1.05)
• Tcl7.4, Manual pages.
• Tk4.0, Manual pages.
• Tcl 7.6 / Tk 4.2 Manual.
• Tcl / Tk Cookbook
• CamlTk.

---

Jose Luis Freire Nistal / freire@dc.fi.udc.es