Operaatori abil (*)-arvutatavatest funktsioonidest saadud funktsioonide (*)-arvutatavus Tallinn 2014 Sissejuhatus Käesolevas referaadis keskendume operaatori abil saadud funktsioonide (*)-arvutatavusele, need funktsioonid on osaliselt rekursiivsed. Selleks, et uurida selliseid protsesse toome sisse vajalikud mõisted ja definitsioonid ning tõestame lemma, mis tõestab, et (*)-arvutatavatest funktsioonidest operaatori abil saadud funktsioonid on samuti (*)-arvutatavad. Anname ka
nt α = ⟨aa, bb, abb⟩ ja β = ⟨aab, ba, b⟩ Kui võtame indeksite järjestuse 1,2,1,3, siis α-sõnedest saame: aa bb aa abb ja β-sõnedest: aab ba aab b. KV-keelte ühesuse probleem pole algoritmiliselt lahenduv Church-Turingi tees: Iga efektiivselt (algoritmiliselt) arvutatav funktsioon on realiseeritav (arvutatav) Turingi masinal. Ehk iga asja, mida saab normaalse aja jooksul välja arvutada, saab arvutada ka Turingi masinal. 18 Lihtrekursiivsed funktsioonid, nende arvutatavus Turingi mõttes. DEF: Lihtrekursiivsed funktsioonid on konstrueeritavad elementaarfunktsioonidest superpositsiooni- ja rekursioonioperaatori abil. Lihtrekursiivsed funktsioonid on kõikjal määratud. nt summa, korrutis, x!, sign Elementaarfunktsioonideks loetakse järgmised funktsioonid: • konstantne funktsioon On : Nn → N, mis iga väärtuste komplekti x1,...,xn ∈ N korral omab väärtust 0.
1938, Shannon'i magistritöö sidus: Boole algebra. lihtsamalt;Kommertsrakendused: kliendile Elektrilülitid ja -skeemid. Bitid ja info kodeerimise. mainstream-tehnoloogiaks eriti järsult aktsiahindade meelepäraseid asju. Arvutiteadus - Matemaatiline Info otsimise algoritmid. tõusu.Tekkis palju firmasid, kes ei andnud üldse arvutiteadus(Algebra eriharud, Arvutatavus, kasumit, ainult kulutasid raha, kuid mille aktsiaid osteti Keerukus), Praktilisem arvutiteadus (Algoritmika, Verifitseerimine, järelduste automatiseerimine, 1939-1942 Atanasoff. esimene elektronarvuti? tohutu hinnaga
Peer-to-peer (P2P) tehnoloogial põhinevad meelepäraseid asju. Arvutiteadus - 2.Operatsioonisüsteemi muud funkt 1964 - CDC's 6600 supercomputer(Cray),Basic failivahetuse-süsteemid ((Napster), (Morpheus), Matemaatiline arvutiteadus(Algebra eriharud, ,kasutajate progekeel(Kurtz,Kemeny). Arvutatavus, Keerukus), Praktilisem arvutiteadus andmebaas,tarkvarahaldus,kettaressursside Kazaa, eDonkey, bittorrent jne) ja hiljem netitelefon (mh (Algoritmika, Verifitseerimine, järelduste haldus,monitoring. Tarkvara arhitektuur mingi 1965 – Moores law(integrated circuits double iga Skype)
-n on realiseeritav registermasinal. Tõestus kirjutame Turingi masina üleminekufunktsiooni registermasina mällu. Iga registermasina programm on realiseeritav Turingi masinal: Esitame registermasina kõigi nullist erinevate registrite sisu Turingi masina lindil Turingi masin ja registermasin on arvutatavuse mõttes ekvivalentsed. Church-Turingi tees: iga efektiivselt arvutatav funktsioon on realiseeritav Turingi masinal 24. Lihtrekursiivsed funktsioonid, nende arvutatavus Turingi mõttes. Arvtatavuseks piisab kolmest operaatorist: · superpositsioon (f.-nide järjest rakendamine) · rekursioon (f.-ni rakendamine iseenda sees omaenese eelmistele väärtustele) · minimeerimine arvutamine teatud tingimuse täitumiseni Superpositsioon: n-kohaline f.-n f on saadud m kohalisest f.-nist g ja n kohalistest f.-nidest hi (i = 1,..,m) superpositsioonioperaatori rakendamisel, kui f = Sm+1(g;h1,..,hm) = g(h1,..,hm) Rekursioon:
The language of the computing machine. All instructions must be in the form of binary numbers (binary code). Stored-program Computer: Also known as the von Neumann-type computer. Has memory - a place to keep both: instructions (ie program) and the needed information (ie data) needed for computation by the computer. Matemaatiline arvutiteadus Algebra eriharud Arvutatavus Keerukus Praktilisem arvutiteadus Algoritmika Verifitseerimine, järelduste automatiseerimine Õppimine Keeled ja kompilaatorid Krüpto Veel praktilisem arvutiteadus Andmebaaside teooria ja tehnoloogia Failisüsteemide ... Arvutigraafika ... Võrgusüsteemide ... Laiatarberakendused Opsüsteemid, draiverid jms
möödunud. · Ärikatkestuse kindlustus streikide vastu. Üldiselt võib tööandja kindlustamist streikide vastu lugeda vastuolus olevaks riikliku poliitikaga. Samuti on probleemiks õige suurusega preemia arvutamine. · Natsionaliseerimise riskid. Maades, kus esineb natsionaliseerimise risk, on probleemiks nii sündmuse juhuslikkus, kindlustuspreemia (arvutatavus) ja seadusand likudpiirangud(kindlustuskate oleks vastuolus valitsuse kavadega). · Kate tänavarahutuste vastu peaks olema riigi ülesanne. · Moraalse kahju hüvitamine. Tihti kahjutasud määratakse kohtute poolt, kes määravad tihti mittefüüsilise kahju hüvitamiseks suuri summasid. Kriitilisteks kriteeriumiteks on siinkohal maksimaalne võimalik kahju ja kindlustuspreemia 25
annaabi.ee 
