Tarjetas de memoria: Introduction aux automates et calculabilité — 12 tarjetas

Automate — composition ?

États et transitions

Modèle mathématique — rôle ?

Représentation abstraite d’un ordinateur

Machine de Turing — limite ?

Impossibilité de tester l'arrêt automatique

Rigueur en informatique — importance ?

Garantir la correction et éviter erreurs

Abstraction — but ?

Faciliter la conception et la gestion de la complexité

Objectifs pédagogiques — focus ?

Modèles simples et raisonnement rigoureux

Organisation du cours — modalités ?

12 séances, supports sur elearning et Discord

Automates vs Turing — différence ?

Puissance et capacité de résolution

Calculabilité — limite ?

Définie par la machine de Turing

Rôle de l’abstraction — en conception ?

Raisonner à un niveau élevé, principes fondamentaux

Importance de la rigueur — en programmation ?

Prouver correction, éviter erreurs

Modalités d’évaluation — comment ?

Partiel à mi-parcours et examen final