Navigation Top | Logic | Software Development | Mountain | Photography | Blog
Course Logics and Mathematics
Course number L211E
Contact PREINING, Norbert
preining@jaist.ac.jp
+81-(0)761-51-1170 (phone)
Office: C2-302a (Multidisciplinary Research Center 3F)
Syllabus 2014 L211E
Lecture plan 10/07 absence of students
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
mid term report TBA
final report TBA
Copyright 2014 Norbert Preining