FUKUDA HIDEMI (Graduate School of Informatics Associate Professor) HARAGUCHI KAZUYA (Graduate School of Informatics Associate Professor)

Outline and Purpose of the Course

The student will learn the basics of mathematical logic, in particular, associated to propositional calculus, predicate logic, Boolean algebra, digital circuits and related topics.

Course Goals

Learn the basics of mathematical logic, which is the principle of computational science.

Schedule and Contents

[Topics]
Mathematical logic, logical algebra, digital circuits

- Class 1 to 3 (prof. Fukuda):
Mathematical logic, propositional calculus, predicate logic
- Class 4 to 10 (prof. Fukuda):
Boolean algebra, threshold function and other examples
- Class 11 to 14 (prof. Haraguchi):
Digital circuits, combinatorial circuits, sequential circuits
- Final examination
- Feedback

Evaluation Methods and Policy

One final test, but with possibility of having a smaller test in the middle of the semester.

Course Requirements

None

Study outside of Class (preparation and review)

No preparation in advance is required, but the review of previous classes is recommended.