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

Concept

Calcul des prédicats

Séances de cours associées (32)

ODE d'ordre supérieur scalaire: ODE de système de premier ordre

Couvre la transformation des ODE scalaires d'ordre supérieur en un système d'ODE de premier ordre.

Logique principale : quantificateurs et formulaires normaux Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.

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.

Systèmes logiques : représentations et systèmes numériques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la représentation des circuits logiques et la notation de la valeur de lieu pour les nombres naturels.

La logique des prédicats : quantificateurs et équivalences Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique des prédicats, couvrant les quantificateurs, les équivalences et les traductions du langage naturel.

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.

Théorème des mathématiques Prover Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.

Logique du second ordre : WS1S et HOL Connectez-vous à Mediaspace pour regarder cette vidéo

Explore Second Order Logic, WS1S, HOL, procédures de décision, formules atomiques et composites, et la combinaison de WS1S avec MONA dans HOL.

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.

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.

Karnaugh Maps : règles de regroupement et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

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

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.