Homer / Odifreddi / Nerode | Logic and Computer Science | E-Book | sack.de
E-Book

E-Book, Englisch, Band 1429, 170 Seiten, eBook

Reihe: Lecture Notes in Mathematics

Homer / Odifreddi / Nerode Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
1990
ISBN: 978-3-540-47135-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

E-Book, Englisch, Band 1429, 170 Seiten, eBook

Reihe: Lecture Notes in Mathematics

ISBN: 978-3-540-47135-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
Homer / Odifreddi / Nerode Logic and Computer Science jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Homer, Steven
Nerode, Anil
Platek, Richard A.
Sacks, Gerald E.
Scedrov, Andre
Odifreddi, Piergiorgio

Weitere Infos & Material

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.