Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse Registreeri konto
Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjale LOE EDASI Sulge

"predikaatloogika" - 8 õppematerjali

thumbnail
30
pdf

Loogika konspekt 1-5

SISSEJUHATUS Mõtlemine on käsiteldav kui igasugune aktiivne vaimne protsess. Tulemuslikku mõtlemist iseloomustab abstraheerimine, analüüs ja süntees. Mõtlemisvahendite põhjal võib seda jaotada · kaemuslik-motoorne, · kujundlik · sõnalis-loogiline (verbaal-loogiline). Sõnalis-loogiline mõtlemine tugineb mõistetele. Verbaalne mõtlemine avaldub inimese oskuses ... · opereerida mõistetega, neid võrrelda ja analüüsida; · püstitada hüpoteese, formuleerida kontseptsioone ja teooriaid; · seletada olemasolevaid teadmisi; · saada uusi teadmisi olemasolevate põhjal. Ratsionaalne mõtlemine on järjekindel ja reeglipärane (ehk loogiline) mõtlemine. See võib olla korrigeeritud kogemusega, mille allikaks peetakse tegelikkust. Eesmärgiks on sageli tegelikkusega kohanemine. Irratsionaalne mõt...

Loogika
335 allalaadimist
thumbnail
6
docx

Formaalsed lähenemised keeleteaduses

Fonoloogiline hierarhia Lausung > intonatsiooniline fraas > fonoloogiline fraas > prosoodiline sõna () > jalg ehk kõnetakt (F, ) > silp () > moora () > segment ehk foneem 2. Foneem, allofoon Foneem ­ foneemi ei öelda välja, s.o abstraktne üksus. Ei sõltu kontekstist, vaid hääldus eristab, nii on nt provansaali keeles 'õhtu' seRo ja 'saag' sero (kontekst on sama: se_o) Allofoon ­ allofoone öeldakse selgelt välja. Konteksti poolt määratud, nt kas mõnes Lõuna-Rootsi dialektis on R alati silbi alguses ja r on alati silbi koodas. Foneemid eristavad alati tähendusi, allofoonid on foneemivariandid. Provanssaali r ja R eristavad tähendusi, järelikult need on kaks erinevat foneemi, samuti ph, p ja b hindi keeles. (ph on tegelikult üks häälik, aspireeritud p, aga seda märgitakse transkriptsioonis kahe tähega) Eesti keeles on klusiilide kirjapilt segadusseajav. Tegelikult "sada" hääldub [sata]. Mõni inimene hä...

Eesti keel
143 allalaadimist
thumbnail
348
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tšcnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: • sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; • mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; • teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma mõtteid väljendada; • loogika kui teadus (õpetus, filosoofia vms), mis uurib keeles väljenduva mõtlemise kõige...

Õigus
39 allalaadimist
thumbnail
4
docx

Loogika Arvestustöö

Kas arutlus kehtib? a) Iga inimene loeb raamatuid. Mõni raamat on huvitav. Mõni inimene loeb huvitavaid raamatuid. b) Iga koer haugub. Mõni koer on koduloom. Mõni koduloom haugub. 2. Tõeväärtustabelite meetod. Kas hulk on kooskõlaline? {A ~B, ~(A&C), ~A} 3. Esitada antud lause predikaatloogika keeles kõigis tüüpides. Milline lause räägib esialgsele vastu? Ükski hobune ei ole ratsahobune. 4. Defineeritud on järgmised predikaadid: Tx: x on professor Px: x on professor Ex: x on edukas Lx: x peab loenguid Kx: x korraldab treeninguid Bx: x käib treeningutel Kirjuta predikaatloogika keeles: a. Mõni treener ei käi treeningutel. b. Kõik professorid peavad loenguid. c. Iga treener, kes korraldab treeninguid, on edukas. d...

Loogika
15 allalaadimist
thumbnail
30
docx

Loogika

Nõuded tuletusreeglitele: Korrektsus- iga tuletusreegel peab olema kehtiv arutlusvorm Kompaktsus- reegleid ei tohi olla liiga palju, neid peab olema lihtne meelde jätta Tuletussüsteemi täielikkus- kõikide kehtivate järeldamisprotsesside kehtivust peab saama reeglite abil tõestada: järeldamine on kehtiv, kui iga selle samm on kehtiv(nt lauseloogika, predikaatloogika vms kehtivad järeldamised) TINGIMUSLIK TÕESTUS ehk IMPLIKATSIOONI SISSETOOMINE Vajadus tingimusliku tõestuse järele ilmneb siis, kui on vaja tõestada tingimuslik lause p—)q ja seda on raske(või võimatu)teha põhiliste reeglite abil. Tingimusliku(konditsionaalse) tõestuse puhul sisaldab tuletuse jada lõike, mis sõltuvad lisaks üldistele eeldustele ka hüpoteesist p kui täiendavast eeldusest. Sellist lõiku nimetatakse ALAMTULETUSTEKS ning seda tähistatakse...

Loogika
43 allalaadimist
thumbnail
18
pdf

Loogilise programmeerimise 1.kontrolltöö konspekt

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...

Tarkvaratehnika
127 allalaadimist
thumbnail
21
docx

Graafid ja matemaatiline loogika eksamimaterjal

, Fn järeldub valem G, kui igas interpretatsioonis valemite vabade muutujate kõikidel väärtustel, kus valemid F1, F2, ... , Fn on tõesed, on ka valem G tõene Valemeid F ja G nimetatakse samaväärseteks, kui nende tõeväärtused on võrdsed igas interpretatsioonis valemite vabade muutujate kõikidel väärtustel Churchi teoreem: ei leidu algoritmi, mis suudaks suvalise predikaatloogika valemi puhul kindlaks teha, kas valem on samaselt tõene Igasuguse lõpliku võimsusega ja loenduva hulga interpretatsioonide vaatlemine on vajalik, sest saab konstrueerida valemi, mis on tõene parajasti siis, kui kandjas on n elementi, ja saab konstrueerida kehtestatava valemi, mis on väär igas lõpliku kandjaga interpretatsioonis Kui signatuur on lõplik või loenduv, siis loenduvast suuremate kandjate vaatlemine pole vajalik...

Algebra I
21 allalaadimist
thumbnail
197
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tscnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: · sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; · mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; · teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma...

Matemaatika ja loogika
27 allalaadimist


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