Langages logiques

Jaume Mathieu, Mounier Isabelle

Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques
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

langage logique, formule atomique, quantificateur, logique des propositions, calcul prédicat, langage sans variable, formule logique avec variables, substitution dans une formule

Langues

Français

Droits attachés à la ressource

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

Logo by-sa.webp

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