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)