1 ressource en auto-formation : calcul proposition

1 ressource
page 1 sur 1
Résultats de 1 à 1
Présentation de la ressource en auto-formation Introduction à la logique cours / présentation
01/09/2009
Introduction à la logique
Auteur(s) : Pottier Loïc
Description : 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.