loogikaks? Tooge näiteid teadmuse esitamise ja arutluse meetodite kohta, mis on ja mis ei ole loogikad. Kas loogika selgitab, kuidas inimene mõtleb? 28. Matemaatiline loogika:keel ja interpretatsioon. Erinevate interpretatsioonide näited. Matemaatiline loogika, on loogika formaliseeritud haru mis on mitmete teadmiste kujutamise keelte aluseks. Mat. Loogika keel on näiteks Prolog. 29. Lausearvutus, predikaatarvutus. Mittemonotoonsed loogikad. CLIPS, JESS ja nende edasiarendused. lk 21 30. Lause, muutuja, loogikatehe. Aksioom, tautoloogia. Tuletusreeglid, järeldamine, tuletus, teooria. Tõeväärtus. Mudel. 31. Semantika. Semantika erinevates valdkondades, selle seosed teadmistega Semantika on keeleüksuse (sõna, lause) tähendus antud kontekstis; aga ka keeleteaduse haru, mis uurib keele ja tegelikkuse suhteid. Üldisemalt, semantika räägib tähendusest; 32
2.1 KOORMUSTE MÄÄRATLUSI • Püsikoormus /permanent action/ − koormus, mis toimib kogu antud arvu- tusliku olukorra kestel ja mille muutused keskväärtuse suhtes on tühised või mille muutused on alati samasuunalised (monotoonsed) kuni koormus saa- vutab teatud piirväärtuse. • Muutuvkoormus /variable action/− − koormus, mis tõenäoliselt ei esine kogu antud arvutusliku olukorra vältel või mille väärtuse muutused keskväärtuse suhtes on märgatavad ja mittemonotoonsed. • Juhukoormus /accidental action/ − koormus, tavaliselt lühiajaline, mille märgatava suurusega ilmnemine arvutusliku tööea kestel on vähetõenäoli- ne. Paljudel juhtudel võib juhukoormus põhjustada raskeid tagajärgi, kui po- le rakendatud eriabinõusid. • Staatiline koormus /static action/− − koormus, mis ei põhjusta konstrukt- siooni või konstruktsioonielementide märgatavat kiirendust.
annaabi.ee 
