Mathématiques pour l'informatique 1

Durée

26h Th, 26h Pr

Nombre de crédits

Enseignant

Emilie Charlier, N...

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

Langue française

Organisation et évaluation

Enseignement au deuxième quadrimestre

Horaire

Horaire en ligne

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

Nous couvrirons les thèmes suivants. - Logique propositionnelle et techniques de démonstrations associées.
- Démonstration par récurrence.
- Théorie naïve des ensembles et ensembles dénombrables.
- Arithmétique : numération en base entière, PGCD, arithmétique modulaire.
- Calcul matriciel et systèmes linéaires.

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

Il s'agit de donner au futur informaticien une palette d'outils mathématiques utiles à sa discipline. Tout en assurant la rigueur propre aux mathématiques de chacun des sujets présentés, nous souhaitons maintenir une interaction constante entre problèmes concrets et leur formalisation.

Savoirs et compétences prérequis

Le cours "MATH2007-1 Mathématique" est un prérequis, et en particulier son chapitre sur les nombres complexes.

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

Le cours se donne avec craie et tableau. Des exercices font partie intégrante du cours et interagissent avec la partie théorique : ils servent autant à illustrer la théorie que cette dernière sert à les résoudre.

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

Il s'agit d'un enseignement en présentiel, avec tableau et craies.

Lectures recommandées ou obligatoires et notes de cours

Un syllabus en construction est disponible sur la page http://www.discmath.ulg.ac.be/charlier/enseignement.html. Le cours oral lui-même délimitera la matière vue et à préparer pour l'examen. L'étudiant pourra également consulter le syllabus de G. Hansoul "Mathématiques pour l'informatique".

Modalités d'évaluation et critères

En juin, session proprement dite consistant en un écrit comportant théorie et exercices. En septembre, pour ceux qui ne sont pas dispensés, les modalités d'évaluation sont exactement les mêmes qu'en juin.

Stage(s)

Aucun.

Remarques organisationnelles

Le cours se donne au second quadrimestre, le lundi matin de 8h à 12h au 02 de l'Institut de Mathématique (B37). Plus d'informations sont disponibles sur la page http://www.discmath.ulg.ac.be/charlier/enseignement.html.

Contacts

Émilie CHARLIER (titulaire)
Institut de Mathématique - Bât. B37 Bureau 1/22 Allée de la Découverte, 12 - 4000 Liège Belgique (Sart Tilman)
Tél. : 04/366.93.84 Fax : 04/366.95.47 E-mail : echarlier@uliege.be
Julien RASKIN (assistant) Tél. : 04/366.94.32 E-mail : J.Raskin@uliege.be