Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Système axiomatique
Science formelle
Logique
Logique classique
Calcul des prédicats
Graph Chatbot
Séances de cours associées (5)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 1 sur 1
Suivant
Nombres réels : Ensembles et opérations
Couvre les concepts fondamentaux liés aux nombres réels, y compris les ensembles, les notations et les opérations.
Nombres réels: Structure et propriétés
Couvre la structure et les propriétés des nombres réels, y compris l'introduction au système axiomatique et les implications de la propriété Archimède.
Principes de la physique quantique
Couvre les principes de la physique quantique, se concentrant sur les espaces de produits tensor et les vecteurs enchevêtrés.
Hoare Logic: Fondements et applications
Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.
Sans titre