klientettevõttele ning otstarbekate lahenduste kasutamise eest. o Reageerib: projektijuht annab tööülesande tööülesande täitmisel on tekkinud probleem tarnija annab üle töötulemi o Infovajadused: tööülesanded nõudmised süsteemi arhitektuurile tarnija poolt pakutud lahendused muudatused oodatavates tulemites töövahendid/võimalused o Kasutuslood: tööülesannete täitmine probleemide/muudatusettepanekute haldamine aruandlus projektijuhile Lõppkasutajad o Vastutab: projektiga rajatava tarkvara nõuete kirjeldamise ja tarkvara vastuvõtmise või tagasilükkamise eest. o Reageerib: Projektijuht vajab projekti eesmärkide kijeldusi
Moodne vasakpoolsus (Giddens,1998. The Third way: the Renewal of Social democracy) Vana sots.demokraatia Uus sots.demokraatia Neoliberalism Diskursus Õigused, turutõrked, Õigused ja kohustused, Kohustused, riigi õiglus turu ja riigi tõrked, tõrked, tõhusus õiglus ja tõhusus Väärtused Võrdsus tulemites Kaasatus Võrdsed võimalused Poliitika eesmärgid Võrdsus, turvalisus, Positiivne heaolu Korras majandus täistööhõive employabilit Poliitika vahendid Riiklikud meetmed, Sektorite partnerlus, Erasektor, vabaturg turvaline tööturg, kõrged flexicurity, invest. töösuhetes, madalad
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 tulemites, selleks saab kasutada teisendusreegleid ehk asendusreegleid. Teisendusreegel lubab mingi sümboli või valemi asendada teise sümboli või valemiga. Asendusi saab teha ka valemi sees. Nt koolialgebra valemites võib valemi (a + a) asendada sümboliga 2a, lausearvutuses võib valemis (¬A ˅ B) & (A → ¬A ˅ B) iga disjunktsiooni kujul ¬A ˅ B asendada implikatsiooniga A → B (vt lausearvutuse teisendusreeglite tabelit). Teisendusreeglit saab
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 tulemites, selleks saab kasutada teisendusreegleid ehk asendusreegleid. Teisendusreegel lubab mingi sümboli või valemi asendada teise sümboli või valemiga. Asendusi saab teha ka valemi sees. Nt koolialgebra valemites võib valemi (a + a) asendada sümboliga 2a, lausearvutuses võib valemis (¬A B) & (A ¬A B) iga disjunktsiooni kujul ¬A B asendada implikatsiooniga A B (vt lausearvutuse teisendusreeglite tabelit). Teisendusreeglit saab
annaabi.ee 
