063MAT1L1

Mathématiques discrètes I

Cette UE donnéE 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 : Participation et assiduité, Examen partiel, Examen final


Référence :
Jon Barwise, John Etchemendy, Language, Proof And Logic, Center for the Study of Language and Information, 2003 J. Lagasse, M. Courvoisier, J-P Richard, Logique Combinatoire,3ème édition, Dunod Université Kenneth H Rosen, Discrete Mathematics And Its Applications,5ème édition, McGraw-Hill, 2003 Kenneth Rosen, Student's Solutions Guide For Use With Discrete Mathematics And Its Applications,5ème édition, McGraw-Hill, 2003

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