Logical Systems

Numbering Code U-ENG29 29070 LJ55
U-ENG29 29070 LJ11
U-ENG29 29070 LJ10
Year/Term 2021 ・ First semester
Number of Credits 2 Course Type Lecture
Target Year Target Student
Language Japanese Day/Period Fri.2
Instructor name 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.
References, etc. 論理回路, 高木直史, (オーム社), ISBN:978-4274215995
だれにもわかる ディジタル回路, 天野英晴, 武藤佳恭, 相磯秀夫, (オーム社), ISBN:978-4274217531
Related URL