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.