Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse
Sulge

"formaliseeritavad" - 5 õppematerjali

Õigusnormi liigitus
10
docx

Õigusnormi liigitus

- otsene viide – viidatakse otseselt seadusele (e kui õigusnormi tekst sisaldab osunduse sama õigusakti teisele paragrahvile); - blanketne viide – tuleb seadusest ise järgi vaadata (e õigusnorm osundab mõnes muus õigusaktis sisalduvale õigusnormile); 3 c) kitsendav – on selline norm, kus on mingid piirid, nt tähtajad. Kitsendavad õigusnormid on formaliseeritavad lauseks: Kui faktilisele koosseisule T lisandub tunnus K, siis T-ga seotud õiguslik tagajärg R ei kehti. 7. Aarnio järgi: konstitutiivne või mitte. Konstitutiivsed normid on seejuures menetlusnorm, kompetentsinorm või definitsiooninorm e legaaldefinitsioon (seaduskeele määratlus). Konstitutiivne norm – määrab üldisi tingimusi ja ühiskonna ametlikku toimimist. On adresseeritud avalikule võimule.

Õigus → Õiguse alused
72 allalaadimist
ÕIGUSE ENTSÜKLOPEEDIA II-Õigusnormid
24
docx

ÕIGUSE ENTSÜKLOPEEDIA II: Õigusnormid

õigusnormide toime  Seletav – määratlevad faktilist koosseisu, selle elementi, tagajärge.  Viitav – viiteline (sama õigusakti mõni teine paragrahv), blanketne (muus õigusaktis oleval norm)  Kitsendav – välistatakse olukord, kus õigusnormi faktilist koosseisu saab sõna mõttest lähtuvalt laiendada ka nendele elulistele asjaoludele, mille suhtes ta ei tohi kehtida. Kitsendavad õigusnormid on formaliseeritavad lauseks: Kui hüpoteesile lisandub tunnus X, siis hüpoteesiga seotud õiguslik tagajärg ei kehti  kitsendavad õigusnormid sisaldavad mittekehtivuse, mis on aga mõistetav ainult seoses positiivse (õigusnormist tuleneva) kehtimisega. Seadusandja või õigusnormi looja käitub nii, sest kõikide „piiravate tunnuste” loetlemine positiivses õiguses on raskendatud või tahab ta

Õigus → Õigus
126 allalaadimist
Loogika ja programmeerimine
89
doc

Loogika ja programmeerimine

valikust tulenevate tagajärgede kasulikkust, tulemuslikkust, meeldivust ja teisi aspekte. Programmeerimises on valiku tagamaad teistsugused kui elus. Programmi kirjutades me teame valiku tagajärgi täpselt (need kujundame ja kirjutame ju ise) ja seega peame keskendama oma tähelepanu nendele kriteeriumidele, mis on valiku tegemise aluseks. Programmeerimises kasutatavate valikutega on lihtsam kui elus ettetulevatega - nad on formaliseeritavad ehk üheseltmõistetavalt kirja pandavad. Programmis ei saa kasutada valiku tegemiseks tingimust kujul 'Kui see värv on meeldiv, siis ...', sest meeldivuse hindamine on mitteformaliseeritav tegevus. Programmeerimise algkursus 36 - 89 Järgnevalt püüan ma anda ülevaate erinevatest valikute realiseerimise võimalustest meie poolt vaadeldavates programmeerimiskeeltes. TINGIMUSLAUSE

Informaatika → Arvutiõpetus
214 allalaadimist
Otsustusprotsesside alused kordamisküsimuste vastused alternatiiv
116
pdf

Otsustusprotsesside alused kordamisküsimuste vastused alternatiiv

formaalsel käsitlusel ühendada juhtimisülesannete lahendamine praktiliste tingimustega. - Ühiskonna tasandil toimub juhtimise spetsialiseerumine allsüsteemide lõikes. Majandus ühiskonna ühe tähtsama allsüsteemina on perspektiivikamaid otsustusteooria rakendamise valdkondi. Põhjus ei peitu üksnes majanduse ühiskondlikus tähtsuses. Majandusprobleemid on oma olemuselt lihtsamini formaliseeritavad ja kvantifitseeritavad kui juhtimisprobleemid mõnes teises ühiskonnaelu valdkonnas. Peale selle on majanduse juhtimise arendamise probleemid piisavalt läbi uuritud ning üldistes ja spetsiaalsetes majandusteadustes käsitletud, mis aitab kaasa probleemide interpreteerimisele mingi uue teooria raames. Seetõttu on otsustusteooria välja töötatud majanduse problemaatikale toetudes, arvestades majanduse spetsiifilisi omadusi ning lähtudes

Majandus → Majandus
15 allalaadimist
Programeerimise algkursus 2005-2006
230
pdf

Programeerimise algkursus 2005-2006

selleks, et hinnata valikust tulenevate tagajärgede kasulikkust, tulemuslikkust, meeldivust ja teisi aspekte. Programmeerimises on valiku tagamaad teistsugused kui elus. Programmi kirjutades me teame valiku tagajärgi täpselt (need kujundame ja kirjutame ju ise) ja seega peame keskendama oma tähelepanu nendele kriteeriumidele, mis on valiku tegemise aluseks. Programmeerimises kasutatavate valikutega on lihtsam kui elus ettetulevatega - nad on formaliseeritavad ehk üheseltmõistetavalt kirja pandavad. Programmis ei saa kasutada valiku tegemiseks tingimust kujul 'Kui see värv on meeldiv, siis ...', sest meeldivuse hindamine on mitteformaliseeritav tegevus. Järgnevalt püüan ma anda ülevaate erinevatest valikute realiseerimise võimalustest meie poolt vaadeldavates programmeerimiskeeltes. Tingimuslause Väga tihti on programmi kirjutamisel vaja käskude täitmise järjekord suunata

Informaatika → Programmeerimine
39 allalaadimist


Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun