CSPP 50102: Mathematics for Computer Science
Summer 2005
Notes
-
Practice Test for Final:
pdf
-
Practice Test for Midterm 2:
pdf
-
Practice Test for Midterm 1:
pdf
-
Joyal games.
pdf
-
Hyland & Ong I.
pdf
-
Hyland & Ong II.
pdf
-
Hyland & Ong III.
pdf
-
Joker games.
pdf
-
Joker games: exhausting.
pdf
-
fragment
pdf
-
Game semantics.
pdf
-
Abramsky & Jagadeesan I.
pdf
-
Abramsky & Jagadeesan II.
pdf
-
Mathematics of Games.
pdf