L'unité d'enseignement MAT29
« Logique pour les Sciences Humaines »
2011/2012

Objectifs : Ce cours constitue une introduction à la logique mathématique: on y formalise les notions d'énoncé, de validité et de démonstration, en s'appuyant sur de nombreux exemples. Cette construction sert deux objectifs: d'abord clarifier le statut de la démonstration en mathématiques, c'est-à-dire renforcer la capacité de l'étudiant à construire des preuves correctes, et détecter et expliquer les erreurs de raisonnement; ensuite introduire suffisamment de concepts et d'outils pour être capable d'énoncer et de comprendre les deux théorèmes fondamentaux de Gödel (complétude et incomplétude).

Têtes de chapitres :

• Calcul propositionnel
• Calcul des prédicats

Responsable : Myriam QUATRINI (04 91 26 96 36, myriam.quatrini@univmed.fr)

Site WEB : http://iml.univ-mrs.fr/~vaux/ens/logique-sh/

Modalités de contrôle des connaissances : La moyenne entre une note de contrôle continu (TER et interros) et une note de contrôle final (examen de 2h).

Dernière modification : 2011-09-06 02:40

Site des Licences de l'U.F.R. Sciences de Luminy --- 2011/2012 --- version 1.97