Numbering Code	U-ENG29 29070 LJ11 U-ENG29 29070 LJ55 U-ENG29 29070 LJ10	Year/Term	2022 ・ First semester
Number of Credits	2	Course Type	Lecture
Target Year		Target Student
Language	Japanese	Day/Period	Wed.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