| IT-University, Copenhagen | ||
| Fall 05: |
No teaching due to administrative duties.
Reading Seminar: Categorical Logic (With Lars Birkedal). |
|
| Spring 05: |
No teaching due to administrative duties.
Reading Seminar: Categorical Logic (With Lars Birkedal). |
|
| Fall 04: |
No teaching due to administrative duties.
Reading Seminar: Topos Theory (With Lars Birkedal). |
|
| Spring 04: |
Grundlæggende programmering (Introductory programming).
Grundlæggende programmering (netbaseret) (Introductory programming, netbased teaching). Reading Seminar: Topos Theory (With Lars Birkedal). |
|
| Fall 03: |
Introduction to Programming - Concepts and Tools.
Reading Seminar: Topos Theory (With Lars Birkedal). |
|
| Spring 03: |
Introduction to Programming - Concepts and Tools.
IT-Mathematics (With Volodya Shavrukov). Reading Seminar: Topos Theory (With Lars Birkedal). |
|
| Fall 02: |
Introduction to Programming - Concepts and Tools.
Reading Seminar: Cardinal Arithmetic. (With Volodya Shavrukov) Reading Seminar: Topos Theory. (With Lars Birkedal) |
|
| Spring 02: | Domains and Lambda Calculus.
Reading Seminar: Cardinal Arithmetic. (With Volodya Shavrukov) Reading Seminar: Topos Theory. (With Lars Birkedal) |
|
| Department of Computing and Electrical Engineering, Heriot-Watt University | ||
| Term 1 (01/02): |
22.1UE1 (Praxis)
Tutorial to 12.1PM1 (Programming and Software Engineering I). |
|
| Term 3 (00/01): | Tutorial to 12.1PO3 (Programming and Software Engineering III). | |
| Term 2 (00/01): |
22.5HV2 (Software Engineering II).
22.4UC2 (Numerical Computation and Statistics in Engineering). Tutorial to 12.1PM2 (Programming and Software Engineering II). |
|
| Term 1 (00/01): | Tutorial to 12.1PM1 (Programming and Software Engineering I). | |
| Department of Mathematics, McGill University, Montreal, Canada | ||
| Summer 00: | 189-222C/260C Calculus III/Intermediate Calculus. | |
| Spring 00: | Model theory seminar: Zariski geometries. (With Jim Loveys) | |
| Fall 99: | 189-133A Vectors, Matrices, and Geometry. | |
| BRICS, Department of Computer Science, Aarhus University, Aarhus, Denmark | ||
| Spring 98: |
Category theory.
(A BRICS course.)
CLiCS. (Categorical Logic in Computer Science; lunch seminar.) Logic seminar. (The BRICS logic seminar.) |
|
| Spring 97: |
First order categorical logic.
CLiCS. (Categorical Logic in Computer Science; lunch seminar.) Logic seminar. (The BRICS logic seminar.) |
|
Back to Homepage of Carsten Butz.