理工学部Faculty of Science and Engineering

In order to describe our arguments accurately and objectively in the fields of sciences and engineerings, basic knowledge on the field of mathematical logic science is necessary. In this lecture, you learn basic knowledge and basic skills necessary to understand logical argument accurately and to describe your own argument based on mathematical logic. In addition, you will learn about the basic knowledge of inference that inevitably derives argument derived from logical argument.
(Goal)
In mathematical logic, in particular, learn the basic ideas of propositional logic and first-order predicate logic, understand the logical assertions expressed by logical expressions, and conversely acquire the ability to express logical assertions with logical expressions. The goal is to do. You will also learn basic knowledge about mechanical reasoning using computers.
・ Understand the difference between predicate logic and our daily logic.
・ Can prove a simple example.
・ Understand the concept of symbolic logic.
・ Understand whether there are any problems that cannot be solved by logic.
(Learning activities outside of classroom)
Before/after each class meeting, students will be expected to spend four hours to understand the course content.
Students are encouraged to prepare for the textbook and solve the exercises (or assignments) corresponding to the previous lesson.
(Grading Criteria)
Your overall grade in the class will be decided based on the following:
Short reports 40%, Mid-term examination 20%, Term-end examination 40%.

日本語 / Japanese