Cours de logique

Jaume Mathieu, Mounier Isabelle

Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantificateurs Cours 5 : Interprétation : variables et quantificateurs

Accéder à la ressource Fiche SUPLOMFR

Description

Université productrice

Sorbonne Université, Université numérique ingénierie et technologie

Discipline

Mathématiques - Mathématiques inductives déductives, Sciences humaines et sociales pour l'ingénieur - Philosophie, éthique, métaphysique, épistémologie

Mots clés

connecteur, langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, interprétation d'une formule, expression booléenne

Langues

Français

Droits attachés à la ressource

Licence Creative Commons CC BY-SA (Attribution – Partage dans les mêmes conditions)

Indication pédagogique

Niveaux

Licence

Type(s) pédagogique(s)

Autoévaluation, Cours / Présentation, Liste de références, Exercice

Type(s) documentaire(s)

Texte, Son