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

Mathématiques discrètes: Logique & Structures

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (36)

Logique propositionnelle : exemples

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

Équivalences logiques : Partie 1

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

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 : Quiz Réponses

Couvre les réponses à un quiz sur la logique propositionnelle, en soulignant l'importance de la clarté dans les énoncés logiques.

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.

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.

Von Mises Conditions: Théorème et limites Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les conditions von Mises et les limites connexes en théorie des probabilités.

Probabilité et statistiques: fondamentaux Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts fondamentaux de probabilité et de statistiques, y compris les résultats intéressants, le modèle standard, le traitement de l'image, les espaces de probabilité et les tests statistiques.

Structures de contrôle dans la programmation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les structures de contrôle dans la programmation, en mettant l'accent sur les opérateurs logiques, les ramifications, les boucles et les pièges potentiels de rupture et de poursuite des énoncés.

Théorème des limites centrales : propriétés et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le théorème de la limite centrale, la covariance, la corrélation, les variables aléatoires articulaires, les quantiles et la loi des grands nombres.

Martingales et le mouvement brownien : critères et théorèmes de convergence Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les critères de convergence pour les martingales, y compris la convergence presque certaine et le critère de Cauchy, conduisant au premier théorème de convergence de martingale.

Systèmes numériques : registres et compteurs Vue d'ensemble Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit une vue d'ensemble des registres et des compteurs dans la conception des systèmes numériques.

Le problème du mariage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le problème du mariage, où une mariée doit stratégiquement accepter des prétendants pour maximiser ses chances de choisir le meilleur.

Probabilités et processus stochastiques : principes fondamentaux et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des principes fondamentaux de la probabilité et des processus stochastiques, en se concentrant sur les variables aléatoires, leurs propriétés et leurs applications dans le traitement statistique du signal.

Page 2 sur 2