063MAT1L1

Logique et systèmes de preuve

Positionnement de l’UE : - Place de l’UE dans le cursus : Licence - UE obligatoire Elle contribue au développement de compétences suivantes :  Reformuler un problème sous forme de propositions logique et démontrables Objectif général : Ce cours, donné sur deux semestres, rassemble tous les fondements mathématiques essentiels à l'informatique. Ce semestre sera consacré à la logique formelle (logique propositionnelle et logique des prédicats) et aux méthodes de preuves (directes, par cas, par contradiction, par contraposée) avec et sans quantificateurs.


Temps présentiel : 17.5 heures


Charge de travail étudiant : 32.5 heures


Méthode(s) d'évaluation : Examen final, Examen partiel, Participation et assiduité


Référence :
 Language, Proof and logic, Jon Barwise, John Etchemendy. Center for the Study of Language and Information, 2003  Logique combinatoire, J. Lagasse, M. Courvoisier, J-P Richard. 3e édition, Dunod université  Discrete Mathematics and its applications, Kenneth H Rosen, McGraw-Hill. 5e édition 2003  Student’s solutions guide for use with discrete mathematics and its applications, Kenneth Rosen, McGraw-Hill. 5e édition 2003

Ce cours est proposé dans les diplômes suivants
 Licence en informatique appliquée aux entreprises