Foundations Of Logic And Theory Of Computation Format Broché

Foundations of Logic and Theory of Computation - Sernadas, A.

Format: Broché
344 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (2)

Occasion (1)

Reconditionné

79,73 €

Produit Neuf

Ou 19,93 € /mois

Livraison à 0,01 €

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.

Nos autres offres

44,65 €

Produit Neuf

Ou 11,16 € /mois

En savoir plus
- Livraison à 0,01 €
Voir les modes de livraison
rarewaves-us

PRO

4,7/5 sur + de 1 000 ventes

Afficher la description de l'annonce

Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 20 à 30 jours ouvrables.
79,73 €

Produit Neuf

Ou 19,93 € /mois

En savoir plus
- Livraison à 0,01 €
Voir les modes de livraison
rarewaves-uk

PRO

4,8/5 sur + de 1 000 ventes

Afficher la description de l'annonce

Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
81,99 €

Occasion · Comme Neuf

Ou 20,50 € /mois

En savoir plus
- Livraison : 25,00 €
Voir les modes de livraison
- Protection acheteurs :
- 0,00 €
USAMedia

PRO

4,6/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-mail si vous avez des questions. Notre service clientele sera ravi de vous aider. Voir moins

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Foundations Of Logic And Theory Of Computation Format Broché - Livre Informatique

Note : 0 0 avis sur Foundations Of Logic And Theory Of Computation Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Foundations Of Logic And Theory Of Computation Format Broché
- Livre Informatique

Livre Informatique - Sernadas, A. - 01/03/2008 - Broché - Langue : Anglais

Auteur(s) : Sernadas, A. - Sernadas, C.Editeur : College PublicationsLangue : AnglaisParution : 01/03/2008Format : Moyen, de 350g à 1kgNombre de pages : 344Expédition : 524Dimensions : 23.4...

Auteur(s) : Sernadas, A. - Sernadas, C.

Editeur : College Publications

Langue : Anglais

Parution : 01/03/2008

Format : Moyen, de 350g à 1kg

Nombre de pages : 344

Expédition : 524

Dimensions : 23.4 x 15.6 x 1.9

Résumé :
The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert's programme for the formalization of Mathematics. It is widely known that the programme failed with G?del's incompleteness theorems and related negative results about arithmetic. Unfortunately, the positive outcomes of the programme are less well known, even among mathematicians. The book covers key successes, like G?del's proof of the completeness of first-order logic, Gentzen's proof of its consistency by purely symbolic means, and the decidability of a couple of useful theories. The book also tries to convey the message that Hilbert's programme made a significant contribution to the advent of the computer as it is nowadays understood and, thus, to the latest industrial revolution. Part I of the book addresses Hilbert's programme and computability. Part II presents first-order logic, including G?del's completeness theorem and Gentzen's consistency theorem. Part III is focused on arithmetic, representability of computable maps, G?del's incompleteness theorems and decidability of Presburger arithmetic. Part IV provides detailed answers to selected exercises. The book can be used at late undergraduate level or early graduate level. An undergraduate course would concentrate on Parts I and II, leaving out the Gentzen calculus, and sketching the way to the 1st incompleteness theorem. A more advanced course might skip early material already known to the students and concentrate on the positive and negative results of Hilbert's programme, thus covering Gentzen's proof of consistency and Part III in full.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Foundations of Logic and Theory of Computation - Sernadas, A.

Avis sur Foundations Of Logic And Theory Of Computation Format Broché - Livre Informatique

Présentation Foundations Of Logic And Theory Of Computation Format Broché - Livre Informatique

Présentation Foundations Of Logic And Theory Of Computation Format Broché
- Livre Informatique