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

- Non défini -

Enseignants

la composition de l'ensemble de l'équipe pédagogique est communiquée au début des enseignements