Matemaatika mõisteid · Aarsus (inglise keeles arity) - matemaatikas tehte operandide arv, funktsiooni või operaatori argumentide arv. · Alamhulk- Matemaatikas nimetatakse hulka A hulga B alamhulgaks ehk osahulgaks ehk alamsüsteemiks, kui kõik hulga A elemendid on ühtlasi hulga B elemendid. Seda asjaolu tähistatakse A B või A B. Alamhulgaks olemist nimetatakse sisalduvuseks ja asjaolu A B kohta öeldakse ka, et hulk A sisaldub hulgas B. Hulkade vahelist binaarset seost nimetatakse seetõttu sisalduvusseoseks. · Harmooniline võnkumine- Harmooniliseks võnkumiseks ehk siinusvõnkumiseks nimetatakse mis tahes võnkumist, mida saab kirjeldada siinusfunktsiooni või koosinusfunktsiooni abil ja sellise võnkumise võrrandit nimetatakse harmoonilise võnkumise võrrandiks: x = A sin · Lõik- Lõik ehk sirglõik on sirge kaht punkti A ja B ühendav osa, punktid A ja B kaasa arvatud. ...
1. Sissejuhatus: 1.1. Mis on loogiline programmeerimine? l Programmeerimise paradigma l loogiline (LP) l funktsionaalne (FP) l jt Fookus: MIDA ARVUTADA l LP ja FP on deklaratiivsed programmeerimisstiilid; l LP põhineb loogika printsiipidel ja kasutab automaattõestamise protseduure (resolutsioon, unifitseerimine); l LP keel on Prolog, kuid LP ≠ Prolog; 1.1. Mis on loogiline programmeerimine? (2) l LP sobib tehisintellekti rakenduste programmeerimiseks: l loomuliku keele analüüs ( DCG grammatikareeglid) l ekspertsüsteemid (otsingu- ja järeldusreeglid) l kujundituvastus (tuvastusreeglid) l kitsendustega planeerimine (logistika, marsruudi otsimine) l rekursiivsete funktsioonide püsipunkti arvutus l jne l LP ei sobi: l Kiired numbrilised arvutused (n. maatriksarvutused, võrrandid) l OOP (kuigi on toetatud mõnes prologis) l kasu...
mitmesordilisse (many-sorted) loogikasse, mis on märksa keerulisem kui klassikaline predikaatloogika. 3 teada, et Jüri armastab Marit ja rohkem keegi kedagi ei armasta. Ainus tõene lause oleks „Jüri armastab Marit” ning kahekohalise predikaadi Rxy tõehulgaks on indiviidide paar (Jüri; Mari) ning just nimelt sellises järjekorras ja mitte vastupidi. Analoogiliselt saab defineerida ka 3-aarse (ternaarse) predikaadi ning ka n-aarse predikaadi (n-ary predicate, n-place predicate), kus aarsus n (arity, valence) on suvaline naturaalarv. Eesti keeles on kasutusel sõnad paar, kolmik, nelik jne, mis kirjeldavad hulka selle liikmete arvu järgi. Üldisel juhul, kui liikmete arv on suvaline naturaalarv n, on kasutatud kirjeldavat sõna ennik. Nt binaarsele predikaadile vastab indiviidide järjestatud paar, 5-aarsele predikaadile vastab indiviidide järjestatud viisik, n-aarsele predikaadile vastab indiviidide järjestatud ennik. Nullaarne predikaat on lihtsalt lausearvutuse lause, mille
3 teada, et Jüri armastab Marit ja rohkem keegi kedagi ei armasta. Ainus tõene lause oleks ,,Jüri armastab Marit" ning kahekohalise predikaadi Rxy tõehulgaks on indiviidide paar (Jüri; Mari) ning just nimelt sellises järjekorras ja mitte vastupidi. Analoogiliselt saab defineerida ka 3-aarse (ternaarse) predikaadi ning ka n-aarse predikaadi (n-ary predicate, n-place predicate), kus aarsus n (arity, valence) on suvaline naturaalarv. Eesti keeles on kasutusel sõnad paar, kolmik, nelik jne, mis kirjeldavad hulka selle liikmete arvu järgi. Üldisel juhul, kui liikmete arv on suvaline naturaalarv n, on kasutatud kirjeldavat sõna ennik. Nt binaarsele predikaadile vastab indiviidide järjestatud paar, 5-aarsele predikaadile vastab indiviidide järjestatud viisik, n-aarsele predikaadile vastab indiviidide järjestatud ennik. Nullaarne predikaat on lihtsalt lausearvutuse lause, mille