Et Netscape neid avama ei kipuks, on neile pandud ühetäheline
laiend T.
Enne kasutamist nimetada ümber TST-failideks.
Test 1. Lausearvutuse põhimõisted.
Test 2. Samaselt tõesed valemid.
Põhisamaväärsused.
Test 3. Disjunktiivne normaalkuju.
Test 4. Järeldumine.
Test 5. Predikaadid ja kvantorid.
Test 6. I järku keeled
Test 7. Interpretatsioonid.
Test 8. Põhisamaväärsused
I
Test 9. Põhisamaväärsused
II
12. aprilli loengu kohta testi ei ole.
Test 10. Tehetega seotud reeglid.
Test 11. Turingi masina definitsioon ja käsud.
Test 12. Turingi masinate numeratsioon.