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

Logique propositionnelle : bases et applications

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (54)

Équivalences logiques : construire, prouver et appliquer

Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.

Mathématiques discrètes: Logique & Structures Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrè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.

Mathématiques discrètes: Logique, Structures, Algorithmes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases des mathématiques discrètes, se concentrant sur la logique, les structures et les algorithmes pour les systèmes informatiques.

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.

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.

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.

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.

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.

Branche conditionnelle dans la programmation Connectez-vous à Mediaspace pour regarder cette vidéo

Explique comment le branchement conditionnel de la programmation modifie l'exécution des programmes en fonction de certaines conditions.

Structures de contrôle en Java Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les structures de contrôle en Java, y compris les opérateurs logiques, la portée, la branchement, les boucles et les itérations.

Introduction à la logique dynamique Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit Dynamic Logic, couvrant ses principes, ses problèmes et ses variations de conception, y compris les conceptions au pied contre les conceptions non au pied et les structures à sorties multiples.

Composants semi-conducteurs : grilles de transmission et MOSFET Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le fonctionnement des portes de transmission et le comportement des MOSFET dans les composants semi-conducteurs.

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.

Tri-State Inverter: Applications Flip-Flop Maître-Esclave Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'onduleur à trois états et son rôle dans les bascules maître-esclave dans les circuits numériques.

Raisonnement du programme d'aide à l'apprentissage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.

Matlab: 3D Surface Plotting Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les tableaux logiques, les tracés de surface 3D, les courbes paramétriques, l'interpolation et l'ajustement dans Matlab.

Variations PVT, incertitudes et simulations Monte-Carlo Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'impact des variations de PVT, les incertitudes dans la conception des circuits intégrés, les paradigmes de conception dans le pire des cas et l'importance des simulations Monte-Carlo.

Optimisateur System-R: Optimisation des requêtes et estimation des coûts Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'Optimiseur System-R, l'optimisation des requêtes, l'estimation des coûts, rejoindre les commandes, et les défis de cardinalité dans les systèmes de base de données.

Page 2 sur 3