الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Titre : |
Logique(s), langages formels et complexité pour l'informatique |
Type de document : |
texte imprimé |
Auteurs : |
Narendra Jussien, ; Yvon L'Hospitalier, |
Editeur : |
Paris : Hermes Sciences Publ. |
Année de publication : |
cop. 2006. |
Autre Editeur : |
Lavoisier |
Collection : |
Collection Informatique (Paris. 1992), ISSN 1242-7691. |
Importance : |
313 p. |
Format : |
24 cm. |
ISBN/ISSN/EAN : |
978-2-7462-1395-1 |
Langues : |
Français (fre) |
Mots-clés : |
informatique Logique langages formels complexité |
Index. décimale : |
004 |
Résumé : |
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. |
Logique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien, ; Yvon L'Hospitalier, . - Paris : Hermes Sciences Publ. : [S.l.] : Lavoisier, cop. 2006. . - 313 p. ; 24 cm.. - ( Collection Informatique (Paris. 1992), ISSN 1242-7691.) . ISBN : 978-2-7462-1395-1 Langues : Français ( fre)
Mots-clés : |
informatique Logique langages formels complexité |
Index. décimale : |
004 |
Résumé : |
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. |
| |
Réservation
Réserver ce document
Exemplaires (3)
|
fsei00600 | 004-138.1 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
fsei00601 | 004-138.2 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Sorti jusqu'au 31/05/2023 |
fsei00602 | 004-138.3 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |