Course: Exercises in Information Sciences II (Theorem Proving)

Every Wednesday from 10:40 to 12:10
Rooms: 理学部3号館504室 or 共通講義棟3号館408室

[Theme] In a course of mathematical logic, a student performs pen-and-paper formal proofs by means of logical derivations. How does a student know that her formal proof is correct? complete? Alternatively, she can use a software/tool such as a proof assistant. The advantage of using a proof assistant in the class is to, first, check the correctness of a proof, and, second, assist the student in writing a formal proof where no step is omitted, the logic is explicit and the proof method is clearly stated.

[Objective] In this class, we:

Course materials


Fadoua Ghourabi

Contact: ghourabi "dot" fadoua "at" ocha "dot" ac "dot" jp
Office: 人間文化創成科学研究科・全学共用研究棟 603室
For questions, students can visit my office on Monday from 16:00 to 18:00

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.