Cours 2024-2025

Fondements mathématiques pour l'informatique (1re partie) - Fondements mathématiques pour l'informatique [INFOB125]

  • 5 crédits
  • 15h+15h
  • 1er quadrimestre
Langue d'enseignement: Français

Acquis d'apprentissage

A l'issue de l'enseignement, l'étudiant devra être capable

  • de manipuler le langage mathématique de manière formelle, afin de réaliser des modélisations, des déductions ou encore des démonstrations.
  • de maîtriser les propriétés énoncées au cours théorique, pour manipuler des expressions propres à la logique du premier ordre, à la théorie des ensembles et des relations.
     

Contenu

Ce cours contient les concepts propres

  •     à la logique du premier ordre,
  •     à la théorie des ensembles et des relations.

Méthodes d'enseignement

Cours théorique (15h), accompagné de séances d'exercices en petits groupes (15h)
 

Mode d'évaluation

L'examen a lieu en janvier. Si vous deviez présenter à nouveau cet examen, la seconde session aurait lieu en août de la même année académique. Il n'est donc pas possible de présenter à nouveau cet examen en juin. 
 

Examen écrit de 3h composés d'exercices et de démonstrations.Le formalisme et le raisonnement  suivi par l'étudiant pour obtenir sa solution sont des points importants dans l'évaluation.

L'évaluation écrite comporte deux parties: Une première partie déterminante : des questions qui portent à la fois sur des définitions et des énoncés de théorèmes, ainsi que sur des exercices calculatoires ou de courte réflexion. Cette partie est déterminante, c'est-à-dire que si l'étudiant obtient une note inférieure ou égale à 3/10 (ou 6/20, soit 30% des points de la question), il s'agira alors de la note finale (maximum 6/20) de l'évaluation. Une deuxième partie (plus importante) est constituée d'exercices semblables à ceux qui ont été traités en séances de travaux dirigés ou au cours, ainsi qu'à ceux qui sont proposés dans les notes de cours. Ces exercices constituent la partie la plus importante de l'examen. L'étudiant devra y faire preuve de sa compréhension des mécanismes mathématiques utilisés pour résoudre les exercices proposés. Le formalisme et le raisonnement  suivi par l'étudiant pour obtenir sa solution sont des points importants dans l'évaluation. 

Si l'examen se fait en ligne (à distance), une mise à jour de la méthode proposée pourra avoir lieu.

 

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté d'informatique
rue Grandgagnage 21
5000 NAMUR
T. 081725252
F. 081724967
secretariat.info@unamur.be