Menu
Виж статуса на поръчката
Свържете се с нас
Книга Computational Logic Ulrich Berger

Computational Logic

Автор: Ulrich Berger, Helmut Schwichtenberg
Език: Английски език
Корици: С меки корици
Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Наличност: Външен склад
Изпращаме след 5-8 дни
157.86 € 308.75 лв
Recent developments in computer science clearly show the need for a better theoretical foundation fo...

Информация за книгата

Автор
Ulrich Berger, Helmut Schwichtenberg
Език
Английски език
Корици
Книга - С меки корици
Издадена
2012
страници
448
EAN
9783642636707
ISBN
3642636705
Enbook ID
02004875
Издател
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Теглоt
700
Размери
155 x 235 x 25

Пълно описание

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.§Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Може също да ви хареса

Topics in Acoustic Echo and Noise Control

Eberhard Hänsler
175.98 € 344.18 лв

Understanding Criminal Justice

Azrini Wahidin
61.92 € 121.10 лв

Toothpick: The Greedy Cat

Lora Mela
9.28 € 18.15 лв

Systemic Racism in the United States

Robbie W. C. Tourse
113.45 € 221.89 лв

Aging with Care

Amanda Lambert
32.21 € 63.00 лв

Ocean Sailing

Paul Heiney
26.04 € 50.93 лв

Sudoku Puzzle Book For Teens: Easy to Medium Sudoku Puzzles Including 330 Sudoku Puzzles with Solutions 3rd Edition, Great Gift for Teens or Tweens

Quick Creative
7.42 € 14.52 лв

The Great Gatsby: The Only Authorized Edition

FITZGERALD F SCOTT
13.19 € 25.80 лв

Curse of the Wolf King

TESSONJA ODETTE
26.14 € 51.12 лв

Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.)

Antoine Alary
10.03 € 19.62 лв

Book Lovers

Emily Henry
8.98 € 17.56 лв

The Unfit Brain and the Limits of Moral Bioenhancement

Fabrice Jotterand
119.42 € 233.57 лв

Travel to Colombia

34.07 € 66.63 лв

Prostate Cancer: Molecular Events and Therapeutic Modalities

Gautam Sethi
185.51 € 362.83 лв

Come From Away

Robert Huish
147.37 € 288.24 лв

Complete IELTS Bands 6.5–7.5 Workbook without Answers

Rawdon Wyatt
40.99 € 80.17 лв

State of the Poor

Frederick Morton Eden
82.44 € 161.24 лв

International Comparative Issues in Government Accounting

Aad Bac
157.86 € 308.75 лв

Criminality and Violence among the Mentally Disordered

Sheilagh HodginsCarl-Gunnar Janson
46.66 € 91.26 лв

History of Greek Philosophy: Volume 6, Aristotle: An Encounter

W. K. C. Guthrie
104.67 € 204.72 лв

Fields of Faith

David F. FordBen QuashJanet Martin Soskice
52.43 € 102.55 лв

Planet Treasure Guardians

S V Bodle
18.71 € 36.60 лв

Horizontal Agreements and Cartels in EU Competition Law

Filip Tuytschaever
422.46 € 826.26 лв

Ivanhoe; Or, the Jew's Daughter; A Melo Dramatic Romance, in Three Acts, Etc. [Based on Sir Walter Scott's Novel of the Same Title.]

Thomas Dibdin
17.66 € 34.54 лв

Клиенти, които купиха тази книга, купиха също

Die Biogenen Amine

Markus Guggenheim
78.78 € 154.08 лв

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen

Georg Fuhrmann
54.24 € 106.08 лв

El cuaderno de Picasso

FLORENTINO PAREDES GARCIA
12.09 € 23.64 лв

Campo Santo

W. G. Sebald
21.12 € 41.31 лв

Marketing Interno y la Gestion de los Recursos Humanos

Tuduri Jose Ramon
35.82 € 70.06 лв

FUGA PARA UNA ISLA -NEB

PRIEST
8.48 € 16.58 лв

Secretele Bazei Universale de Informatii a Universului

Alexandru Bogdan Voda
6.87 € 13.44 лв

Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees

Heinrich Noe
39.39 € 77.03 лв

Pflegeoasen in Deutschland

Hermann Brandenburg
51.43 € 100.59 лв

Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde

14.75 € 28.85 лв

full goodwill-Methode nach IFRS 3 (2008)

Ina Klein
45.71 € 89.40 лв

Betriebsrate

Daniel Jäger
17.56 € 34.34 лв

Die Gudrunsage

Karl Heinrich Keck
33.01 € 64.57 лв