Introduction à la logique

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.

Mots-clés : logique,langage formel,algèbre Boole,calcul proposition,algorithme de décision,preuve,calcul prédicat,logique intuitionniste,lambda calcul,fuscia
Type de document : texte,image
Type de ressource : lecture
Niveau : higher education,licence
Publics visés : learner
Activité induite : s'informer
Auteurs ou éditeurs : Loïc Pottier,Université de Nice