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

Concept

Truth function

Séances de cours associées (28)

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

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.

Logique proposée: Traductions et équivalences

Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.

Predicate Logic : Quantificateur universel et existentiel

Explique les variables, les prédicats, les fonctions propositionnelles et les quantificateurs dans la logique des prédicats.

Predicate Logic : Quantificateur universel et existentiel

Introduit la logique de prédicat et explique comment déterminer les valeurs de vérité à l'aide de quantificateurs.

Pourquoi devrions-nous éviter d'utiliser des stéréotypes?

Discute de la distorsion de la réalité causée par les stéréotypes et de l'importance d'éviter leur utilisation.

Introduction & Logique de proposition

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Circuits logiques combinés

Couvre les bases des systèmes logiques, de l'algèbre booléenne, des portes logiques et du codage dans les circuits numériques.

Génération de code simple pour if

Couvre la compilation de séquences d'instructions, de structures de contrôle, de représentations booléennes et de comparaisons dans la génération de code WebAssembly.

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.

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles, composées et les tables de vérité.

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.

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Logique propositionnelle : connexions logiques de base

Couvre les propositions, les connecteurs logiques, les tables de vérité et le langage logique propositionnel.

Logique propositionnelle : bases et équivalences

Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.

Logique propositionnelle : bases et applications

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Logique des prédicats : bases et applications

Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.

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.

Logique propositionnelle : connexions logiques de base

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.

Synthèse logique : Concevoir des circuits numériques efficaces Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces en utilisant des minterms, des maxterms et de nouvelles portes comme XOR et XNOR.