Aller au contenu
Aller au menu principal
Aller au menu principal
Aller au menu des accès directs
Aller au menu des accès directs
Aller au menu des langues
Aller au moteur de recherche
UFR
de
mathématique
et d'
informatique
Université de Strasbourg
UFR de mathématique et d'informatique
Accueil
UFR
Présentation
Vie de l'UFR
Organigramme
Annuaire
Atelier de reliure et de restauration
Invités / intervenants extérieurs
Intranet
Formations
Licence
Informatique
Informatique
Computer Sciences (UFAZ) (délocalisé en Azerbaïdjan)
Mathématiques
Sciences pour la santé
Double licence Mathématiques - Économie
Cursus master ingénierie
Licence professionnelle
Master
Diplôme d'université
Préparation aux concours
MPA - Magistère
Diplôme d'université d'actuariat de Strasbourg
Offre de formation 2025-2026
Admission
Lycéen
Conditions d'admission et procédures de candidature
Inscription et rentrée
Vie étudiante
Scolarité
Calendriers universitaires
Tutorat
Informations réglementaires
Planning d'examens - Master de math
Planning examens - DU MARI
Langues
Mission handicap
Aménagement d'étude
Egalité - parité - diversité
Bourses
Diplômes
Annulation, exonération, remboursement des frais d'inscription
Stages / emplois
Bibliothèques
Associations étudiantes
Recherche
Les laboratoires de recherche
Institut de recherche sur l'enseignement des mathématiques
International
Mobilité Internationale sortante (Europe - Hors Europe)
Entreprises
Alternance
Stages
Taxe d'apprentissage / Donation
Accès directs
Ernest
Messagerie
Contacts & accès
Lettre d'information
Actualités
Agenda
Focus
Publications
Intranet
UFR
de
mathématique
et d'
informatique
Université de Strasbourg
Admissions
Afficher / masquer le menu
UFR de mathématique et d'informatique
Accueil
UFR
Présentation
Vie de l'UFR
Organigramme
Annuaire
Atelier de reliure et de restauration
Invités / intervenants extérieurs
Intranet
Formations
Licence
Cursus master ingénierie
Licence professionnelle
Master
Diplôme d'université
Préparation aux concours
MPA - Magistère
Diplôme d'université d'actuariat de Strasbourg
Offre de formation 2025-2026
Admission
Lycéen
Conditions d'admission et procédures de candidature
Inscription et rentrée
Vie étudiante
Scolarité
Calendriers universitaires
Tutorat
Informations réglementaires
Planning d'examens - Master de math
Planning examens - DU MARI
Langues
Mission handicap
Aménagement d'étude
Egalité - parité - diversité
Bourses
Diplômes
Annulation, exonération, remboursement des frais d'inscription
Stages / emplois
Bibliothèques
Associations étudiantes
Recherche
Les laboratoires de recherche
Institut de recherche sur l'enseignement des mathématiques
International
Mobilité Internationale sortante (Europe - Hors Europe)
Entreprises
Alternance
Stages
Taxe d'apprentissage / Donation
Moteur de recherche
Rechercher sur le site
Rechercher
Accès directs
Ernest
Messagerie
Contacts & accès
Lettre d'information
Actualités
Agenda
Focus
Publications
Intranet
Admissions
FR
EN
UFR
de
mathématique
et d'
informatique
Vous êtes ici :
UFR de mathématique et d'informatique
Formations
Licence
Informatique
Parcours
Informatique
UE Logique et programmation logique
UE Logique et programmation logique
Licence Informatique
Parcours
Informatique
Composante
UFR de mathématique et d'informatique
Credits
5 crédits
Partager
Partager sur
Facebook
Partager sur
Bluesky
Partager sur
LinkedIn
Flux RSS
Flux RSS global
Flux RSS des actualités uniquement
Flux RSS de l'agenda uniquement
Flux RSS des focus uniquement
Flux RSS des publications uniquement