Séance de cours
Mathématiques discrètes: Logique, Structures, Algorithmes
Séances de cours associées (161)
Algèbre linéaire: CMS
Couvre les concepts d'algèbre linéaire en mettant l'accent sur les fonctions et leurs propriétés.
Aperçu des systèmes numériques : des transistors aux circuits intégrés
Explore l'évolution des systèmes numériques des transistors aux circuits intégrés et leur impact sur les applications grand public et les technologies IoT.
Théorème des mathématiques Prover
Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.
Existence d'une limiteMOOC: Analyse I
Couvre des exemples liés à l'existence de limites de fonctions.
Logique propositionnelle : exemples
Couvre des faits intéressants sur la logique propositionnelle et les stratégies de résolution de Sudoku.
Opérations algébriques sur les limitesMOOC: Analyse I
Couvre les opérations algébriques sur les limites et leur application dans les calculs des limites.
Logique propositionnelle : Formes et applications normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
Logique propositionnelle
Couvre l'importance des mathématiques discrètes pour l'informatique et explique l'organisation du cours, l'horaire hebdomadaire, les exercices et les examens.
Estimation des integralsMOOC: Analyse I
Couvre l'estimation des intégrales à l'aide de diverses propositions et démonstrations.
Logique en mathématiques : propriétés et propositions
Explore la signification de la logique en mathématiques et en sciences à travers des propriétés et des propositions.