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

Introduction & Logique de proposition

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (35)

Logique propositionnelle : Formes normales

Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.

Logique propositionnelle : Formes normales

Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.

Logique propositionnelle : exemples

Couvre des faits intéressants sur la logique propositionnelle et les stratégies de résolution de Sudoku.

Logique des prédicats : domaines et quantificateurs

Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.

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.

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.

Logique formelle: preuves et ensembles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

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 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.

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 à partir de descriptions fonctionnelles et de tables de vérité.

Solutions initiales aux problèmes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la description de toutes les solutions du problème initial et des concepts connexes tels que la compacité et la fermeture.

Mécanique quantique : Dérivation et inférence logique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mécanique quantique démystifiante à travers une inférence logique et des descriptions expérimentales robustes, mettant l'accent sur la séparation des conditions et des équations quantiques fondamentales.

Transistor Logic Gates : TTL vs CMOS Connectez-vous à Mediaspace pour regarder cette vidéo

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

Applications du théorème des résidus dans l'analyse complexe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les applications du théorème des résidus dans l'évaluation des intégrales complexes liées à l'analyse réelle.

Théorème d'intégration Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le théorème de l2-embeddability, les embeddings isométriques, les matrices semi-définies positives et le calcul des valeurs propres.

Page 2 sur 2