Introduction à l'informatique · L1 · Section 7/7
Ressources
Progression
#Ressources — Introduction à l'informatique
Sélection de lectures, vidéos et outils pour prolonger le module. Chaque entrée indique ce qu'on y apprend et à quel chapitre elle se rattache.
#Cours et références en ligne
- How Computers Work (Khan Academy, en anglais, sous-titres FR disponibles) : parcours complet du bit au cloud; parfait compagnon des chapitres matériel et logiciel et représentation.
- Crash Course Computer Science (YouTube, 40 épisodes d'environ 10 minutes) : histoire des idées, de l'algèbre de Boole à l'IA; à consommer en parallèle du chapitre histoire.
- Tutoriel officiel Python (documentation en français) : pour reproduire et détourner les exemples du cours.
#Vidéos ciblées
- Recherchez « UTF-8 explained » ou « encodage UTF-8 » : les visualisations de l'encodage variable éclairent le chapitre représentation.
- Recherchez « floating point numbers » : pourquoi 0,1 + 0,2 ≠ 0,3, illustré bit par bit.
- Recherchez « Von Neumann architecture » : la boucle charger-décoder-exécuter animée.
#Outils à explorer
- Les visualisations intégrées au site : convertisseur de bases, hiérarchie mémoire, animations de tri.
- Les playgrounds Python intégrés : chaque exemple du module est exécutable et modifiable directement.
- Un éditeur hexadécimal (bless, Hex Fiend, ou
xxden ligne de commande) : ouvrez un fichier texte, cherchez les octets de « é », vérifiez le C3 A9 de vos propres yeux.
#Cours et TD de l'UE
Ce module s'appuie sur l'UE SPUF100 « Bases de l'informatique 1 » du semestre 1 de la Licence Informatique d'Université Côte d'Azur (campus Valrose). Le cours « Outils formels pour l'informatique » y suit un plan en neuf chapitres : ensembles, dénombrabilité et mots ; relations, fonctions et ordres ; dénombrement ; induction ; suites récurrentes (deux chapitres) ; calcul des propositions ; logique du premier ordre ; preuves et théorèmes — une dernière séance portant sur les langages formels. La bibliographie de référence citée par le cours comprend Arnold et Guessarian, Vélu, Marchand, Cormen et al., Aho et Ullman, ainsi que Wolper.
Les neuf feuilles de travaux dirigés suivent ce plan ; voici ce que chacune apporte :
| Feuille | Thème | Ce qu'elle fait travailler |
|---|---|---|
| TD 1 | Ensembles, dénombrement, mots | Cardinalité, parties, dénombrabilité, principe des tiroirs |
| TD 2 | Relations, fonctions, ordres | Propriétés des relations, fermeture transitive, diagrammes de Hasse, tri topologique |
| TD 3 | Induction | Récurrence simple et généralisée, correction d'algorithmes, ensembles définis inductivement |
| TD 4 | Dénombrement | Permutations, arrangements, combinaisons avec répétition, coefficients binomiaux |
| TD 5 | Récurrence | Récurrences complètes, non homogènes, d'ordre 2, coût du tri rapide |
| TD 6 | Suites récurrentes et séries génératrices | Résolution par séries formelles |
| TD 7 | Logique (partie 1) | Calcul des propositions, méthode de Quine, résolution |
| TD 8 | Calcul des prédicats | Quantificateurs, variables libres et liées, interprétations |
| TD 9 | Langages formels | Expressions régulières, fermeture de Kleene, langages rationnels |
Les exercices de TD 1 portant sur les ensembles, la cardinalité, la dénombrabilité et le codage sont corrigés en détail dans les annales corrigées.
#Méthode de travail conseillée
Ouvrez deux fenêtres : le cours d'un côté, un playground Python de l'autre. Exécutez chaque exemple, puis modifiez une seule chose à la fois (une valeur, un opérateur) et observez. C'est le moyen le plus rapide de transformer une lecture en compétence.