Informatique

Plongez dans le monde fascinant de l'informatique au travers des différents chapitres de ce livre en ligne.

Chapitres

Chapitre 1

Logique propositionnelle

Découvrez la logique propositionnelle et apprenez à raisonner de façon formelle !

Table des matières

• 1.0. Introduction
• 1.1. Propositions
• 1.2. Connecteurs
• 1.3. Interprétations et calcul
• 1.4. Satisfiabilité et validité
• 1.5. Tables de vérité
• 1.6. Équivalences
• 1.7. Des tables aux propositions
• 1.8. La déduction naturelle
• 1.9. Conclusion

Ouvrir le chapitre

Chapitre 2

Architecture des ordinateurs

Embarquez pour un voyage extraordinaire du transitor à l'ordinateur !

Table des matières

• 2.0. Introduction
• 2.1. Systèmes
• 2.2. Circuits
• 2.3. Portes logiques
• 2.4. Multiplexeurs
• 2.5. Le système binaire
• 2.6. Additionneurs
• 2.7. Le complément à deux
• 2.8. Unité arithmétique et logique
• 2.9. Mémoires
• 2.10. L'ordinateur
• 2.11. Conclusion

Ouvrir le chapitre

Chapitre 3

Représentation de l'information

Découvrez comment représenter nombres, symboles, couleurs et images avec uniquement des 0 et des 1.

Table des matières

• 3.0. Introduction
• 3.1. Codes et mots de code
• 3.2. Représentation des entiers
• 3.3. Représentation des caractères
• 3.4. Fichiers
• 3.5. Représentation des couleurs
• 3.6. Représentation des images
• 3.7. Compression
• 3.8. Conclusion

Ouvrir le chapitre

Chapitre 4

Programmation avec Python

Apprenez à écrire vos propres programmes avec le langage Python !

Table des matières

• 4.0. Introduction
• 4.1. Calculer avec Python
• 4.2. Types et opérations de base
• 4.3. Variables
• 4.4. Instructions conditionnelles
• 4.5. Boucles
• 4.6. Fonctions
• 4.7. Séquences
• 4.8. Modules
• 4.9. Conclusion

Ouvrir le chapitre

Chapitre 5

Algorithmique 🚧

Table des matières

• 5.0. Introduction 🚧
• 5.1. Réductions 🚧
• 5.2. Tri et recherche 🚧
• 5.3. Récursivité 🚧
• 5.4. Arbres 🚧
• 5.5. Graphes 🚧
• 5.6. Plus court chemin 🚧
• 5.7. Voyageur de commerce 🚧
• 5.8. Réseaux de flots 🚧

Ouvrir le chapitre

Chapitre 6

Apprentissage automatique 🚧

Table des matières

• 6.0. Introduction 🚧
• 6.1. Régression linéaire 🚧
• 6.2. Réseaux de neurones 🚧
• 6.3. Types d'apprentissage 🚧
• 6.4. Intelligences artificielles génératives 🚧
• 6.5. Risques et dangers 🚧

Ouvrir le chapitre

Chapitre 7

Réseaux 🚧

Table des matières

• 7.0. Introduction 🚧
• 7.1. Terminologie 🚧
• 7.2. Histoire d'Internet et du Web 🚧
• 7.3. Anatomie d'Internet 🚧
• 7.4. Routage 🚧
• 7.5. Le Web 🚧
• 7.6. Sécurité 🚧

Ouvrir le chapitre

Outils

Vous trouverez ci-dessous des liens vers les différents outils interactifs utilisés dans le cadre des différents chapitres de ce livre, dans une version autonome.

Tables de vérité

Solveur SAT

Tables de Karnaugh

• Deux variables
• Trois variables (3D)
• Quatre variables (3D)

Assistant de preuve

Éditeur de circuits

Sélecteur de couleur

Éditeur d'images BMP

• Dimensions 4x4
• Dimensions 8x8
• Dimensions 8x8 (palette)

Algorithme de Huffman

Éditeur Python

À propos

Ce livre a pour vocation de servir de support de cours pour l'enseignement de l'informatique à des élèves de l'école secondaire. Le cours couvre le programme de la discipline obligatoire Informatique de l'École de Maturité du canton de Vaud en Suisse.

Le site est actuellement en construction. Dernière modification le 12.12.2024.