Õppeaine 'Loogika ja algoritmiteooria'Nimi inglise keeles: Logic and Algorithms Theory /Discrete Mathematics
ÜldkirjeldusKursuse esimene osa on pühendatud abstraktsetel struktuuridel mää-ratletud elementaarsetele konstruktsioonisammudele ja keerulisematele konstruktsioo-nidele, mille raames saab käsitleda nii algoritmiteoorias kui ka loogikas kasutatavate termide, valemite, tuletuste jms moodustamist. Kursuse teine osa lähtub algoritmilise arvutamise määratlemise erinevatest alustest, millele tuginevad sellised formalismid nagu piiramatu arvu registritega masinad, Turingi masinad ning operaatortermid. Edasine käsitlus tugineb valdavalt operaatortermide mõistele ja Church'i teesile. Lähemalt vaadeldakse rekursiivsete funktsioonide esitamise (Kleene normaalkuju) ja numereerimisega seotud probleeme. Algoritmiliste arvutuste keerukuse käsitlus lähtub Blum'i aksiomaatikast, millega on kooskõlas nn ajalise ning mahulise keerukuse mõisted ja nende abil vaadeldavad NP-täielikud ülesanded. Kursuse kolmas osa on seotud loogiliste konstruktsioonidega (termid, valemid, tuletussammud, tuletused ja interpretatsioonid). Nimetatud konstruktsioonide määratlemise aluseks on tekstide transformeerimise protseduur.
Õpetatakse järgmistes õppekavades2007: ISa-k * Valikaine
Seotud ained
| ||||||||||||||||
