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

Concept

Système formel

Séances de cours associées (31)

Les machines à états finis : Medvedev vs. Moore vs. Mealy Connectez-vous à Mediaspace pour regarder cette vidéo

Comparaison des modèles Medvedev, Moore et Mealy FSM et de leurs structures.

WireGuard : protocole cryptographique pour les VPN Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le protocole WireGuard, un remplacement VPN moderne pour IPsec et OpenVPN, en se concentrant sur les tunnels cryptés et les propriétés de sécurité.

Logique formelle: preuves et ensembles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

Optimiser les fonctions logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'optimisation des fonctions logiques en utilisant des diagrammes de Karnaugh et en traitant des fonctions définies incomplètes.

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.

Machines à états finis: bases et conception Connectez-vous à Mediaspace pour regarder cette vidéo

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 Connectez-vous à Mediaspace pour regarder cette vidéo

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

Transport optimal : théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les multiplicateurs de Lagrange, les théorèmes minimax et les sous-ensembles convexes dans la théorie du transport optimal.

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.

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

Explore les portes TTL, les aspects analogiques et diverses portes logiques dans les circuits numériques.

Représentations entières : Magnitude & Complément Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les représentations entières, en se concentrant sur le signe et la magnitude, son complément, le complément à deux, l'excès-N, le débordement, le sous-flux et la multiplication binaire.