Logique mathématique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

Connectez-vous pour filtrer par séance de cours

Page 3 sur 4

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

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.

Les machines à états finis : Medvedev vs. Moore vs. Mealy

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

Comprendre les relations d'équivalence et la construction d'entiers

Couvre la construction d'entiers par des relations d'équivalence et leurs propriétés en mathématiques.

Séquences et convergence : comprendre les fondements mathématiques

Couvre les concepts de séquences, de convergence et de limite en mathématiques.

Transistor Logic Gates : TTL vs CMOS

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

Filtrage Wiener: Théorie et applications

Couvre la théorie et les applications du filtrage Wiener dans le traitement du signal.

Systèmes logiques : multiplexeurs et flip-flops

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

Preuves et ensembles: Applications

Couvre les bases des preuves, définissant des ensembles et des applications entre les ensembles.

Modèle d'ingénierie pour la sorption capillaire

Présente un modèle d'ingénierie pour la sorption capillaire dans les matériaux cimentaires, mettant l'accent sur une analyse expérimentale simple et des formulations mathématiques.