Concept
Logique traditionnelle
Séances de cours associées (60)
Logique propositionnelle : Formes et applications normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
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.
Predicate Logic : Quantificateur universel et existentiel
Introduit la logique de prédicat et explique comment déterminer les valeurs de vérité à l'aide de quantificateurs.
Introduction à la logique dynamique
Introduit Dynamic Logic, couvrant ses principes, ses problèmes et ses variations de conception, y compris les conceptions au pied contre les conceptions non au pied et les structures à sorties multiples.
Propositions en tant que types: Logique et correspondance de programmation
Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.
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.
Preuves : Arguments dans la logique des prédicats
Couvre les règles dinférence pour les déclarations quantifiées et démontre la construction darguments valides en utilisant la logique de prédicat.
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.
Preuves : Arguments dans la logique des prédicats
Couvre les règles dinférence pour les déclarations quantifiées et la construction darguments valides en utilisant la logique de prédicat.
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.