Fondements du logiciel

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (26)

Page 1 sur 3

Composition des applications en mathématiques

Explore la composition des applications en mathématiques et l'importance de comprendre leurs propriétés.

Produit cartésien et induction

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Fonctions de cartographie et surjections

Explore les fonctions cartographiques, les surjections, les fonctions injectives et surjectives et les fonctions bijectives.

Hoare Logic: Fondements et applications

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Topologie des surfaces de Riemann

Couvre la topologie des surfaces de Riemann, en se concentrant sur l'orientation et l'orientabilité.

Sémantique dans le traitement du langage informatique: comprendre le sens

Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.

Atelier Coq: Introduction au théorème interactif

Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.

Intégration de formes différentielles

Couvre l'intégration de formes différentielles sur des variétés lisses, y compris les concepts de formes fermées et exactes.

Lambda Calculus: Syntaxe et Abstractions

Introduit des termes, des abstractions, des applications et des valeurs dans le calcul lambda.

Dérivés faibles: définition et propriétés

Couvre les dérivés faibles, leurs propriétés et leurs applications en analyse fonctionnelle.