UE Logique et programmation logique
Licence InformatiqueParcours Informatique

ComposanteUFR de mathématique et d'informatique

Credits5 crédits

Actualités

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 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 ?

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…

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

Rénovation énergétique du bâtiment de l'UFR de mathématique et d'informatique

Inscrit dans le cadre de l’Opération Campus, le projet consiste en la rénovation énergétique du bâtiment de l'UFR de mathématique et d'informatique,…

Agenda

Visite commentée de l’atelier de reliure

Dans le cadre de "L'Université relie notre monde"- Strasbourg, Capitale Mondiale du Livre venez découvrir des ateliers créatifs, visites commentées,…

22 novembre 2024

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