Logique modale

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 4

Algèbre booléenne : propriétés et théorèmes

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

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

Cartes Karnaugh: Techniques de regroupement

Explore les cartes de Karnaugh, les règles de regroupement et la logique des transistors dans les systèmes logiques.

Représentation des entiers: Signe et grandeur vs complément de deux

Compare sign-and-magnitude avec les représentations entières complémentaires de deux, en mettant l'accent sur les différences de complexité et en répondant aux défis de débordement et de sous-flux.

Karnaugh Maps : règles de regroupement et optimisation

Explore les représentations cartographiques de Karnaugh, les règles de regroupement, l'optimisation et la technologie de portail TTL.

Machines à états finis: bases et conception

Introduit des machines à états finis, couvrant les bases, la conception et les applications pratiques telles que les décodeurs et les encodeurs.

Transistor Logic Gates : TTL vs CMOS

Compare BJT et MOSFET dans les systèmes logiques, en se concentrant sur les technologies TTL vs CMOS.

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