UE Logique et programmation logique
Licence InformatiqueParcours Informatique

ComposanteUFR de mathématique et d'informatique

Credits5 crédits

Catalogue2026-2027

Composante	UFR de mathématique et d'informatique
ECTS	5
Ouvert aux étudiants d'autres disciplines
Ouvert aux étudiants en échange	ECTS suggérés
Code Apogée	MI1QCUAD

News

Motion du conseil de composante concernant les droits différenciés

Le conseil de l'UFR de mathématique et d'informatique réuni ce vendredi 26 juin 2026, a adopté à l'unanimité moins 4 abstentions et 1 contre la motion…

L’UFR de math-info et après ? - D’un parcours international à la gestion de projet informatique

Après un parcours universitaire en mathématiques et informatique en Algérie, complété par un master en ingénierie logicielle et traitement de…

L’UFR de math-info et après ? - De la biologie à la coordination IT

Après une première formation en biologie, puis en communication, cette ancienne étudiante s’est orientée vers l’informatique à la faveur de rencontres…

Un forum entreprises étudiants réussi : plus de 150 étudiants présents et 150 rendez-vous réalisés

Le Forum Entreprises du 09 avril 2026 - Étudiants a rencontré un franc succès cette année.

Tutorat L1 informatique - avril et mai

Séances des semaines à venir

Message de la Section disciplinaire compétente pour les usagers

La section disciplinaire compétente pour les usagers de l’Université de Strasbourg est confrontée à une augmentation importante des affaires de…

Accessit du Prix Fermat Junior 2025

Ludwig WOLLMANN, étudiant en M1 Magistère, a obtenu le 1er accessit du Prix Fermat Junior 2025 pour son travail "Etude d’une convergence en loi dans…

Parcours CMI IIRVIJ : témoignages d'alumni

C'est avec une profonde tristesse que nous annonçons le décès du professeur Jerzy Korczak

Traduction du texte en polonais de l'Université de Wroclaw Le professeur Jerzy Korczak (1944-2026) a obtenu sa maîtrise en 1970 à l'Université…

Hommage à Jean Françon décédé le 19 novembre 2025 à l’âge de 88 ans

Jean Françon a accompli un cursus complet d’étudiant en mathématique et physique à l’Université de Strasbourg. Recruté au laboratoire de physique…

Semaine NSI : découvrir l’informatique… sans ordinateurs !

Dans le cadre de la Semaine Nationale des Sciences Informatiques (NSI), notre établissement a le plaisir d’accueillir des élèves de lycée pour une…

Elections au Conseil de l'UFR

Proclamation des résultats

Elections aux comités d'experts scientifiques

Proclamation des résultats

Retour sur le Gala des 10 ans des Cursus Master en Ingénierie

Le 24 avril 2025, l'UFR de Mathématique et d’Informatique et la Faculté de Physique et Ingénierie de l'Université de Strasbourg ont eu le plaisir…

Figure de proue de l'informatique graphique, Marie-Paule Cani captive 450 élèves de lycée

Jeudi 6 mars, Marie-Paule Cani, professeure d’informatique à l’École Polytechnique, a tenu une conférence sur la modélisation expressive en 3D devant…

Hello Handicap 2025

Vous êtes en situation de handicap et vous cherchez un emploi ? L'événement en ligne Hello Handicap aura lieu du 22 au 25 avril 2025

UE Logique et programmation logique

UE Logique et programmation logique Licence InformatiqueParcours Informatique

UE Logique et programmation logique
Licence InformatiqueParcours Informatique