Logique(s), langages formels et complexité pour l'informatique / Narendra Jussien

Public ISBD Titre : Logique(s), langages formels et complexité pour l'informatique Type de document : texte imprimé Auteurs : Narendra Jussien, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2006 Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691 Importance : 1 vol. (313 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1395-1 Note générale : Bibliogr. p. 301-303. Index Langues : Français (fre) Catégories : Informatique Mots-clés : Logique mathématique Langages formels Complexité de calcul (informatique) Index. décimale : 005.1 Programmation 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. Note de contenu : Logique(s) Une brève histoire de la logique Logique des propositions Logique des prédicats Logiques non classiques Langages formels et automates Langages formels et grammaires Automates Langages et automates Calculabilité, complexité Calculabilité, décidabilité Complexité Annexes Logique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien, Auteur . - Paris : Hermès science publications-Lavoisier, 2006 . - 1 vol. (313 p.) : ill. ; 24 cm. - (Collection Informatique (Paris. 1992), ISSN 1242-7691) . ISBN : 978-2-7462-1395-1 Bibliogr. p. 301-303. Index Langues : Français (fre) Catégories : Informatique Mots-clés : Logique mathématique Langages formels Complexité de calcul (informatique) Index. décimale : 005.1 Programmation 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. Note de contenu : Logique(s) Une brève histoire de la logique Logique des propositions Logique des prédicats Logiques non classiques Langages formels et automates Langages formels et grammaires Automates Langages et automates Calculabilité, complexité Calculabilité, décidabilité Complexité Annexes

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/4906	Fs/4906-4911	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4907	Fs/4906-4911	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4908	Fs/4906-4911	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4909	Fs/4906-4911	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4910	Fs/4906-4911	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4911	Fs/4906-4911	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)