Abstract
This is a report on the subjects that I have chosen as material for
an introductory course to the theory of computer science. I have been
teaching such a course for many years and I have tried out many
different approaches - the latest one, described here, seems to be the
most successful one so far.
My main objective has been to introduce the fundamental concepts of
Computability and Specification, Implementation and Verification to
the student in such a way that the essential heuristic ideas, on which
these concepts are based become transparent. It is a nontrivial task to
find a good compromise between the amount of formal detail that is
needed to describe these concepts properly and between the amount of
informal and intuitive argument that is necessary for the student to
clearly see the underlying ideas.
Notes
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca