Course Overview
|
Coq
|
Lectures
|
Course Outline
Course Procedure
|
|
- Lecture: Wed & Fri, 16:00 - 17:30, Winter 2023, TH246
- Lab: Tue, 16:00 - 18:00, Winter 2023, MCD 205
|
Lecture Notes & Lab Material
|
Important
Dates
|
Supplemental
Material
|
|
|
| Test |
Length |
Date/Time |
| 1 |
90 mins |
Jan 31 (16:00-17:30) MCD205 |
| 2 |
90 mins |
Feb 28 (16:00-17:30) MCD205 |
| 3 |
90 mins |
Mar 21 (16:00-17:30) MCD205 |
| Exam |
120 mins |
Apr 11 (10:00-noon) MCD205 |
|
- The Formal Semantics of Programming Languages: An Introduction, G. Winskel,
The MIT Press (1993),
ISBN 0-262-23169-7 (hc), 0-262-73103-7 (pb)
- The Design of Well-Structured and Correct Programs, S. Alagic & M.A. Arbib, Springer-Verlag (1978), ISBN
0-387-90299-6
- Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics,
H. Ehrig & B. Mahr, Springer-Verlag (1985), ISBN
0-387-13718-1
- Logic in Computer Science, 2nd edition, M. Huth & M. Ryan,
Cambridge University Press (2004),
ISBN 0-521-54310-X
|
