ASCOT Library Zabali Campus catalog › Details for: Algebraic computability and enumeration models :

Normal view MARC view ISBD view

Algebraic computability and enumeration models :

by Nourani, Cyrus F. Published by : CRC Press (Canada) Physical details: xiv, 295 pages ; Illus. ISBN:9781771882477 (hardcover : alk. paper).

Subject(s): Functor theory. | Model theory. | Computable functions. | Algebra, Homological. | Kleene algebra.

Year: 2016

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 2 )
Comments ( 0 )

Item type	Current location	Collection	Call number	Status	Date due	Barcode
Books	ASCOT Library - Zabali Campus Reference	Reference	004.0151 (Browse shelf)	Available		4236

Browsing ASCOT Library - Zabali Campus shelves, Shelving location: Reference, Collection: Reference Close shelf browser

Previous								Next
Previous	004 Introduction to Computer Science	004 Technology Now: YourCompanion to SAM Computer Concepts	004.0151 Advances in Computing Science- ASIAN'98	004.0151 Algebraic computability and enumeration models :	004.01/9 The Wiley Handbook of Human Computer Interaction Set	004.01/9 The Wiley Handbook of Human Computer Interaction Set	004.019 Modeling Human-System Interaction: Philosophical and Methodological Considerations, with Examples	Next

Includes index.

Introduction -- Computing categories, language fragments, and models -- Functorial admissible models -- Initial tree computing and languages -- Descriptive sets and infinitary languages -- Complexity and computing -- Arithmetic hierarchy and enumeration degrees -- Peano arithmetic models and computability -- Realizability and computability.

There are no comments on this title.

to post a comment.