Logique, L2 informatique

Université de Strasbourg

Documents

• Mise en forme de formules
• Prolog

2007-2008

TDs

• feuille 1
• feuille 2
• feuille 3
• feuille 4
• feuille 5
• feuille 6
• feuille 7
• feuille 8
• feuille 9

Contrôles

• Contrôle continu — Corrigé
• Contrôle terminal de janvier — Corrigé
• Contrôle terminal de septembre

2008-2009

TDs

• feuille 1
• feuille 2
• feuille 3
• feuille 4
• feuille 5
• feuille 6
• feuille 7
• feuille 8

TP

• feuille 1

Contrôles

• Contrôle continu
• Contrôle terminal de janvier
• Contrôle terminal de juin — Corrigé

2009-2010

Contrôles

• Contrôle continu de novembre
• Contrôle terminal de janvier
• Contrôle terminal de mai — Corrigé

2010-2011

Contrôles

• Contrôle continu de novembre
• Contrôle terminal de janvier — Corrigé
• Contrôle continu de mars
• Contrôle terminal de mai

2011-2012

Contrôles

• Contrôle terminal de décembre — Corrigé
• Contrôle continu de printemps
• Contrôle terminal de mai

2012-2013

Contrôles

• Contrôle continu de printemps
• Contrôle terminal de mai

2013-2014

Contrôles

• Contrôle continu de mai
• Contrôle continu convoqué de mai

2014-2015

Contrôles

• Contrôle continu convoqué du 3 décembre 2014
• Contrôle continu convoqué du 15 mai 2015 — Corrigé partiel

2015-2016

Contrôles

• Contrôle continu de novembre 2015
• Contrôle continu convoqué du 15 décembre 2015
• Contrôle continu du 15 mars 2016
• Contrôle continu convoqué du 13 mai 2016

2016-2017

Contrôles

• Contrôle continu convoqué du 13 décembre 2016
• Contrôle continu convoqué du 12 mai 2017 — Corrigé partiel

2017-2018

Contrôles

• Contrôle continu convoqué du 18 mai 2018

2018-2019

Contrôles

• Contrôle continu du 28 novembre 2018
• Contrôle continu convoqué du 19 décembre 2018 Corrigé (TXT/Unicode)
• Contrôle continu convoqué du 16 mai 2019

2019-2020

Contrôles

• Contrôle continu convoqué du 20 décembre 2019 — Corrigé partiel

Retour à la page de Christian Ronse / Back to my page