| Titre : | Logique élémentaire : cours de base pour informaticiens |
| Auteurs : | Jacques Zahnd, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | 2e éd. |
| Editeur : | Lausanne (Suisse) : Presses polytechniques et universitaires romandes, 2003 |
| Collection : | Informatique |
| ISBN/ISSN/EAN : | 978-2-88074-360-4 |
| Format : | VII-430 p. / 24 x 16 cm |
| Note générale : |
Bibliogr. Index |
| Langues: | Français |
| Index. décimale : | 004.1 |
| Mots-clés: | logique symbolique et mathématique |
| Résumé : |
L'informaticien doit savoir raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, etc. Ce manuel enseigne les techniques de bases pour effectuer ces raisonnements en appliquant des règles précises de manipulation des symboles. Ce sont les règles de la logique. |
Exemplaires (3)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC006492 | INF01109 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC006493 | INF01110 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC014483 | INF04896 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
