| Titre : | Précis de logique informatique : Guide des utilisateurs du système informatique |
| Auteurs : | J.D. Warnier, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Editions D'organisation, 1979 |
| ISBN/ISSN/EAN : | 978-2-7081-0388-7 |
| Format : | 139p.. / ill. / 30cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | Informatique. |
| Résumé : |
Malheureusement, le titre "Précis de logique informatique, Guide des utilisateurs du système informatique" est assez général et pourrait correspondre à différents ouvrages. Sans plus de contexte sur l'auteur, la date de publication ou le contenu spécifique, il est difficile de fournir un résumé précis.
Cependant, en se basant sur le titre, on peut déduire que le livre aborde probablement deux aspects principaux : 1. La logique informatique : Il pourrait s'agir d'une introduction aux concepts fondamentaux de la logique utilisés en informatique. Cela pourrait inclure des sujets tels que la logique propositionnelle, la logique des prédicats, les systèmes formels, le raisonnement automatique, et leurs applications dans la programmation, la vérification de programmes, l'intelligence artificielle, etc. Le livre pourrait expliquer comment formaliser des problèmes informatiques à l'aide de la logique et comment utiliser des techniques logiques pour les résoudre. 2. Un guide pour les utilisateurs du système informatique : Cette partie pourrait être un manuel pratique destiné aux personnes utilisant un système informatique (qui pourrait être un système d'exploitation spécifique, un ensemble d'outils logiciels, ou un système informatique d'une organisation). Il pourrait fournir des instructions sur l'utilisation des fonctionnalités de base et avancées du système. Les sujets abordés pourraient inclure la gestion des fichiers, l'utilisation des applications courantes, la configuration du système, la résolution de problèmes courants, les bonnes pratiques en matière de sécurité informatique, etc. En résumé, le livre semble être une ressource qui combine les fondements théoriques de la logique informatique avec un guide pratique pour l'utilisation d'un système informatique. La profondeur avec laquelle chaque sujet est traité dépendrait de la taille et de l'objectif spécifique du livre. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| Info.A/62 | 004/30/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
