GEOTRUST SSL CERTIFICATE
| Titre : | Systèmes formels : introduction à la logique et à la théorie des langages |
| Auteurs : | Claude Benzaken, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1991 |
| Collection : | Logique, mathématiques, informatique |
| ISBN/ISSN/EAN : | 978-2-225-82567-5 |
| Format : | 184 p. / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 005.2 |
| Mots-clés: | ; informatique ; langage |
| Résumé : |
Cet ouvrage pédagogique propose les bases mathématiques fondamentales pour comprendre et dominer l'informatique : théorie des langages, logique classique, théorie des algorithmes. Contient des exercices issus de l'enseignement de ce cours en licence. |
Exemplaires (6)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC005810 | INF00411 | Livre | Magasin des Ouvrages | Informatique | Exclu du prêt |
| TEC005811 | INF00412 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC005812 | INF00413 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC005813 | INF00414 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC012948 | INF03361 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC013751 | INF04164 | Livre | Magasin des Ouvrages | Informatique | Disponible |
