Logique et Preuve
Informations
Langue d'enseignement : Français
Crédits ECTS: 6
Programme
- Heures d'enseignement dispensées à l'étudiant : 48 heures
- Temps de travail personnel : 102 heures
Objectifs et compétences
Objectifs :
L'objectif principal portera sur l'acquisition de connaissances liées à la logique et au raisonnement.
L'étudiant devra mettre en oeuvre des compétences de compréhension et de raisonnement en logique du premier ordre, des capacités à lire, comprendre et écrire un énoncé, à la fois en français et mathématiquement.
Cet enseignement abordera les notions de logique propositionnelle et du premier ordre utilisées dans les raisonnements. Il présentera le vocabulaire de la théorie des ensembles. Les relations et fonctions partielles, les relations d'ordre et d'équivalence ainsi que le raisonnement inductif sur des structures discrètes (e.g., les entiers, les mots, les arbres et les graphes) seront présentées.
Organisation pédagogique
le mode de fonctionnement de l'UE est présenté au début des enseignements
Contrôle des connaissances
La première session est constituée
> d'une note de contrôle continu (coef. 0.5)
> d'une note d'examen écrit terminal (1h30) (coef. 0.5)
pour l'obtention d'une note = 0.5*Examen écrit terminal + 0.5*Contrôle continu
La seconde session est constituée
> du report de la note de session 1 de contrôle continu
> d'une note d'examen écrit terminal (1h30)
pour l'obtention d'une note finale = 0.5*Examen écrit terminal + 0.5*max(Contrôle continu, Examen écrit terminal)
En seconde session, si l'effectif est faible un oral pourra être proposé.
Lectures recommandées
l'ensemble des références bibliographiques est communiqué au début des enseignements
Responsable de l'unité d'enseignement
Philippe Duchon
Enseignants
la composition de l'ensemble de l'équipe pédagogique est communiquée au début des enseignements