Formal models of computation (Record no. 72504)

000 -LEADER
fixed length control field 02910nmm a2200373Ia 4500
001 - CONTROL NUMBER
control field 00004592
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220711214118.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 181211s2001 si a ob 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9789812810373
-- (ebook)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
-- (hbk.)
082 04 - CLASSIFICATION NUMBER
Call Number 511.3
100 1# - AUTHOR NAME
Author Fleck, Arthur Charles.
245 10 - TITLE STATEMENT
Title Formal models of computation
Sub Title the ultimate limits of computing /
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Singapore :
Publisher World Scientific Publishing Co. Pte Ltd.,
Year of publication ©2001.
300 ## - PHYSICAL DESCRIPTION
Number of Pages 1 online resource (548 p.) :
490 0# - SERIES STATEMENT
Series statement Amast series in computing ;
520 ## - SUMMARY, ETC.
Summary, etc "This book provides new presentations of standard computational models that help avoid pitfalls of the conventional description methods. It also includes novel approaches to some of the topics that students normally find the most challenging. The presentations have evolved in response to student feedback over many years of teaching and have been well received by students. The book covers the topics suggested in the ACM curriculum guidelines for the course on "Theory of Computation", and in the course on "Foundations of Computing" in the model liberal arts curriculum. These are standard courses for upper level computer science majors and beginning graduate students. The material in this area of computing is intellectually deep, and students invariably find it challenging to master. This book blends the three key ingredients for successful mastery. The first is its focus on the mingling of intuition and rigor that is required to fully understand the area. This is accomplished not only in the discussion and in examples, but also especially in the proofs. Second, a number of practical applications are presented to illustrate the capacity of the theoretical techniques to contribute insights in a variety of areas; such presentations greatly increase the reader's motivation to grasp the theoretical material. The student's active participation is the third and final major element in the learning process, and to this end an extensive collection of problems of widely differing difficulty is incorporated."--
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier https://www.worldscientific.com/worldscibooks/10.1142/4592#t=toc
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks
588 ## -
-- Title from web page (viewed December 12, 2018).
520 ## - SUMMARY, ETC.
-- Publisher's website.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Machine theory.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Formal languages.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computational complexity.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Electronic books.

No items available.