Logique
log

La plupart des informations sont accessibles ICI

- 1. Calcul propositionnel, calcul des prédicats, théorème de Herbrand notes de cours et exercices
- 2. Calculabilité notes de cours et exercices corrigés
- 3. Preuves et calcul transparents

Localisation


modifier cet emploi du temps   Cours : AMPHI HERPIN  le lundi de 27h 0 à 27h 1,
par Irène GUESSARIAN-Mathieu JAUME.

Tableau des travaux dirigés et travaux sur machine
Groupes Intervenant Salle Jour Horaire
1 Alessandra Carbone

Irène GUESSARIAN-Mathieu JAUME
modifier cet emploi du temps TD : salle 320-Bât 41 lundi11h 0-11h 1
modifier cet emploi du temps TM : salle 304-Bât 31 lundi02h 1-02h 1
2 Pascal MANOURY, Irène GUESSARIAN Et Mathieu JAUME

Irène GUESSARIAN-Mathieu JAUME
modifier cet emploi du temps TD : salle 320-Bât 41 mardi23h 1-23h 1
modifier cet emploi du temps TM : salle 308-Bât 31 mardi05h 1-05h 1

Calendrier

aujourd'hui : <<<>>>  décembre 2005  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche