Math 29 Homework #1

The union of the mathematician with the poet,
fervor with measure, passion with correctness,
this surely is the ideal.
William James

Reading

Read the handouts from class.
Read what we covered in today's class: Preface, 1.1, 1.2
Read what we will cover in the next class: 1.3

When reading the Preface pay special attention to the following concepts:

  • set, subset, union, intersection, difference, complement, N, N+, Z, ordered pair, Cartesian product, An, domain of a function, range of a function, restriction of a function, extension of a function, composition of functions, partial function on N, total function on N, n-ary relation, iff, ->, <->, upside down A, backwards E.
When reading 1.1 pay special attention to the following concepts:
  • algorithm, effective procedure, computable, noncomputable.
When reading 1.2 pay special attention to the following concepts:
  • URM, register, instruction, program, zero instruction, successor instruction, transfer instruction, jump instruction, initial configuration, final configuration, how one moves through a list of instructions when preforming a computation, flow diagram, convergent computation, divergent computation.
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.

Problems

The following problems are due by the beginning of class on Wednesday 3/31.
  • Define and give an example for each of the following:
    • URM
    • converge/diverge
    • URM-computable function
  • Specify a URM which does not halt.
  • p. 14, # 2.2
  • p. 16, # 2.3
  • p. 21, # 3.3.1a

Presentations

The following are the choices available for the first presentations. More options will be provided if necessary:
  • Theorem 2.3.1 on Monday 4/5
  • Theorem 2.4.4 on Wednesday 4/7
  • Theorem 2.5.2 on Friday 4/9