• Introduction à l'informatique théorique - Yolaine Bourda - Livre
1 1

Introduction à l'informatique théorique

Introduction à l'informatique théorique

  • Livre Grand Format
  • En français Français
Etat des produits
15,20 €
19,00 € 15,20 €
Promo

Livraison à 2,49€ en point-relais. Gratuite dès 25 €

Expédition sous 24/48h | Jour ouvré
Garantie 30 jours
Satisfait ou remboursé sous 30 jours. Retour simple et rapide.
Paiement sécurisé
  • American Express
  • Apple Pay
  • Cartes Bancaires
  • Mastercard
  • PayPal
  • Visa

Un achat engagé

  • Soutenez une coopérative à but non lucratif
  • Produit collecté, stocké et traité en France
  • Articles d'occasion contrôlés
Afficher tous les détails

  • Description

    Cet ouvrage s'adresse aux ingénieurs et aux élèves des grandes écoles qui sont confrontés à l'informatique comme utilisateurs ou comme concepteurs. Les trois premiers chapitres sont centrés sur le modèle des machines de Turing et les méthodes utilisées pour analyser la complexité des algorithmes et celle des problèmes. Trois chapitres traitent de la sémantique des programmes. Après une introduction à l'algèbre et à la logique, un chapitre expose la description des données par les types abstraits algébriques et les diagnostics qu'il est possible d'obtenir par ces techniques.
    Le dernier chapitre présente le système classique de Hoare pour la vérification et la correction d'un programme par rapport à ses spécifications.

    Source : Eyrolles (Editions)

  • Caractéristiques