Turing's World 3.0: An Introduction to Computability Theory (Lecture Notes)

Note moyenne 5
( 1 avis fournis par Goodreads )
 
9781881526100: Turing's World 3.0: An Introduction to Computability Theory (Lecture Notes)

Turing's World is a self-contained introduction to Turing machines, one of the fundamental notions of logic and computer science. The text and accompanying diskette allow the user to design, debug, and run sophisticated Turing machines in a graphical environment on the Macintosh. Turning's World introduces users to the key concpets in computability theory through a sequence of over 100 exercises and projects. Within minutes, users learn to build simple Turing machines using a convenient package of graphical functions. Exercises then progress through a significant portion of elementary computability theory, covering such topics as the Halting problem, the Busy Beaver function, recursive functions, and undecidability. Version 3.0 is an extensive revision and enhancement of earlier releases of the program, allowing the construction of one-way and two-way finite state machines (finite automata), as well as nondeterministic Turing and finite-state machines. Special exercises allow users to explore these alternative machines.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

About the Author :

Jon Barwise (1942–2000) was professor of philosophy, mathematics, and computer science at Indiana University and one of the founding members of the Center for the Study of Language and Information (CSLI).  

John Etchemendy is professor of philosophy and symbolic systems at Stanford University and a former director of the Center for the Study of Language and Information (CSLI). 

Review :

'Turning's World is a delight ... I heartily recommend [it].' James Moor, Teaching Philosophy

'Turing's World quite literally revolutionizes the way the fundamental theoretical issues of computing can be taught.' Keith Devlin, The Guardian

'There is not the slightest hint of jargon anywhere in [this book]. The explanations are so direct that a beginner will understand them and an old hand will enjoy them.' Wilfrid Hodges, Queen Mary College

'The program and manual are the best introduction to Turing machines the reviewer knows of, or can imagine.' George Boolos, Journal of Symbolic Logic

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter neuf Afficher le livre
EUR 33,94

Autre devise

Frais de port : EUR 1,66
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Barwise, Jon, Etchemendy, John
Edité par Center for the Study of Langua (1993)
ISBN 10 : 1881526100 ISBN 13 : 9781881526100
Neuf(s) Paperback Quantité : 2
Vendeur
Murray Media
(North Miami Beach, FL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Center for the Study of Langua, 1993. Paperback. État : New. Never used!. N° de réf. du libraire P111881526100

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 33,94
Autre devise

Ajouter au panier

Frais de port : EUR 1,66
Vers Etats-Unis
Destinations, frais et délais