Formleg mál og reiknanleiki

Dćmi 11


  1. Sýniđ ađ ef til er Turing-vél sem rekur (enumerates) mál L ţannig ađ stök L koma út í stafrófsröđ, ţá er L rakiđ.

  2. Dćmi 5.20 á bls. 196 í kennslubók.

  3. Dćmi 6.6 á bls. 221 í kennslubók.

  4. Dćmi 7.1 á bls. 271 í kennslubók.

  5. Dćmi 7.2 á bls. 271 í kennslubók.

Skiliđ ţessum dćmum fyrir hádegi mánudaginn 16. nóvember.


hh (hja) hi.is, 10. nóvember, 1998.