kirjutamisraskustele esialgse hinnangu, peaks õpetaja spetsiifilisi raskusi täiendavalt ja põhjalikumalt hindama, enne kui diagnoosida lapsel düsleksia. Paljud düsleksiale iseloomulikud tunnused võivad õppetöö käigus selgelt ilmneda, kuid õpetaja peaks düsleksia eripära selgelt mõistma, et selle õpiraskusega last välja selgitada. Lugemine Märkused Muutumatute sõnade meeldejätmine Häälikute segistamine Kontekstuaalsete vihjete kasutamine Tundmatu sõnavara kasutamine Silmaliigutuste jälgimine Raskused järje pidamisel Kõne areng Lugemismotivatsioon Raskused sõnade äratundmisel Sõnade vahelejätmine Fraaside vahelejätmine Ridade vahelejätmine Kirjutamine Märkused Suunataju häired Raskused visuaalse sümboli ja häälduskuju ühendamisega Peab häälikud enne kirjapanekut välja ütlema Ebatavaline kirjaviis Raskesti loetav käekiri Raskused kaldkirjas kirjutamisel 71
kui nõrgemate vihjete poolt (vahistamine, kui nad alustavad kaklust). Vaieldakse, et spetsiifilised situatsioonilised kombinatsioonid tugevatest ja nõrkadest vihjetest toovad esile erinevusi joobnud ja kainete inimeste vahel. Alkoholi mõju piirab kognitiivset võimekust ja häirib kognitiivset funktsioneerimist, nii et tähelepanu on suunatud esiletungivatele vihjetele perifeersete vihjete kulul, tuues kaasa sündmuse perifeersete või kontekstuaalsete detailide häiritud meenutamise. 4 Alkoholi võimalik negatiivne mõju kuriteo pealtnägemisel on selged: Joobes tunnistajad võivad olla vähem keskendunud kuriteo detailidele ja kurjategijale, mis võivad uurimisprotsessis olla ülimalt olulised. Alkoholijoobes tunnistaja, kes on kodeerinud kurjategija kõige silmatorkavama iseärasuse või iseärasused, ei pruugi suuta kodeerida vähem esiletungivat informatsiooni ning tal võib seetõttu olla raskusi sarnase väljanägemisega isikute
7.5), predikaaltloogikas defineeriti predikaatarvutuse süntaks (D.8.7). Tuletussüsteemi kuuluvad alati ka süntaksireeglid, mille põhjal saab otsustada, kas vaadeldav objekt kuulub antud tuletussüsteemi või mitte. Nt saab üles ehitada lausearvutusel põhineva tuletussüsteemi, milles tuleb järgida lausearvutuse süntaksit. Tuletussüsteem koosneb tuletusreeglitest, teisendusreeglitest ja süntaksireeglitest. Oskussõna tuletussüsteem sünonüümideks (mõnetiste kontekstuaalsete eripäradega) on terminid formaalne aksiomaatiline süsteem; arvutus; tõestussüsteem. Tuletus koosneb 2 tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletusreeglid näitavad, mida saab mingi kujuga lausena esitatud väitest (oletusest) või väidetest selles tuletussammus järeldada, milline on sammu tulem. Tuletusreegleid ei tohi kasutada asenduste tegemiseks tuletussammu eeldustes või
7.5), predikaaltloogikas defineeriti predikaatarvutuse süntaks (D.8.7). Tuletussüsteemi kuuluvad alati ka süntaksireeglid, mille põhjal saab otsustada, kas vaadeldav objekt kuulub antud tuletussüsteemi või mitte. Nt saab üles ehitada lausearvutusel põhineva tuletussüsteemi, milles tuleb järgida lausearvutuse süntaksit. Tuletussüsteem koosneb tuletusreeglitest, teisendusreeglitest ja süntaksireeglitest. Oskussõna tuletussüsteem sünonüümideks (mõnetiste kontekstuaalsete eripäradega) on terminid formaalne aksiomaatiline süsteem; arvutus; tõestussüsteem. Tuletus koosneb 2 tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletusreeglid näitavad, mida saab mingi kujuga lausena esitatud väitest (oletusest) või väidetest selles tuletussammus järeldada, milline on sammu tulem