Concept
Partial application
Séances de cours associées (32)
Laboratoire de génération de code
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Analyse I : Dérivés et limites
Explore les dérivés, les limites, la règle de L'Hôpital et les expansions polynomiales dans l'Analyse I.
Éléments de programmation
Couvre les expressions primitives, les processus d'évaluation, les applications de fonctions, les types et les stratégies d'évaluation dans la programmation.
Intégration de la chaleur : séance de cours 10
Couvre l'évaluation des projets, des créneaux de projets, de l'intégration de la chaleur, des solutions faibles et de la projection des solutions.
Dynamique des fluides: Équations d'Euler
Couvre les équations d'Euler pour la dynamique des fluides et les lois de conservation appliquées.
Calcul intégral : étude de type 2 sur les intégrales et la convergence
Explore les intégrales de type 2 et leur étude de convergence avec des exemples illustratifs.
Opérateurs hermiciens et théorème spectral
Explore les opérateurs ermitiens, les propriétés auto-adjointes et les théorèmes spectraux dans les espaces ermitiens.
Paradigmes de programmation: Fonctionnel, OOP, Polymorphisme
Explore les paradigmes de programmation comme la procédure, la fonctionnalité et l'OPO, avec des exemples en Python.
Algorithmes quantiques: Deutsch/Grover
Explore l'Algorithme Deutsch et l'Algorithme Grover en calcul quantique, mettant en évidence leurs avantages par rapport aux algorithmes classiques.
Propositions inductives : Techniques de raisonnement et d’évaluation
Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.