Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Logique paracohérente

Séances de cours associées (28)

Calcul séquentiel: bases et applications

Couvre les bases et les applications du calcul séquentiel en logique et théorie des preuves, y compris l'élimination des coupes et l'analyse des preuves pratiques.

Ajouter une variable

Démontre l'ajout d'une variable pour suivre les niveaux dans un programme.

Championnat international des jeux mathématiques et logiques

Introduit le Championnat international des jeux mathématiques et logiques, un événement amusant et stimulant pour les participants âgés de 8 à 88 ans.

George Boole: Logique et ordinateurs

Explore comment l'approche mathématique de George Boole a révolutionné la logique et jeté les bases de l'informatique moderne.

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 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.

Concepts de programmation : Variables et expressions

Couvre les concepts de programmation fondamentaux tels que les algorithmes, les variables et les expressions en C++.

Maths Puzzle: La famille de l'ours et le miel

Présente un puzzle mathématique impliquant une famille d'ours et la consommation de miel.

Logique propositionnelle : exemples

Couvre des faits intéressants sur la logique propositionnelle et les stratégies de résolution de Sudoku.

Tables de logique et de vérité

Couvre la logique, les tables de vérité et les propositions mathématiques, démontrant comment analyser les énoncés logiques.

Logique propositionnelle : bases et applications

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Algèbre booléenne : propriétés et théorèmes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propriétés et les théorèmes de l'algèbre booléenne dans les systèmes logiques.

Conception et synthèse FSM Connectez-vous à Mediaspace pour regarder cette vidéo

Explique la conception et la synthèse des machines à états finis dans les systèmes logiques.

SR et D Latches: Systèmes logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre des verrous SR et D et des bascules.

Systèmes logiques : bases et opérateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.

Algèbre booléenne : propriétés et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propriétés de l'algèbre booléenne, les techniques d'optimisation et l'importance des groupes valides dans les cartes de Karnaugh.

Systèmes logiques : multiplexeurs et flip-flops Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les circuits de verrouillage SR, les verrous D, les bascules D, les signaux d'horloge et les multiplexeurs dans les systèmes logiques.

Algèbre booléenne : propriétés et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les propriétés de l'algèbre booléenne et les techniques d'optimisation en utilisant les diagrammes de Karnaugh et les théorèmes de De Morgan.

SR Latch et D Flip-Flop: Éléments de mémoire dans les systèmes logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le verrou SR, la bascule D, les multiplexeurs, les portes XOR et les portes tristates dans les systèmes logiques.

BJT vs FET Opération Connectez-vous à Mediaspace pour regarder cette vidéo

Compare le fonctionnement BJT et FET dans les systèmes logiques, discute des technologies TTL vs CMOS et explore la fonctionnalité Set-Reset Latch.