Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique(s), langages formels et complexité pour l'informatique
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

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

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

Narendra Jussien - Collection Informatique

320 pages, parution le 20/08/2006

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
Voir tout
Replier

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

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription