IniciGrupsConversesMésTendències
Cerca al lloc
Aquest lloc utilitza galetes per a oferir els nostres serveis, millorar el desenvolupament, per a anàlisis i (si no has iniciat la sessió) per a publicitat. Utilitzant LibraryThing acceptes que has llegit i entès els nostres Termes de servei i política de privacitat. L'ús que facis del lloc i dels seus serveis està subjecte a aquestes polítiques i termes.
Hide this

Resultats de Google Books

Clica una miniatura per anar a Google Books.

Computability and Logic 2ed de George Boolos
S'està carregant…

Computability and Logic 2ed (edició 1981)

de George Boolos, Richard C. Jeffrey

MembresRessenyesPopularitatValoració mitjanaConverses
331161,078 (3.76)No n'hi ha cap
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.… (més)
Membre:arboreal
Títol:Computability and Logic 2ed
Autors:George Boolos
Altres autors:Richard C. Jeffrey
Informació:Cambridge University Press (1981), Edition: 1, Paperback, 304 pages
Col·leccions:La teva biblioteca
Valoració:
Etiquetes:loc_box18

Detalls de l'obra

Computability and Logic de George S. Boolos (Author)

S'està carregant…

Apunta't a LibraryThing per saber si aquest llibre et pot agradar.

No hi ha cap discussió a Converses sobre aquesta obra.

A truly shitty book. Proof that some people can make the most interesting things seem dry, dull, and boring beyond words. ( )
  PhilipSharman | Dec 9, 2006 |
Sense ressenyes | afegeix-hi una ressenya

» Afegeix-hi altres autors (5 possibles)

Nom de l'autorCàrrecTipus d'autorObra?Estat
Boolos, George S.Autorautor primaritotes les edicionsconfirmat
Jeffrey, Richard C.Autorautor principaltotes les edicionsconfirmat
Burgess, John P.Autorautor principalalgunes edicionsconfirmat
Has d'iniciar sessió per poder modificar les dades del coneixement compartit.
Si et cal més ajuda, mira la pàgina d'ajuda del coneixement compartit.
Títol normalitzat
Informació del coneixement compartit en anglès. Modifica-la per localitzar-la a la teva llengua.
Títol original
Títols alternatius
Data original de publicació
Gent/Personatges
Llocs importants
Esdeveniments importants
Pel·lícules relacionades
Premis i honors
Epígraf
Dedicatòria
Primeres paraules
Citacions
Darreres paraules
Nota de desambiguació
Editor de l'editorial
Creadors de notes promocionals a la coberta
Llengua original
CDD/SMD canònics
LCC canònic
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

No s'han trobat descripcions de biblioteca.

Descripció del llibre
Sumari haiku

Cobertes populars

Dreceres

Valoració

Mitjana: (3.76)
0.5 1
1
1.5
2
2.5
3 5
3.5 2
4 6
4.5
5 5

Ets tu?

Fes-te Autor del LibraryThing.

 

Quant a | Contacte | LibraryThing.com | Privadesa/Condicions | Ajuda/PMF | Blog | Botiga | APIs | TinyCat | Biblioteques llegades | Crítics Matiners | Coneixement comú | 162,500,392 llibres! | Barra superior: Sempre visible