Passer au contenu principal

Recherche

Afficher tous les résultats pour

Accueil

Concept

First-class function

Applied sciences
Génie informatique
Programmation informatique
Programmation fonctionnelle

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Copyright © 2025 EPFL, tous droits réservés

Graph Chatbot

Séances de cours associées (30)

Connectez-vous pour filtrer par séance de cours

Page 3 sur 3

Fonctions implicites : solutions uniques et fonctions de classe C

Couvre la preuve du théorème des fonctions implicites et le concept des fonctions de classe C.

Introduction aux assemblées et à la documentation

Présente les assemblages, la documentation et Speckle pour la collaboration de conception de bâtiments.

Canaux robustes: Gestion des réseaux non fiables

Explore des canaux robustes dans des protocoles réseau sécurisés tels que QUIC et DTLS 1.3.

Fonctions implicites : Équation du plan Tangent

Couvre les fonctions implicites de la classe C et l'équation du plan tangent.

Définition de la fonction

Explique les trois facettes d'une fonction et ses composants en C++.

Introduction à la stéréotomie

Couvre les bases de la stéréotomie, y compris les génériques géométriques et familiaux, les exercices en direct et la création de composants hybrides.

Fonctions : Définition de l'utilisateur

Couvre les bases des fonctions de MATLAB et Octave, y compris les fonctions définies par l'utilisateur.

Analyse avancée II

Explore les dérivés des ordres supérieurs et des dérivés partiels, soulignant l'importance de comprendre les concepts récursifs dans l'analyse avancée.

Sous-typage algorithmique : preuve de transitivité

Explore la preuve de transitivité dans le sous-typage algorithmique à travers des relations d'induction et de sous-type.

Dérivés partiels: Introduction

Introduit des dérivés partiels dans les fonctions de plusieurs variables et leurs propriétés.