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 à l'élimination des quantificateurs pour l'arithmétique de Presbourg

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (35)

Logique propositionnelle : connexions logiques de base

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

Systèmes séquentiels: Microcontrôleurs

Explore les systèmes séquentiels, les machines d'état, les solutions de microcontrôleur, les systèmes logiques et les applications pratiques dans les projets du monde réel.

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.

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.

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.

Correspondance logicielle: Test et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

Opérations de base sur les tableaux et fonctions: Matlab 03 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les opérations de base sur les tableaux et les fonctions de Matlab, y compris la création de tableaux, les opérations arithmétiques et les définitions de fonctions.

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.

Test basé sur la propriété: QuickChick Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.

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.

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.

Régression moderne: effets aléatoires et vérification de modèle Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les effets aléatoires, la vérification du modèle et les effets imbriqués par rapport aux effets croisés dans la modélisation de régression moderne.

Opérateurs et expressions : programmation en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les opérateurs et les expressions en C, en se concentrant sur l'arithmétique, la comparaison et les opérations logiques.

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.

Page 2 sur 2