Intensive Course ”First-Order Logic and Hoare logic”
Date：October 4, 2024
Information| Opening Date | Monday, November 11, 2004 13:00-16:20 *The class times between Tuesday, November 12, and Friday, November 15, will be determined in consultation with the participants. |
| Place | Room C-512 (5F, C section, West 1 Zone) |
| Instructor | Professor Makoto TASUTA, National Institution of Informatics https://www.nii.ac.jp/faculty/informatics/tatsuta_makoto/ |
| Title | “First-Order Logic and Hoare logic” |
| Contents | Key words: Proof Diagram, Soundness Theorem, Completeness Theorem, Gödel’s Incompleteness Theorem, Hoare Logic Proof System, Program Verification -> See detail at the Syllabus (in Japanese) https://ku-portal.kyushu-u.ac.jp/campusweb/slbssbdr.do?value(risyunen)=2024&value(semekikn)=1&value(kougicd)=24630069&value(crclumcd)=ZZ |
| Contact | Prof. MIZOGUCHI, IMI at Kyushu University Email: ym@imi.kyushu-u.ac.jp |
| This course is offered as ‘Special Lectures II’ to the Graduate School of Mathematics and the Department of Mathematics. However, if you are interested in participating as an auditor, you will be welcomed. | |