Theory of computation / (Record no. 21535)

MARC details
000 -LEADER
fixed length control field 05919cam a2200865 a 4500
001 - CONTROL NUMBER
control field ocn774024206
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220701010949.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr |||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120125s2012 nju ob 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2012003569
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Description conventions pn
Transcribing agency DLC
Modifying agency EBLCP
-- MERUC
-- YDXCP
-- N$T
-- CUS
-- DG1
-- E7B
-- CDX
-- IUL
-- DEBSZ
-- IDEBK
-- COO
-- UMI
-- OCLCF
-- RECBK
-- OCLCQ
-- AZK
-- DG1
019 ## -
-- 795914179
-- 802330607
-- 817082387
-- 852165539
-- 852166392
-- 904962547
-- 927507831
-- 961501436
-- 962591608
-- 966499270
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781118315354
Qualifying information (epub)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1118315359
Qualifying information (epub)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781118315330
Qualifying information (pdf)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1118315332
Qualifying information (pdf)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781118315347
Qualifying information (emobi)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1118315340
Qualifying information (emobi)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781118315361
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1118315367
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 128059246X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781280592461
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9781118014783
Qualifying information (hardback)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 1118014782
Qualifying information (hardback)
024 8# - OTHER STANDARD IDENTIFIER
Standard number or code 9786613622297
028 01 - PUBLISHER NUMBER
Publisher number EB00595499
Source Recorded Books
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000048528601
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000052005881
029 1# - (OCLC)
OCLC library identifier CHNEW
System control number 000602249
029 1# - (OCLC)
OCLC library identifier DEBBG
System control number BV041431014
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 37273913X
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 397224400
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 398268347
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 422916323
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000599638
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14554645
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)774024206
Canceled/invalid control number (OCoLC)795914179
-- (OCoLC)802330607
-- (OCoLC)817082387
-- (OCoLC)852165539
-- (OCoLC)852166392
-- (OCoLC)904962547
-- (OCoLC)927507831
-- (OCoLC)961501436
-- (OCoLC)962591608
-- (OCoLC)966499270
037 ## - SOURCE OF ACQUISITION
Stock number 10.1002/9781118315361
Source of stock number/acquisition Wiley InterScience
Note http://www3.interscience.wiley.com
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.59
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 037000
Source bisacsh
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3/52
Edition number 23
084 ## - OTHER CLASSIFICATION NUMBER
Classification number MAT008000
Source of number bisacsh
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Tourlakis, George J.
245 10 - TITLE STATEMENT
Title Theory of computation /
Statement of responsibility, etc George Tourlakis.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Hoboken, N.J. :
Name of publisher, distributor, etc Wiley,
Date of publication, distribution, etc 2012.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- data file
-- rda
380 ## -
-- Bibliography
520 ## - SUMMARY, ETC.
Summary, etc "In the (meta)theory of computing, the fundamental questions of the limitations of computing are addressed. These limitations, which are intrinsic rather than technology dependent, may immediatly rule out the existence of algorithmic solutions for some problems while for others they rule out efficient solutions. The author's approach is anchored on the concrete (and assumed) practical knowledge about general computer programming, attained readers in a first year programming course, as well as the knowledge of discrete mathematics at the same level. The book develops the metatheory of general computing and builds on the reader's prior computing experience. Metatheory via the programming formalism known as Shepherdson-Sturgis Unbounded Register Machines (URM)--a straightforward abstraction of modern highlevel programming languages--is developed. Restrictions of the URM programming language are also discussed. The author has chosen to focus on the highlevel language approach of URMs as opposed to the Turing Machine since URMs relate more directly to programming learned in prior experiences. The author presents the topics of automata and languages only after readers become familiar, to some extent, with the (general) computability theory including the special computability theory of more "practical" functions, the primitive recursive functions. Automata are presented as a very restricted programming formalism, and their limitations (in expressivity) and their associated languages are studied. In addition, this book contains tools that, in principle, can search a set of algorithms to see whether a problem is solvable, or more specifically, if it can be solved by an algorithm whose computations are efficient. Chapter coverage includes: Mathematical Background; Algorithms, Computable Functions, and Computations; A Subset of the URM Language: FA and NFA; and Adding a Stack to an NFA: Pushdown Automata"--
-- Provided by publisher.
520 ## - SUMMARY, ETC.
Summary, etc "The book develops the metatheory of general computing and builds on the reader's prior computing experience. Metatheory via the programming formalism known as Shepherdson-Sturgis Unbounded Register Machines (URM)--a straightforward abstraction of modern high-level programming languages--is developed. Restrictions of the URM programming language are also discussed. The author has chosen to focus on the high-level language approach of URMs as opposed to the Turing Machine since URMs relate more directly to programming learned in prior experiences"--
-- Provided by publisher.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# -
-- Print version record and CIP data provided by publisher.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1 Mathematical foundations -- 2. Algorithms, computable functions and computations -- 3. A subset of the URM language; FA and NFA -- 4. Adding a stack to a NFA: pushdown automata -- Computational complexity.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Functional programming languages.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Functional programming languages.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element MATHEMATICS
General subdivision Discrete Mathematics.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
Source of heading or term fast
-- (OCoLC)fst00871985
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Functional programming languages.
Source of heading or term fast
-- (OCoLC)fst00936087
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
Source of heading or term local
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Functional programming languages.
Source of heading or term local
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
Source of term local
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading Tourlakis, George J.
Title Theory of computation.
Place, publisher, and date of publication Hoboken, N.J. : Wiley, 2012
International Standard Book Number 9781118014783
Record control number (DLC) 2011051088
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://dx.doi.org/10.1002/9781118315361">http://dx.doi.org/10.1002/9781118315361</a>
Public note Wiley Online Library
994 ## -
-- 92
-- DG1

No items available.