Passer au contenu principal
Graph
Search
fr
en
Se connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Calcul des prédicats
Graph Chatbot
Séances de cours associées (32)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Systèmes logiques ascenseurs
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.
Prédicat Logique: Traduire le langage naturel en logique
Couvre la traduction des phrases en langage naturel en logique de prédicat et l'importance de l'ordre des quantificateurs.
La logique des prédicats : les équivalences, les négations et les lois de De Morgan
Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.
Logique du prédicat : Quantificateurs imbriqués
Explore les quantificateurs imbriqués dans la logique et leur traduction en langage naturel et en énoncés mathématiques.
Preuves : Équivalence logique et règles d'inférence
Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.
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.
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.
Logique de prédicat: Résumé de la semaine 2
Couvre le concept de l'univers du discours et des valeurs de vérité dans la logique prédictive.
Programmation logique : exemples et règles
Démontre la programmation logique avec des exemples et des règles, présentant un outil pour une application pratique.
Logique du prédicat : quantificateurs et valeurs de vérité
Explore les quantificateurs existentiels, les valeurs de vérité et les énoncés composites dans la logique des prédicats.
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.
BJT vs FET Opération
Compare le fonctionnement BJT et FET dans les systèmes logiques, discute des technologies TTL vs CMOS et explore la fonctionnalité Set-Reset Latch.
Précédent
Page 2 sur 2
Suivant
