UE Logique et programmation logique
Licence InformatiqueParcours Informatique

ComposanteUFR de mathématique et d'informatique

Credits5 crédits

Catalogue2024-2025

Actualités

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

« 11 femmes, 11 amphithéâtres » : une pierre à l’édifice en faveur de l’égalité réelle | par Elsa Collobert

Élections universitaires 2025 : votez en ligne du 4 au 6 février !

Du 4 au 6 février 2025, les élections des représentants des étudiants et du personnel aux conseils centraux de l’université auront lieu. Cette année,…

Lauréate du Prix Fermat Junior 2024 : Julie Philippe, étudiante en M1 Magistère

Julie Philippe, étudiante en M1 Magistère, vient d’être récompensée par le 1er accessit du Prix Fermat Junior 2024 pour son article “Géométrie…

Girls Can Code! : Un stage pour initier les lycéennes au numérique à Strasbourg

Les 23 et 24 novembre 2024, l’UFR de mathématique et d’informatique de Strasbourg a accueilli un stage Girls Can Code!, une initiative visant à…

Journée des 40 ans du DUAS

Cette journée a pu réunir au Palais Universitaire à la fois ; des enseignants actuels et anciens, des membres de l'Institut des Actuaires, des membres…

Cérémonie de remise des diplômes du Master Actuariat et du DUAS

Cette année la remise des diplômes du Master Actuariat et du DUAS (DIPLÔME DES ACTUAIRES DE STRASBOURG), s'est déroulée en présence de Michel DENEKEN…

Charlotte Tonnelier, doctorante de mathématiques en interaction, ancienne étudiante du Magistère de Mathématiques de Strasbourg, décroche l’une des deux bourses doctorales du PEPR Maths-Vives

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

UE Logique et programmation logique

UE Logique et programmation logique Licence InformatiqueParcours Informatique

UE Logique et programmation logique
Licence InformatiqueParcours Informatique