Ressource pédagogique : Introduction à la logique

Informations pratiques sur cette ressource

Description de la ressource pédagogique

Description (résumé)

Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul.

• Granularité : leçon
• Structure : atomique

"Domaine(s)" et indice(s) Dewey

• Mathematical logic (Symbolic logic) (511.3)
• Numerical methods in algebra, arithmetic, number theory (518.4 )

Thème(s)

Informations pédagogiques

• Activité induite : s'informer