Mathematics for Computer Sciences I
by R. Okazaki
2004 Autumn Term
Click here for Japanese
This course is an introduction to Formal Logic.
Its primary goal is to become familiar with Classical Logic and Formalization.
Its secondary goal is ability in Logical Calculation.
After successfully learning basics from this course,
students will feel easier to study fundamentals of electronic computers and
mathematical presentations in computer sciences.
Moreover, Predicate Logic will be used in AI courses.
Plan
10/01 Propositional Logic
10/08 Binary Logic
10/15 Logical Operation
10/22 Truth Table
10/29 Logical Laws
11/05 Normal Form
11/12 Inference
11/19 Logical Proof
12/03 Predicate Logic
12/10 Quantifier "All"
12/17 Quantifier "Some"
01/07 Model
01/14 Laws of Predicate Logic
Evaluation
Examination 100%
Through examination, achievement in several points will be verified:
understanding of concepts of Formal Logic;
ability to describe daily problems in Logical Expressions;
treatment of Formal Logic;
abitlity of calculation in Propositional Logic.
How to Study
Students can touch the basic notions of Formal Logic
through rich material presented at the course.
Students can become familiar to Formal Logic because
daily subjects will be often used as material.