Klik på en miniature for at gå til Google Books
Indlæser... Turing's Worldaf Jon Barwise, John Etchemendy
Ingen Indlæser...
Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog. Der er ingen diskussionstråde på Snak om denne bog. Ingen anmeldelser ingen anmeldelser | tilføj en anmeldelse
Belongs to SeriesCSLI Lecture Notes (35)
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. No library descriptions found. |
Current DiscussionsIngen
Google Books — Indlæser... GenrerMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC-klassificeringVurderingGennemsnit: Ingen vurdering.Er det dig?Bliv LibraryThing-forfatter. |