UE Logique et programmation logique
Licence InformatiqueParcours Informatique

ComposanteUFR de mathématique et d'informatique

Credits5 crédits

Actualités

Le bâtiment de l'UFR Math-Info inauguré après 3 ans de travaux

Plan des salles d'enseignements

Plan des salles d'enseignements (septembre 2024)

Tu es nouveau arrivant en L1 Math-Info, MPA ou CMI ?

Tu souhaites rencontrer de nouvelles personnes ? Tu te poses des questions sur tes études et la fac ?

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

Le Forum Actuariat

Le Forum Actuariat du 08 novembre 2024, qui s'est déroulé au PALAIS Universitaire à Strasbourg, a accueilli cette année, un plus grand nombre…

Inauguration du bâtiment & Vernissage des Journées de l’Architecture

L'UFR de Mathématique et d'Informatique de l’Université de Strasbourg a eu le plaisir d’organiser, ce vendredi 4 octobre 2024, l’inauguration de son…

Fin des travaux à l'UFR de Mathématique et d'Informatique

Appel à témoignages d'ancien(ne)s diplômé(e)s

Vous êtes diplômé(e) de l'UFR de Mathématique et d'Informatique ?

Retour du Hackathon !

7ème édition

Stage - Apprentissage - Emploi | Webinaires organisés par Espace Avenir

Soyez prêt à décrocher votre futur stage, apprentissage ou emploi à l'aide des différents webinaires proposés par Espace Avenir

Nouvelle posture Vigipirate Hiver-Printemps 2024 « sécurité renforcée – risque attentat »

La nouvelle posture Vigipirate « Hiver-Printemps 2024 » est active depuis le 15 janvier 2024 et réévalue au niveau « sécurité renforcée – risque…

Travaux de rénovation énergétique UFR Math-Info

Agenda

Atelier « Créer son propre petit carnet »

Atelier créatif proposé par l’UFR de mathématique et d’informatique, sous la direction de Myriam Pepino.

17 janvier 2025

12h30 14h

12h30 13h30

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