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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Systèmes finis exprimés avec des formules

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (54)

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Circuits numériques : Bases logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des circuits numériques, couvrant les systèmes binaires, les opérateurs logiques, l'algèbre booléenne, les éléments de mémoire, et des exemples pratiques comme les décodeurs BCD et les registres de décalage.

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.

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.

Théorème de la courbe de Jordan Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la preuve du théorème de la courbe de Jordan et les propriétés des sphères incorporées.

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.

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.

Logic Design : règles de base et expansion de Shannon Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les règles de base de la conception logique et l'expansion de Shannon dans les fonctions booléennes.

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.

Circuits logiques synchrones : modélisation et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les circuits logiques synchrones, la modélisation basée sur l'état, les techniques d'optimisation et la minimisation de l'état de la machine à l'état fini.

Aperçu des systèmes numériques : évolution et intégration Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'évolution des systèmes numériques, des transistors aux circuits intégrés, en mettant l'accent sur l'impact de la loi de Moore et du travail pratique du FPGA.

Portes logiques et élimination des dangers Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les portes logiques, l'élimination des risques, les ALU, les compteurs et les registres à décalage dans la technologie des semi-conducteurs.

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.

Sous-groupes Critères : Propositions et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les critères des sous-groupes et fournit des exemples et des preuves.

Différenciation en analyse Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la différentiabilité dans l'analyse, en discutant des conditions pour que les fonctions soient différenciables et continues.

Circuits logiques numériques : les fondamentaux de la mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des circuits logiques numériques, en se concentrant sur les systèmes de mémoire et leur mise en œuvre dans Verilog.

Fondations algorithmiques pour la certification des systèmes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis dans la conception de systèmes avec des composants non fiables, en mettant l'accent sur la vérification, le contrôle et l'interaction dans des systèmes peu fiables.

Analyse IV : Ensembles et propriétés mesurables Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le concept de mesure externe et les propriétés des ensembles mesurables.

Distributions et dérivés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les distributions, les dérivés, la convergence et les critères de continuité dans les espaces de fonctions.

Des algorithmes aux architectures Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la transition des algorithmes aux architectures matérielles dans la conception de systèmes numériques, couvrant les architectures isomorphes, l'implémentation VHDL et les métriques d'efficacité matérielle.

Page 2 sur 3