logo Insalogo Insa

Math Algo

Objectifs

A la fin de ce module, l¿étudiant devra avoir compris et pourra expliquer (principaux concepts) :
La notion d'algorithme et la notion de typage.
La logique et les principales méthodes de raisonnement.
La notion d¿ensemble et les opérations sur les ensembles.
Les relations d¿ordre et les applications

L¿étudiant devra être capable de :
Construire rigoureusement des preuves mathématiques.
Manipuler des objets abstraits.

Pré-requis

Bon sens et rigueur.

Evaluation

L'évaluation des acquis d'apprentissage est réalisée en continu tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs...

Bibliographie

Algorithmes, Programmation.