AUTOMATA AND COMPUTABILITY by Dexter Kozen ( 9780387949079 ) - Books & Audio Books at Pickabook.co.uk

Item Details

Title:

AUTOMATA AND COMPUTABILITY

By:

Dexter Kozen

Format:

Hardback

List price:

£64.99

Our price:

£56.87

Discount:

12.5% off

You save:

£8.12

ISBN 10:

0387949070

ISBN 13:

9780387949079

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

SPRINGER-VERLAG NEW YORK INC.

Pub. date:

30 June, 1997

Edition:

1st. ed. 1997. Corr. 8th printing 2007

Series:

Undergraduate Texts in Computer Science

Pages:

413

Description:

This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging.

Synopsis:

This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and Godel's incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.

Illustrations:

biography

Publication:

Imprint:

Springer-Verlag New York Inc.

Returns:

Returnable

Some other items by this author:

AUTOMATA AND COMPUTABILITY (PB)

DYNAMIC LOGIC

DYNAMIC LOGIC (HB)

DYNAMIC LOGIC (PB)