Discrete Mathematics II (1997-1998)

Department of Computer Science

Última modificación: 4-Marzo-1998

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

Computing Techniques.

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

Deductive Techniques.

• Specification Languages.
• Aplications to Systems: Petri Nets
• Managing proofs.
• Code Generation.

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.