Rechercher

Une introduction à l’informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité.

Ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification. Il traite de manière très pédagogique des éléments de stratégie pour vérifier et pour concevoir des logiciels.

Grâce à une pédagogie progressive, réellement adaptée aux élèves qui sortent de Terminale S, Frédéric Cadet réussit à enseigner des méthodes efficaces sans pour autant sacrifier les idées mathématiques sous-jacentes, celles-là qui structurent les mathématiques telles qu’on les pratique au plus haut niveau.