BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UNIFR/WEBMASTER//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTART;VALUE=DATE:20241108T091500
DTEND;VALUE=DATE:20241108T120000
UID:16713@agenda.unifr.ch
DESCRIPTION:La rédaction des argumentations et de preuves logiques n’est pas toujours facile. Une preuve ne doit pas seulement être exempte d’erreurs, elle doit aussi être compréhensible. Les systèmes de preuve interactifs aident à répondre à ces deux exigences. Indiquez vos hypothèses, formulez votre argumentation et guidez votre assistant numérique pas à pas vers une conclusion convaincante. Vous avez maintenant la certitude que votre argumentation a été comprise par le système de preuve, qu’elle a été rigoureusement vérifiée et qu’elle est correcte!\n\nNous apprenons, à l’aide du système de preuve 'Coq', comment les définitions et les preuves logiques peuvent être représentées de manière lisible et vérifiable aussi bien pour les personnes que pour les machines. L’outil peut, au choix, être installé localement ou être appelé directement dans un navigateur web. Le matériel pédagogique est en anglais, tandis que la langue d'enseignement peut être adaptée à l'anglais, au français ou à l'allemand en fonction des préférences des étudiants.
SUMMARY:Votre preuve est-elle correcte? L’ordinateur le vérifie et vous le dit
CATEGORIES:Séminaire
LOCATION:PER 21\, B205\, Bd de Pérolles 90\, 1700 Fribourg
URL;VALUE=URI:https://agenda.unifr.ch/e/fr/16713
END:VEVENT
END:VCALENDAR