- Training
- Is your proof correct? The computer will check it and tell you
Digital skills
Is your proof correct? The computer will check it and tell you
Essentials
You cannot currently register for this course.
Date(s) | 8.11.24, 9h15 - 12h |
Type | Séminaire |
Language(s) | French, English |
Locations
Teaching and Learning Space (PER21 - B205)Target audience
bachelor, master and doctoral students (Unifr and HES-SO//FR)
Content
Writing arguments and logical proofs can be challenging. A proof must not only be error-free, but also be comprehensible. Interactive proof systems help to meet both these requirements.
State your hypotheses, formulate your arguments, and guide your digital assistant step by step towards a convincing conclusion. You now have the certainty that your argument has been understood and rigorously checked by the proof system and can thus assume that it is correct!
With the help of a proof assistant, we learn how logical definitions and proofs can be represented in a way that is legible and verifiable for both humans and computers. The tool can either be installed locally or accessed directly through a web browser. While the course material is in English, the teaching language can be adjusted to English, French or German according to students' preferences.
Director(s)
Mulakhel Rehan
Speakers(s)
Fernand Dubler : doctoral student in the department of Informatics
Dates and locations
Period | Location |
---|---|
08.11.2024 from 09:15 to 12:00 | Teaching and Learning Space (PER21 - B205) |