|
Reading
Read what we covered in today's class: 1.3, 1.4
Read what we will cover in the next class: 1.5, 2.1, 2.2
When reading 1.3 pay special attention to the following concepts:
- URM-computable function, computable function, flow diagrams, make sure that
you understand the process one goes through in writing programs for URMs.
When reading 1.4 pay special attention to the following concepts:
- predicate, characteristic function of a predicate, decidable predicate,
examples of decidable predicates.
When reading 1.5 pay special attention to the following concepts:
- domain coding, computable function on a domain other than N, the specific coding for Z.
When reading 2.1 pay special attention to the following concepts:
- what are the basic functions?
When reading 2.2 pay special attention to the following concepts:
- Note that this section is fairly detailed and technical, but the details are important
and the effort we expend here will pay back nice dividends in the next couple classes.
subroutine, standard form for a program, Lemma 2.2 (what does it say? why is it important?),
program join, p(P), P[l1,...,ln -> l]
|
|