This book gives the basic knowledge on two point boundary value problems. In the first chapters, the approaches are explained on linear problems and then they are explained on nonlinear problems in order to facilitate the understanding. A good introductory book.

Après une période d'adaptation un peu difficile, le casque est super pour protéger les oreilles lors de session de batterie intense.
Le casque sert un peu mais je suppose que c'est pour assurer une bonne isolation phonique. Le réglage de la taille est très bien.

Avoir une vue d'ensemble de tous les éléments composants un système informatique est essentielle.
Un programme informatique ne devrait pas être dissocié de la machine sur laquelle il va être exécuté.
Pour ces raisons ce livre donne une vue d'ensemble de la hiérarchie de composants qui sont mis
en oeuvre dans l'exécution et la création de programmes informatiques. L'objectif est de construire
un ordinateur à partir des des briques de bases que sont les portes logiques puis la construction d'un
compilateur pour écrire des programmes de haut niveau qui vont s'exécuter sur cet ordinateur.
Cet ouvrage s'accompagne des tous les outils nécessaires pour arriver à faire les exercices donnés.
C'est un must autant pour les étudiants que les enseignants en informatique. qui veulent connaître ou
dispenser les bases de l'informatique.

Tout est dans le titre.
Introduction à la logique avec comme objectif la vérification des programmes et systèmes informatiques.
Très bien écrits avec beaucoup d'exemples ... un must

Ce livre est très clair. Il pose les base des outils mathématiques utilisés
en sémantique des langages de programmation.
Un bon début dans le monde de l'informatique théorique