Université de la Manouba
Ecole Supérieure d’Economie Numérique
SYLLABUS
OBJECTIF GENERAL DU COURS
L’objectif principal de ce cours est de connaître les notions de base de la logique et les notions
mathématiques utiles pour la conception d’algorithmes et le développement de programmes.
ORGANISATION DU MODULE
Publicité
Ce module est réparti en 21h de cours et 10.5h de travaux dirigés. Par ailleurs il nécessite de la part
d’un étudiant assidu un travail personnel de 21h au minimum.
PRE REQUIS
Comme tout cours introductif, aucun prérequis n’est nécessaire pour suivre ce cours
CONTENU
Logique Propositionnelle : Objet de la logique ; Fondements (propositions, connecteurs, variables et
formes propositionnelles) ; Opérations logiques sur les propositions (connecteurs table de vérité,
Publicité
règles de formation, lois logiques) ; Démonstration de formules (Logique des tables de vérité, Théorie
de démonstration; Table de Beth)
Logique des prédicats : Syntaxe de la logique des prédicats ; Théorie de validité en calcul de
prédicats ; Déduction ; Résolution.
EVALUATION
Ce module est soumis au régime mixte. De ce fait, la moyenne de l’étudiant sera comptée comme
suit : test & TAF 10%, Devoir Surveillé 20% et Examen final 70%
Publicité
REFERENCES & RESSOURCES
Je vous encourage vivement à puiser dans les ressources pédagogiques disponibles gratuitement sur
la toile. Je vous suggère notamment d’utiliser le manuel de Kenneth H. Rosen « Discrete mathematics
and its applications » Seventh Edition 2012 ; ainsi que le site www.mhhe.com/rosen où plusieurs
exercices d’application sont disponibles ainsi que des exercices interactifs ;
Par ailleurs, l’apprentissage est un processus personnel, je vous encourage notamment à vous inscrire
au cours de « introduction to logic » https://www.coursera.org/learn/logic-introduction disponible
Publicité
sur le site coursera https://www.coursera.org/course/intrologic
A.U 2019-20