 |
preining@jaist.ac.jp
+81-(0)761-51-1170 (phone)
Office: C2-302a (Multidisciplinary Research Center 3F)
10/08 Examples of Math in the 20. century slides
10/13 no lecture
10/15 What is Mathematics slides
10/20 What are proofs? slides homework
10/22 Induction I slides homework
10/27 Induction II
10/29 Number theory, number systems
11/03 no lecture
11/05 Infinite
11/10 Set
midterm report
11/12 Set theory
11/17 Axiomatic method, non-Euclidean geometry
11/19 Calculus, functions, relations
11/24 no lecture
11/26 Graphs
12/01 Models of computation
final report
12/03 Verification + Review of the lecture