Logique(s), langages formels et complexité pour l'informatique
Narendra Jussien - Collection Informatique
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.
L'auteur - Narendra Jussien
Enseignant-chercheur en informatique à l'école des mines de Nantes, Narendra Jussien anime une équipe de recgerche sur "la programation par contraintes" au sein du laboratoire d'informatique de Nantes-Atlantique (CNRS).
Autres livres de Narendra Jussien
Sommaire
- 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
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Hermès - Lavoisier | |
| Auteur(s) | Narendra Jussien | |
| Collection | Informatique | |
| Parution | 20/08/2006 | 01/06/2008 |
| Nb. de pages | 320 | 312 |
| Format | 16 x 24 | - |
| Couverture | Broché | - |
| Poids | 490g | - |
| Intérieur | Noir et Blanc | - |
| Contenu | - |
PDF |
| EAN13 | 9782746213951 |
9782746242289 |
| ISBN13 | 978-2-7462-1395-1 | - |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Programmation fonctionnelle
- Informatique Développement d'applications Techniques de programmation Programmation parallèle et multithreading
- Informatique Développement d'applications Algorithmique et informatique appliquée
- Informatique Développement d'applications Technologies objet Programmation objet
