86 lines
2.7 KiB
Markdown
86 lines
2.7 KiB
Markdown
# Planning 2025
|
|
|
|
### Science du calcul et des données.
|
|
|
|
* lundi 15/9. Architecture : mémoire, processus etc.
|
|
* lundi 29/9. Modèle de calcul des automates finis.
|
|
* lundi 6/10. Machine virtuelle à pile (MVàP).
|
|
* lundi 13/10. Fin MVàP + révisions
|
|
|
|
à planifier un examen sur table.
|
|
|
|
Ce cours est un peu réduit par rapport aux autres années (moins de séances).
|
|
Pas de détails sur le codage des fichiers dont le texte (ASCII, UTF-8), ni sur le système des fichiers (arborescence, comment c'est codé etc), ni sur les commandes unix.
|
|
|
|
### Anglais
|
|
|
|
L'objectif est de travailler en anglais (écouter, écrire, discuter) autour de sujets en lien avec l'informatique, soit historique, soit plus récents et en lien avec le droit.
|
|
|
|
* lundi 17/11. Présentation de page du manuel unix en anglais.
|
|
Discussion d'articles de Alan Turing.
|
|
Présentation de ressources en anglais pour continuer la suite du cours sous la forme d'un séminaire participatif.
|
|
* lundi 8/12. à organiser selon choix sujets étudiants
|
|
* lundi 15/12. à organiser selon choix sujets étudiants
|
|
|
|
évaluation en cours: participation + présentation en petit groupes.
|
|
|
|
'''
|
|
|
|
## Détails des séances.
|
|
|
|
|
|
### séance du lundi 15/9.
|
|
|
|
* Présentation de ce planning prévisionnel.
|
|
* Survol des premiers cours (1 à 3): codage, binaire, ascii, utf-8, rôle d'un système d'exploitation.
|
|
* Survol début cours architecture (cours 5): mémoire, processus, Circuit Booléen, ALU.
|
|
* Introduction aux automates, exercices (cours 4).
|
|
|
|
|
|
|
|
### séance du lundi 29/9.
|
|
|
|
Modèle de calcul des automates finis (la suite).
|
|
|
|
* Rappel du modèle des automates
|
|
* Exemple du langage de a suivi du même nombre de b
|
|
* Lemme de la pompe. Preuve par l'absurde que ce langage n'est pas reconnaissable par un automate
|
|
* résultat qui montre les limitations des automates
|
|
|
|
|
|
évocation d'autres résultats, plus faibles de séparation.
|
|
|
|
* Ptime = efficace (sans définition)
|
|
* NPTime = vérification efficace
|
|
* Conjecture que les deux sont différents.
|
|
|
|
Introduction du modèle de la machine de Turing
|
|
|
|
* Exemples
|
|
* évocation de l'universalité du modèle de Turing comme modèle de calcul (thèse de Church Turing).
|
|
|
|
Discussion rapide des limites du modèle de Turing
|
|
|
|
* Trop de problèmes par rapport aux nombres de machine de turing
|
|
* Idée de la machine universelle
|
|
* Problème de l'arrêt indécidable
|
|
|
|
Retour sur le calcul modulaire en base 2 avec un automate.
|
|
|
|
* Exemple pour tester si le reste vaut un en base deux dans la division par 3.
|
|
|
|
Introduction informelle de la Machine Virtuelle à Pile comme modèle simplifié d'assembleur.
|
|
|
|
|
|
|
|
|
|
### séance du lundi 6/10.
|
|
|
|
Machine virtuelle à pile (MVàP).
|
|
|
|
### séance du lundi 13/10.
|
|
|
|
Fin MVàP + révisions
|
|
|
|
|