Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey

↑ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 59 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £58 (58 days, 98.3%)

Price range: £58 - £70

Price levels: 2 different prices over 59 days

Description

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.

Product Specifications

Format: paperback
ASIN: 2746213958
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 20 August 2006
Listed Since: 06 October 2009

Barcode

No barcode data available

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

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

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Éléments de classification: aspects combinatoires et algorithmiques

Matériaux organiques pour la construction et le développement durable

Mesure de l'utilisabilité des interfaces

Essais mécaniques et lois de comportement

Ingénierie et intégration des systèmes

Matériaux piézoélectriques intégrés sur silicium

Matériaux organiques spécifiques pour la construction

Aéroélasticité et aéroacoustique

Linguistique et recherche d'information : la problématique du temps

Les tests logiciels : fondamentaux: Fondamentaux

Technologies, surveillance et vie privée du travailleur

Filtrage adaptatif : théorie et algorithmes: théorie et algorithmes

Les diodes électroluminescentes pour l' éclairage

Architecture système et complexité: Apport des systèmes de systèmes à la pensée systémique

Principes de commutation numérique, du téléphone au multimédia

Apprentissage de la programmation avec OCaml

Objets communicants sécurisés: Applications, conceptions et concrétisation

Modélisation des écoulements multiphasiques turbulents hors d'équilibre

Méthodes formelles pour les systèmes répartis et coopératifs

Mesure des propriétés thermiques des matériaux

L'animation de la veille stratégique

Géostructures énergétiques

Sécurisation des architectures informatiques : exemples concrets

Les cristaux photoniques, ou la lumière en cage

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Éléments de classification: aspects combinatoires et algorithmiques

Matériaux organiques pour la construction et le développement durable

Mesure de l'utilisabilité des interfaces

Essais mécaniques et lois de comportement

Ingénierie et intégration des systèmes

Matériaux piézoélectriques intégrés sur silicium

Matériaux organiques spécifiques pour la construction

Aéroélasticité et aéroacoustique

Linguistique et recherche d'information : la problématique du temps

Les tests logiciels : fondamentaux: Fondamentaux

Technologies, surveillance et vie privée du travailleur

Filtrage adaptatif : théorie et algorithmes: théorie et algorithmes

Les diodes électroluminescentes pour l' éclairage

Architecture système et complexité: Apport des systèmes de systèmes à la pensée systémique

Principes de commutation numérique, du téléphone au multimédia

Apprentissage de la programmation avec OCaml

Objets communicants sécurisés: Applications, conceptions et concrétisation

Modélisation des écoulements multiphasiques turbulents hors d'équilibre

Méthodes formelles pour les systèmes répartis et coopératifs

Mesure des propriétés thermiques des matériaux

L'animation de la veille stratégique

Géostructures énergétiques

Sécurisation des architectures informatiques : exemples concrets

Les cristaux photoniques, ou la lumière en cage