Spring 2009: Introduction to the Foundations of Informatics I (Mathematical Logic)

Time: Thursday, 14:45-16:15.
Place: Classroom 1, 12th floor, National Center of Sciences Building.

Instructors

Makoto Kanazawa: Mathematical Logic (~~4/16,~~ 4/23, 4/30, 5/7, 5/14)
Takeaki Uno: Computational Complexity
Keiji Matsumoto: Linear Algebra

Mathematical Logic

References

Raymond M. Smullyan. First-Order Logic. New York: Dover. 1995. (A corrected republication of his 1968 book.) Available from amazon.co.jp. (Chapters I through V.)

Stephen Simpson. Mathematical Logic. Online lecture notes. 2005. (Chapters 1 and 2.)

Handouts

Handout 1
Handout 2
Handout 3

Homework

Homework 1 (due May 14)
Homework 2 (due May 28): Do Exercise 4 of Handout 3.

Last modified: 2009-05-14 17:41:53 JST