L3 Info Saint-Charles - Logique et calculabilité - AMU

• Avec Luigi Santocanale.
• Logique : Lien vers les supports de logique sur la page de Luigi.
• Cours : Calculabilité.
• Calculabilite-TD01 : Programmer avec des machines de Turing.
• Calculabilite-TD02 : Réductions.