Séance de cours
Calcul proposé
Séances de cours associées (30)
Concept de preuve en mathématiques
Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, se concentrant sur la logique, les structures et les algorithmes pour les systèmes informatiques.
Coq: Introduction
Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Ensembles et opérations: Introduction aux mathématiques
Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.
Logique formelle: preuves et ensembles
Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.
Délégation quantique de calcul
Couvre le concept de délégation quantique du calcul et la relation entre MIP et RE, en abordant les questions fréquentes et en discutant des matériaux utiles et des interactions avec les appareils quantiques.
Résoudre les jeux de parité dans la pratique
Explore les aspects pratiques de la résolution des jeux de parité, y compris les stratégies gagnantes, les algorithmes, la complexité, le déterminisme et les approches heuristiques.
Preuves et calculs : un voyage à travers la théorie mathématique
Explore les preuves mathématiques historiques, les problèmes de décision, les systèmes de déductibilité, les preuves probabilistes et quantiques, et les systèmes de preuve interactifs.
Algèbre linéaire : propositions et ensembles
Couvre les propositions indexées par vecteurs, les preuves par induction et les produits cartésiens des ensembles.
Complexité computationnelle: Théorie et applications
Explore la complexité computationnelle, l'exhaustivité du NP et les réductions polynômes de l'informatique théorique.