Résumé
Logic languages are free from the ambiguities of natural
languages, and are therefore specially suited for use in
computing. Model theory is the branch of mathematical logic
which concerns the relationship between mathematical
structures and logic languages, and has become increasingly
important in areas such as computing, philosophy and
linguistics. As the reasoning process takes place at a very
abstract level, model theory applies to a wide variety of
structures. It is also possible to define and classify
structures by establishing links between them. These links
can be very useful since they allow us to transfer our
knowledge between related structures. This book provides an
introduction to the subject. It includes some historically
relevant information before each major topic is introduced.
The motivation of the subject is constantly explained, and
proofs are also explained in detail.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Oxford University Press |
| Auteur(s) | Maria Manzano |
| Collection | Oxford Logic Guides |
| Parution | 29/04/1999 |
| Nb. de pages | 263 |
| Format | 15 x 23 |
| EAN13 | 9780198538516 |
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
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
