

Navigation  Top  Logic  Software Development  Mountain  Photography  Blog  
Course  Logics and Mathematics  
Course number  L211E  
Contact  PREINING, Norbert preining@jaist.ac.jp +81(0)761511170 (phone) Office: C2302a (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, nonEuclidean 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 