URI http://ori.unit-c.fr/uid/unit-ori-wf-1-3949 Introduction à la logique fre 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. logique langage formel algèbre Boole calcul proposition algorithme de décision preuve calcul prédicat logique intuitionniste lambda calcul fuscia LOMv1.0 atomic LOMv1.0 2 LOMv1.0 texte LOMv1.0 image LOMv1.0 author BEGIN:VCARD N:Pottier;Loïc FN:Loïc Pottier EMAIL;TYPE=INTERNET:Loic.Pottier@inria.fr ORG:Polytech Nice Sophia, Université de Nice END:VCARD 2009-09-01 LOMv1.0 publisher BEGIN:VCARD N:Université de Nice FN:Université de Nice EMAIL;TYPE=INTERNET: ORG:Polytech Nice Sophia END:VCARD 2009-09-01 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-3950 LOMv1.0 validator BEGIN:VCARD VERSION:3.0 N:sduranton;Sylvain Duranton FN:Sylvain Duranton sduranton ORG:Mon université URL:http://www.univ.fr UID:sduranton END:vcard LOMv1.0 creator BEGIN:VCARD N:Soyez;Julia FN:Julia Soyez EMAIL;TYPE=INTERNET:julia.soyez@sophia.inria.fr ORG:fuscia (UNIT / INRIA) END:VCARD 2010-06-01 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre text/html http://docs.google.com/Doc?docid=0AShB3nPmbnjTZGdkdHdoOThfNDljcWNqc3pncQ&hl=fr#Cours_de_logique_2662770012393_1905978824943304 LOMv1.0 lecture LOMv1.0 learner LOMv1.0 higher education LOMFRv1.0 licence 18+ fre LOMFRv1.0 s'informer LOMv1.0 no LOMv1.0 no Ressource en accès libre. LOMv1.0 discipline Classification UNIT 2202 Mathématiques inductives déductives LOMv1.0 discipline DDC 22nd ed 511.3 Mathematical logic (Symbolic logic) LOMv1.0 discipline Classification UNIT 2208 Calcul formel LOMv1.0 discipline DDC 22nd ed 518.4 Numerical methods in algebra, arithmetic, number theory