Calculabilité

Aix-Marseille Université, L3 Informatique 2019–2020, Luminy

• Responsable de l’unité d’enseignement : Antonio E. Porreca
• Chargés de TD : Antonio E. Porreca (Groupe 1), Matthieu Rosenfeld (Groupe 2)

Cette UE est basée sur le matériel produit pour l’édition 2018–2019 par Kévin Perrot et Eloi Perdereau

News ⚠️

• 13 mai 2020 : J’ai publié une video sur les machines de Turing universelles et la thèse de Church-Turing ; les diapositives sont aussi disponibles
• 11 mai 2020 : J’ai publié des notes de révision sur les machines de Turing universelles, avec une ouverture sur la thèse de Church-Turing
• 4 mai 2020 : J’ai publié sur AMeTICE les modalité d’évaluation de l’UE, qui se deroulera en ligne le 19 mai de 10h00 à 12h00
• 31 mars 2020 : J’ai publié une vidéo avec les solutions des exercices du TD5 ; les diapositives sont aussi disponibles
• 20 mars 2020 : J’ai publié la feuille du TD5, qui consiste en le sujet d’examen de la session 1 de l’UE 2018–2019
• ⚠️ 20 mars 2020 : J’ai ouvert une page sur AMeTICE pour cette UE, où vous trouverez un forum pour discuter entre vous et poser des questions aux enseignants ; je continuerai en tout cas à mettre à jour cette page aussi et à répondre aux emails
• 10 mars 2020 : J’ai publié le sujet du contrôle continu 2019–2020
• 9 mars 2020 : J’ai publié la feuille du TD4
• 18 février 2020 : Les notes du CM4 sont les mêmes que la semaine dernière
• 11 février 2020 : J’ai publié les notes du CM3 et la feuille du TD3
• 4 février 2020 : La séance de contrôle continu aura lieu le jour mardi 3 mars (voir emploi du temps)
• 4 février 2020 : J’ai publié la feuille de contrôle continu de l’année dernière
• 30 janvier 2020 : J’ai publié les notes du CM2 et la feuille du TD2
• 14 janvier 2020 : J’ai publié les notes du CM1 et la feuille du TD1
• 13 janvier 2020 : J’ai publié le lien au simulateur de machine de Turing

Cours magistraux

• CM1 (14 janvier 2020) : Machines de Turing [notes]
• CM2 (28 janvier 2020) : Les limites du calcul [notes]
• CM3 (11 février 2020) : Réductions [notes]
• CM4 (18 février 2020) : Theorème de Rice [notes]
• CM5 (11 mai 2020) : Machines de Turing universelles [vidéo, diapositives, notes]

Travaux dirigés

• TD1 (14 janvier 2020) : Machines de Turing [feuille]
• TD2 (28 janvier 2020) : Machines de Turing et limites du calcul [feuille]
• TD3 (11 février 2020) : Réductions [feuille]
• TD4 (3 mars 2020) : Théorème de Rice [feuille]
• TD 5 (20 mars 2020) : Examen session 1 2018–2019 [feuille, vidéo, diapositives]

Examens

• Contrôle continu 2018–2019 [feuille]
• Contrôle continu 2019–2020 [feuille]
• Examen session 1 2018–2019 [feuille]

Matériel

• Un simulateur pour expérimenter avec les machines de Turing