学部
数理論理学
01専門基礎科目：数学
数理論理学
| 開講学期： | 前期 | 標準配当年次： | 3年次 |
|---|---|---|---|
| 科目種別： | 選択科目 | 単位数： | 2 |
| 担当教員： | ローター シュミット | ||
授業の概要
The course starts with an introduction to basic logic and set theory including Boolean algebra. Applications such as elementary circuit design are discussed. The course continues with extending basic logic to fuzzy logic, a very modern branch of logic. Applications such as pattern restoration are discussed. The course finally focuses on the formalization of theorems and proofs as another extension of basic logic concepts.
授業の目的と到達目標
Revisit Boolean algebras and applications as a foundation of this course. Learn fuzzy logic and fuzzy set theory. Learn formalization of mathematics, in particular, proofs which then can be processed by machine.
授業スケジュール
Boolean algebras and applications.
Fuzzy logic.
Formalization of mathematics.
授業で使う教科書
[1] L.A. Zadeh
Information Control 8(1965),338-353
[2] S. Tamura et al.
IEEE Transactions on Systems, Man and Cybernetics 1(1971),61-66
[3] H.-D. Ebbinghaus, J. Fllum, W. Thomas. Mathematical Logic(Springer)
成績評価の方法・基準
Attendance is checked and verified.
Training exercises must be tried.
Final Exam must be passed.
履修上の留意点
Related: Discrete Systems.
参考
[1] L.A. Zadeh
Information Control 8(1965),338-353
[2] S. Tamura et al.
IEEE Transactions on Systems, Man and Cybernetics 1(1971),61-66
[3] H.-D. Ebbinghaus, J. Fllum, W. Thomas. Mathematical Logic(Springer)