Assertions auxiliaires en acier inoxydable

Dans cours

DEMO: ex consectetur

Culpa exercitation irure ullamco aliquip laboris ut fugiat nulla est. Minim exercitation fugiat deserunt aute nostrud mollit ex aute. Est eu ut aliqua sunt non sint ullamco excepteur nostrud qui aliquip adipisicing do aliquip. Pariatur non cupidatat ullamco elit commodo eiusmod tempor reprehenderit consequat mollit cupidatat ut ullamco laborum. Nostrud reprehenderit consequat amet qui nulla fugiat qui tempor excepteur.

Connectez-vous pour voir cette section

Description

Cette séance de cours démontre l'utilisation d'assertions en Stainless, un système de vérification, à travers des exemples avec des fractions. L'instructeur explique comment définir des fractions, effectuer des opérations sur eux, et prouver des propriétés comme la commutativité et l'associativité en utilisant des assertions pour aider le prover théorème.

Connectez-vous pour regarder la vidéo

Enseignant

minim esse ut amet

Elit ad irure eiusmod aliquip aliquip cupidatat ut enim. Sint duis fugiat id cillum mollit cupidatat nisi amet minim voluptate. Ad eiusmod duis reprehenderit quis occaecat sit minim qui cillum aliqua. Sunt officia consectetur dolore esse magna dolore minim minim ullamco ipsum aliquip. Reprehenderit qui esse velit consectetur dolor eu eu laboris excepteur qui pariatur excepteur. Magna elit laborum eu velit tempor sunt elit.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_54yx91xi

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Proximité ontologique

Mathématiques

Algèbre: Algèbre générale

Arithmétique: Arithmétique

Séances de cours associées (36)