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

Concept

Calcul des prédicats

Séances de cours associées (32)

Automatiser les preuves logiques de premier ordre en utilisant la résolution

Couvre la syntaxe logique de premier ordre, la sémantique et la résolution pour les propriétés de preuve.

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

Modèles de termes pour la logique de la première commande

Explore les modèles de termes, les sous-structures, les théorèmes de petits modèles et le modèle Herbrand en logique de premier ordre.

Predicate Logic: En savoir plus sur les quantificateurs

Explore les quantificateurs avec des domaines finis, le quantificateur d'unicité, les instructions composites, la liaison de variables et la validité en logique.

Coq: Introduction

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Logique des prédicats : bases et applications

Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.

Méthode de l'élément fini : Analyse de la ligne de transmission

Couvre la méthode des éléments finis pour l'analyse de la ligne de transmission, y compris les étapes pour minimiser la perte de puissance et les conditions limites.

Automatiser les preuves logiques de premier ordre en utilisant la résolution

Couvre la logique de premier ordre, les preuves de résolution, les fonctions Skolem et la vérification de la satisfaction en mathématiques et la vérification de programme.

Logique du prédicat : Quiz Réponses Analyse

Analyse les réponses au quiz sur la logique des prédicats, couvrant les quantificateurs, les implications et les négations.

Logique des prédicats : Quantificateurs et énoncés

Couvre les bases de la logique des prédicats, y compris les quantificateurs et les énoncés.

Logique des prédicats : Introduction et équivalences

Couvre les bases de la logique des prédicats, les quantificateurs, les équivalences et les exemples de traduction en langage naturel.

Predicate Logic: En savoir plus sur les quantificateurs

Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.

Automatiser les preuves logiques de premier ordre en utilisant la résolution

Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.

Prédicat Logique: Traduire le langage naturel en logique

Couvre la traduction des phrases en langage naturel en logique de prédicat et l'importance de l'ordre des quantificateurs.

La logique des prédicats : les équivalences, les négations et les lois de De Morgan

Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.

Logique du prédicat : Quantificateurs imbriqués

Explore les quantificateurs imbriqués dans la logique et leur traduction en langage naturel et en énoncés mathématiques.

Preuves : Équivalence logique et règles d'inférence

Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.

Logique de prédicat: Résumé de la semaine 2

Couvre le concept de l'univers du discours et des valeurs de vérité dans la logique prédictive.

Programmation logique : exemples et règles

Démontre la programmation logique avec des exemples et des règles, présentant un outil pour une application pratique.

Logique du prédicat : quantificateurs et valeurs de vérité

Explore les quantificateurs existentiels, les valeurs de vérité et les énoncés composites dans la logique des prédicats.