QCM de NSI
← Retour à la liste
Langages et programmation

Calculabilité et décidabilité

Exports : Diaporama Beamer Celestia .tex Source LaTeX prête à projeter en classe, à compiler avec Celestia. Sujet AMC .tex Source LaTeX autonome utilisant la classe automultiplechoice. Format Moodle .xml XML Moodle (formules en LaTeX), accepté par Moodle et la plupart des plateformes hors Pronote. Format Pronote .xml XML compatible Pronote (les formules LaTeX complexes sont à saisir manuellement via l'éditeur d'équations). Format JSON .json Format pivot du projet, neutre, exploitable depuis n'importe quel outil.

Notion de programme en tant que donnée, calculabilité, décidabilité, indépendance de la calculabilité vis-à-vis du langage de programmation, problème de l'arrêt et son indécidabilité (présentés sans formalisme théorique).