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

Concept

Logique modale

Séances de cours associées (32)

Logique propositionnelle : bases et applications

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

Équivalences logiques : construire, prouver et appliquer

Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Qu’est-ce qu’une preuve formelle?

Couvre le concept de systèmes de preuve formelle, leur structure et leur solidité.

Ajouter une variable

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

Logique propositionnelle : Formes normales

Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.

Équivalences logiques : les lois de De Morgan et leurs implications

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Comprendre les microcontrôleurs : bases et programmation

Couvre les bases des microcontrôleurs, y compris les exercices pratiques et les tâches de programmation pour l'expérience pratique.

Logique propositionnelle : Formes normales

Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.

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.

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.

Systèmes logiques : Karnaugh Maps et TTL Gates Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les cartes Karnaugh, les portes TTL, les aspects analogiques de la logique numérique et les principaux impliqués.

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.

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.

Systèmes logiques ascenseurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les systèmes logiques d'ascenseur, y compris l'analyse du comportement, les fonctions logiques, les verrous SR et les verrous de réinitialisation.

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.

Introduction à la logique dynamique Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit Dynamic Logic, couvrant ses principes, ses problèmes et ses variations de conception, y compris les conceptions au pied contre les conceptions non au pied et les structures à sorties multiples.

Portes CMOS et systèmes logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases des portes CMOS et des systèmes logiques, en soulignant les avantages de CMOS par rapport aux portes TTL.

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.

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.