EN
Histoire de l'informatique
Livre imprimé - Birrien Jean-Yvon, impr. 1990
Turing : et l'informatique fut
Livre imprimé - Lassègue Jean, 2006
Logique pour l'informatique
Livre électronique - Jaume Mathieu, Manoury Pascal, Lesot Marie-Jeanne, Mounier Isabelle, Journault Matthieu, Raffalli Christophe
Vuibert informatique
Livre imprimé, 1998-
Solutions informatiques
Livre imprimé, 2006-
Logique pour l'informatique
Livre imprimé - Jaume Mathieu, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal, Mounier Isabelle, Raffalli Christophe, 2020
Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs ap...
