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.