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

Concept

Forme normale conjonctive

Séances de cours associées (26)

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.

Avions et cylindres: Intersections et implémentations de rayons Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre des intersections de rayons avec des plans, des cylindres et des sphères.

Théorie de calcul: Décidabilité et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

S'inscrit dans la théorie du calcul, couvrant la décidabilité, la complexité, P vs. NP, et les réductions.

Formule sans quantificateur Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la transformation des formules sans quantificateur en formules équisatisfaisantes et la réduction pour résoudre l'arithmétique modulo.

Chaînes de Markov: Réversibilité et distribution stationnaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la réversibilité dans les chaînes de Markov et son impact sur la distribution stationnaire, en soulignant la complexité des chaînes non réversibles.

Solutions d'équations différentielles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les solutions d'équations différentielles avec des conditions initiales et des concepts de limite.