Mathématiques pour l'informatique

ECTS

6.0

Nombre d'heures

50.0

Niveau d'étude

Bac +3

Période de l'année

Semestre 5

Présentation

Bases mathématiques utiles en informatique, en particulier en logique et en théorie des graphes.

Objectifs

Pour les graphes, introduction du vocabulaire des graphes et étude d'algorithmes de base : parcours d'un graphe, recherche de chemins, problèmes de minimisation. Syntaxe du calcul propositionnel et manipulation des formules logiques : mise en forme normale et satisfaction d'une formule (SAT).

Pour la logique, expression d'assertions sous forme de proposition logique, simplification et construction de tables de vérité d'une proposition logique et manipulation des quantificateurs.

Conditions d'admission

Bases de la programmation et de l'algorithmique.

Compétences visées

Pour les graphes, savoir modéliser un problème simple à l'aide de graphes et programmer une méthode de résolution.

Pour la logique, savoir exprimer une assertion sous forme de proposition logique, savoir simplifier et construire la table de vérité d'une proposition logique et savoir manipuler les quantificateurs.

Diplômes intégrant cette UE

Méthode d'enseignement En présence

Composante

Lieu(x)

  • Futuroscope
Logo

Nous contacter

15, rue de l'Hôtel Dieu
TSA 71117
86073 POITIERS Cedex 9 - France
Tél : (33) (0)5 49 45 30 00
Fax: (33) (0)5 49 45 30 50

Réseaux sociaux