Cours 2020-2021

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

  • 3 crédits
  • 30h+30h
  • 1er quadrimestre
Langue d'enseignement: Français
Enseignant: Remiche Marie-Ange

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, et au calcul booléen,
  • de maîtriser les procédures d'utilisation des fonctions de codage,
  • de travailler numériquement dans différentes bases, avec les entiers et les réels.

 

Contenu

Ce cours contient les concepts propres

  • à la logique du premier ordre,
  • à la théorie des ensembles et des relations,
  • au calcul booléen
  • aux fonctions de codage, et en particulier le codage linéaire systématique
  • à la représentation des nombres entiers et réels.

 


Méthodes d'enseignement

Les modalités d'enseignement et d'évaluation des unités d'enseignement ont été rédigées en fonction de la situation à la rentrée académique 2020-2021. Cependant, ces modalités pourraient faire l'objet de modifications en fonction de l'évolution de la crise sanitaire liée à la covid-19. Les étudiants seront informés de toute modification de la situation générale (passage à l'enseignement à distance partiel ou complet) par les autorités de l'UNamur tandis que les modifications propres à chaque unité d'enseignement leur seront communiquées par les enseignants, via webcampus

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

Mode d'évaluation

Les modalités d'enseignement et d'évaluation des unités d'enseignement ont été rédigées en fonction de la situation à la rentrée académique 2020-2021. Cependant, ces modalités pourraient faire l'objet de modifications en fonction de l'évolution de la crise sanitaire liée à la covid-19. Les étudiants seront informés de toute modification de la situation générale (passage à l'enseignement à distance partiel ou complet) par les autorités de l'UNamur tandis que les modifications propres à chaque unité d'enseignement leur seront communiquées par les enseignants, via webcampus

Examen écrit de 3h composés d'exercices.

Le formalisme et le raisonnement  suivi par l'étudiant pour obtenir sa solution sont des points importants dans l'évaluation. 

 

Sources, références et supports éventuels

De nombreux ouvrages sur le sujet existent. Citons par exemple - M. Marchand. Outils mathématiques pour l'informaticien. Deuxième édition. de Boeck, 2005, - J. Vélu. Méthodes mathématiques pour l'informatique. Quatrième édition Dunod, 2005.

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

Cycle

Etudes de 1er cycle