libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

homer steven; nerode anil; platek richard a.; sacks gerald e.; scedrov andre; odifreddi piergiorgio (curatore) - logic and computer science
Zoom

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

; ; ; ; ;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
26,98 €
NICEPRICE
25,63 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 07/1990





Trama

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.




Sommario

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.










Altre Informazioni

ISBN:

9783540527343

Condizione: Nuovo
Collana: Lecture Notes in Mathematics
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:VI, 170 p.
Pagine Arabe: 170
Pagine Romane: vi


Dicono di noi