Numérique et sciences informatiques

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen
Publisher: ellipses
Year: 2019

Language: French
Pages: 508

Couverture
Page de titre
I Programmation
1 Récursivité
1.1 Problème: la somme des n premiers entiers
1.2 Formulations récursives
1.3 Programmer avec des fonctions récursives
Exercices
2 Modularité
2.1 Variations sur les ensembles
2.2 Modules, interfaces et encapsulation
2.3 Exceptions
Exercices
3 Programmation objet
3.1 Classes et attributs : structurer les données
3.2 Méthodes : manipuler les données
3.3 Retour sur l'encapsulation
3.4 Héritage
Exercices
4 Mise au point des programmes
4.1 Types
4.2 Tester un programme
4.3 Invariant de structure
Exercices
5 Programmation fonctionnelle
5.1 Fonctions passées en arguments
5.2 Fonctions renvoyées comme résultats
5.3 Structures de données immuables
Exercices
II Algorithmique
6 Listes chaînées
6.1 Structure de liste chaînée
6.2 Opérations sur les listes
6.3 Modification d'une liste
6.4 Encapsulation dans un objet
Exercices
7 Piles et files
7.1 Interface et utilisation d'une pile
7.2 Interface et utilisation d'une file
7.3 Réaliser une pile avec une liste chaînée
7.4 Réaliser une file avec une liste chaînée mutable
7.5 Réaliser une file avec deux piles
Exercices
8 Arbres binaires
8.1 Structures arborescentes
8.2 Définition et propriétés des arbres binaires
8.3 Représentation en Python
8.4 Algorithmique des arbres binaires
Exercices
9 Arbres binaires de recherche
9.1 Notion
9.2 Recherche dans un ABR
9.3 Ajout dans un ABR
9.4 Suppression dans un ABR
9.5 Encapsulation dans un objet
9.6 Arbre équilibré
Exercices
10 Autres structures arborescentes
10.1 Arborescence
10.2 Exemples de structures arborescentes
Exercices
11 Graphes
11.1 Définitions
11.2 Exemples de graphes
11.3 Représentation d'un graphe en Python
11.4 Exemple d'algorithme sur les graphes
Exercices
12 Parcours en profondeur et en largeur
12.1 Parcours en profondeur
12.2 Détecter la présence d'un cycle dans un graphe orienté
12.3 Parcours en largeur
Exercices
13 Diviser pour régner
13.1 Retour sur la recherche dichotomique
13.2 Tri fusion
Exercices
14 Programmation dynamique
14.1 Rendu de monnaie
14.2 Alignement de séquences
Exercices
15 Recherche textuelle
15.1 Un algorithme simple
15.2 Accélération de la recherche
15.3 Un algorithme plus efficace: Boyer-Moore
Exercices
16 Calculabilité
16.1 Problème : détecteur d'erreurs en Python
16.2 Calculabilité, des mathématiques à l'informatique
16.3 Limites de la calculabilité
Exercices
III Bases de données
17 Modèle relationnel
17.1 Le modèle relationnel
17.2 Modélisation relationnelle des données
Exercices
18 Bases de données relationnelles
18.1 SQL : un langage de définition de données
18.2 Types de données en SQL
18.3 Spécification des contraintes d'intégrité
18.4 Suppression de tables
18.5 Insertion dans une table
Exercices
19 Requêtes SQL et mises à jour
19.1 Sélection de données
19.2 Modification des données
19.3 Requêtes imbriquées
Exercices
20 Systèmes de Gestion de Bases de Données
20.1 Historique
20.2 Transactions
20.3 Interaction entre un SGBD et un programme
Exercices
IV Architectures matérielles, systèmes d'exploitation et réseaux
21 Circuits intégrés
21.1 Microcontrôleurs
21.2 Système sur puce
Exercices
22 Gestion des processus et des ressources
22.1 L'ordonnanceur
22.2 Commandes Unix de gestion des processus
22.3 Programmation concurrente
Exercices
23 Protocoles de routage
23.1 le protocole RIP
23.2 Protocole OSPF
23.3 Commandes système
Exercices
24 Sécurisation des communications
24.1 Cryptographie symétrique
24.2 Cryptographie asymétrique
24.3 Authentification des participants
24.4 le protocole HTTPS
Exercices
Solutions des exercices
Index