Logique et approche mathématique de la programmation

Durée

20h Th, 30h TD

Nombre de crédits

Enseignant

Samuel Nicolay

Langue(s) de l'unité d'enseignement

Langue française

Organisation et évaluation

Enseignement au premier quadrimestre, examen en janvier

Unités d'enseignement prérequises et corequises

Les unités prérequises ou corequises sont présentées au sein de chaque programme

Contenus de l'unité d'enseignement

L'informatique, vue comme un ensemble de sciences formelles, repose largement sur les mathématiques. Ainsi, la programmation est un domaine dans lequel la formation du mathématicien peut être utilisée à bon escient. Il s'agit d'une application importante, tant par l'expérience qu'elle apporte que par la formation qu'elle constitue. En effet, nombre de mathématiciens font carrière dans des métiers où la programmation est la principale activité.

Acquis d'apprentissage (objectifs d'apprentissage) de l'unité d'enseignement

L'objectif du cours est d'inculquer à l'étudiant les notions de base de la programmation en C, en mettant l'accent sur les apects logiques de ce langage.

Savoirs et compétences prérequis

Aucun pré-requis n'est nécessaire. Une habitude à l'abstraction et aux raisonnements mathématiques est un atout.

Activités d'apprentissage prévues et méthodes d'enseignement

Les travaux pratiques sont dirigés par les assistants. L'étudiant mettra en pratique les notions vues au cours en rédigeant des programmes en language C.

Mode d'enseignement (présentiel ; enseignement à distance)

Le cours se donne pendant le premier quadrimestre selon l'horaire officiel distribué aux étudiants au début de l'année académique.

Lectures recommandées ou obligatoires et notes de cours

Un syllabus reprenant les principaux thèmes abordés au cours est mis à disposition des étudiants.

Modalités d'évaluation et critères

L'examen consistera en :

• La rédaction d'un programme sur feuille,
• la rédaction d'un programme en langage C réalisant une tâche demandée dans l'énoncé.

Stage(s)

Remarques organisationnelles

Contacts

S. Nicolay
Analyse mathématique
Institut de Mathématique - Grande Traverse, 12 - Sart Tilman -Bât. B 37 - 4000 LIEGE 1
email: S.Nicolay@ulg.ac.be

Notes en ligne