Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Proofs and algorithms: an introduction to logic and computability

Proofs and algorithms: an introduction to logic and computability
Kataloginformation
Feldname Details
Vorliegende Sprache eng
Sprache d. Originals fre
Hinweise auf parallele Ausgaben 337805296 Online-Ausg.: ‡Dowek, Gilles, 1966 - : Proofs and Algorithms
Name Dowek, Gilles
T I T E L Proofs and algorithms: an introduction to logic and computability
Verlagsort London ; Heidelberg [u.a.]
Verlag Springer
Erscheinungsjahr 2011
2011
Umfang XII, 155 S. : graph. Darst.
Format 235 mm x 155 mm
Reihe Undergraduate topics in computer science
Notiz / Fußnoten Franz. Ausg. u.d.T.: Dowek, Gilles: Les démonstrations et les algorithmes
Weiterer Inhalt Part. 1. Proofs:1. Predicate logic. --Inductive definitions -- Languages -- The languages of predicate logic -- Proofs -- Examples of theories -- Variations on the principle of the excluded middle -- 2. Models. -- The notion of a model -- The Soundness Theorem -- The Completeness Theorem -- Other applications of the notion of model -- Part 2. Algorithms: -- 3. Computable functions. -- Computability over lists and trees -- Eliminating recursion -- Programs -- 4. Computation as a sequence of small steps. -- Rewriting -- The Lambda-Calculus -- Turing Machines -- Part 3. Proofs and algorithms: -- 5. Church's Theorem. -- The notion of reduction -- Representing programs -- Church's Theorem -- Semi-decidabilty -- Gödel's First Incompleteness Theorem -- 6. Automated theorem proving. -- Sequent Calculus -- Proof search in the sequent Calculus without cuts -- 7. Decidable theories -- 8. Constructivity -- 9. Epilogue.. Part. 1. Proofs: -- 1. Predicate logic. --Inductive definitions -- Languages -- The languages of predicate logic -- Proofs -- Examples of theories -- Variations on the principle of the excluded middle -- 2. Models. -- The notion of a model -- The Soundness Theorem -- The Completeness Theorem -- Other applications of the notion of model -- Part 2. Algorithms: -- 3. Computable functions. -- Computability over lists and trees -- Eliminating recursion -- Programs -- 4. Computation as a sequence of small steps. -- Rewriting -- The Lambda-Calculus -- Turing Machines -- Part 3. Proofs and algorithms: -- 5. Church's Theorem. -- The notion of reduction -- Representing programs -- Church's Theorem -- Semi-decidabilty -- Gödel's First Incompleteness Theorem -- 6. Automated theorem proving. -- Sequent Calculus -- Proof search in the sequent Calculus without cuts -- 7. Decidable theories -- 8. Constructivity -- 9. Epilogue.
Titelhinweis Online-Ausg.: ‡Dowek, Gilles, 1966 - : Proofs and Algorithms
ISBN ISBN 978-0-85729-120-2 PB. : ca. EUR 37.40 (freier Pr.), ca. sfr 50.50 (freier Pr.)
ISBN 0-85729-120-3 (pbk.) £26.99
Verlags- / Firmen- ¬Best.-Nr.¬ 12833764
Klassifikation *03-01
68-01
03B10
03B25
03B35
03B40
03B70
03C07
03D10
03D20
03D35
03F03
68Q05
68W01
004.015113
510
QA9
SK 130
ST 134
1. Schlagwortkette Mathematische Logik
Berechenbarkeit
Algorithmentheorie
ANZEIGE DER KETTE Mathematische Logik -- Berechenbarkeit -- Algorithmentheorie
SWB-Titel-Idn 333024737
Signatur 82 433
Internetseite / Link Inhaltsverzeichnis
Siehe auch Inhaltstext
Siehe auch Autorenbiografie
Siehe auch 80
Siehe auch Inhaltstext
.
ISBD-Anzeige Katalogdatensatz500159389
.
Kategorien-Anzeige Katalogdatensatz500159389
.
Verwandte Werke Katalogdatensatz500159389
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500159389
.
Kataloginformation500159389 Datensatzanfang . Kataloginformation500159389 Seitenanfang .
Exemplarinformationen
Barcode Regalstandort Literaturabteilung Bandzählg. Zweigstelle Status Fälligkeitsdat.
00346809 ST 134 D746
 Freihand   Hauptbibliothek . . Verfügbar .  
Titel vormerken Katalogdatensatz500159389
. Katalogdatensatz500159389 ItemInfo Datensatzanfang . Katalogdatensatz500159389 ItemInfo Seitenanfang .
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche