Introduction to computability theory
Loading...
Authors
Zucker, J
Pretorius, L
Issue Date
1993
Type
Article
Language
en
Keywords
Computability , Recursion , Primitive recursion , Church-Turing thesis , Recursive enumerability
Alternative Title
Abstract
These are notes for a short introductory course on Computability Theory (or recursive function theory). The basic notion of computability is defined in terms of a simple imperative programming language.
Description
Citation
Zucker J & Pretorius L (1993) Introduction to computability theory. South African Computer Journal, Number 9, 1993
Publisher
South African Computer Society (SAICSIT)
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
2313-7835