Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Buy Now
Computability and Decidability - An Introduction for Students of Computer Science (Paperback, Softcover reprint of the original 1st ed. 1972)
Loot Price: R1,499
Discovery Miles 14 990
|
|
Computability and Decidability - An Introduction for Students of Computer Science (Paperback, Softcover reprint of the original 1st ed. 1972)
Series: Lecture Notes in Economics and Mathematical Systems, 68
Expected to ship within 10 - 15 working days
|
The present Lecture Notes evolved from a course given at the
Technische Hogeschool Eindhoven and later at the Technische
Hogeschool Twente. They are intended for computer science students;
more specifically, their goal is to introduce the notions of
computability and decidability, and to prepare for the study of
automata theory, formal language theory and the theory of
computing. Except for a general mathematical background no
preliminary knowledge is presupposed, but some experience in
programming may be helpful. While classical treatises on
computability and decidability are oriented towards the foundation
of mathematics or mathematical logic, the present notes try to
relate the subject to computer science. Therefore, the expose is
based on the use of strings rather than on that of natural numbers;
the notations are similar to those in use in automata theory; in
addition, according to a common usage in formal language theory,
most of the proofs of computability are reduced to the semi-formal
description of a procedure the constructivity of which is apparent
to anybody having some programming experience. Notwithstanding
these facts the subject is treated with mathematical rigor; a great
number of informal comments are inserted in order to allow a good
intuitive understanding. I am indebted to all those who drew my
attention to some errors and ambiguities in a preliminary version
of these Notes. I want also to thank Miss L.A. Krukerink for her
diligence in typing the manuscript.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.