Concept
Variable propositionnelle
Séances de cours associées (99)
Logique principale : quantificateurs, FNC, DNF
Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.
Logique propositionnelle : Questions organisationnelles
Couvre les questions organisationnelles de l'instructeur et souligne l'importance du visionnage vidéo, des exercices et de l'interaction Discord.
Équivalences logiques : construire, prouver et appliquer
Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.
Sets : Opérations et relations
Couvre les opérations définies et leurs relations à la logique propositionnelle, y compris la cardinalité.
Ensembles, fonctions et relations : Définir les opérations
Couvre les opérations réglées et leurs analogies avec les connecteurs de logique propositionnelle, y compris la cardinalité de l'union réglée.
Logique propositionnelle : exemples
Couvre des faits intéressants sur la logique propositionnelle et les stratégies de résolution de Sudoku.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.
Le groupe de classe discriminant et idéal en mathématiques
Explore le discriminant dans les matrices, les groupes de classes idéaux et les intégrations optimales en mathématiques.
Stabilité des systèmes de contrôle en réseau
Explore l'analyse de la stabilité des systèmes de contrôle en réseau dans le cadre d'abandons stochastiques de paquets, en mettant l'accent sur la stabilité moyenne carrée et les implications pratiques.
Différenciation en analyse
Explore la différentiabilité dans l'analyse, en discutant des conditions pour que les fonctions soient différenciables et continues.