Homer / Nerode / Odifreddi | Logic and Computer Science | Buch | 978-3-540-52734-3 | sack.de

Buch, Englisch, 170 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 277 g

Reihe: C.I.M.E. Foundation Subseries

Homer / Nerode / Odifreddi

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-52734-3
Verlag: Springer Berlin Heidelberg

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

Buch, Englisch, 170 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 277 g

Reihe: C.I.M.E. Foundation Subseries

ISBN: 978-3-540-52734-3
Verlag: Springer Berlin Heidelberg

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 / Nerode / Odifreddi Logic and Computer Science jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

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

Fachgebiete

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.