Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Loogika ja matemaatika". Need materjalid aitavad sul teemat sügavamalt mõista.
osalause, maril, loogika, lauset, lausearvutus, tõeväärtus, disjunktsioon, osalaused, vabaabielu, pooldajaonjunktsioon, eitus, implikatsioon, vormidest, antiikaeg, parmenides, zenon, induktsioon, seisukohast, deduktsioon, tuletamine, modus, anarhistid, pooldajad, ühegi, vastuolus, aluseta, lauseid, viieni, boole, algebra, liitlause, telekat, söödIT MATEMAATILISED ALUSED Loogika (TAUNO ÕUNAPUU) 30.01.14 Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest. Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles. Loogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kuntslikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. Klassikaline loogika puhul võib eristada kahte formaalset keelt – lausearvutust ja predikaatarvutust. Lausearvutus on klassikalise loogika lihtsaim osa, mis tegeleb lihtlausete vaheliste seoste uurimisega ning mille abil on võimalik välja selgitada, kuidas liitlause tõeväärtus sõltub osalausete tõeväärtustest.Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises.
· 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õtlemine võib olla nt · preloogiline (müüdiline) · superloogiline (müstiline). Ratsionaalse mõtlemise seaduspärasusi ja vorme uurib loogika. Kreekakeelse sõna lÒgoj (logos) tähendusi: üleslugemine, arveteõiendus, õigustamine, suhe, proportsioon seletamine, tõestamine, mõistus, aruanne, esitlemine, (tõsi)lugu, lausung, sõna, väljend; õpetus; filosoofias: inimmõtlemine ja kõnelemine, teaduslik ratsionaalsus. Sõna ,,loogika" levinud tähendusi: · seaduspärasus maailmas, sündmuste loogika; · seaduspärasus mõtetes, mõtlemise loogika;
Et me aga oskaksime viga täpselt sõnastada, peame tundma loogikaseadusi. Loogikaseadused Loogika tegeleb väidete vaheliste formaalsete seostega. Ta ei ütle meile millised väited on tegelikult tõesed (nt väide "G. W. Bush on 2005 aastal USA president" on tõene tänu faktidele, mitte oma loogilisele struktuurile), vaid seda, mis tüüpi väidetest saab järeldada mis tüüpi väiteid. Selle ütlemiseks on terve rida loogikaseadusi. Traditsioonilises formaalse loogika puhul eristatakse nelja põhilist seadust, mida kehtiv arutlus peab järgima. Samasusseadus "Ühes ja samas kohas, ühes ja samas suhtes on tarvilik, et iga mõiste või väide, kui ta esineb arutluses korduvalt, oleks kasutatud iseendale sisuliselt identsena." (Galina Vuks, Traditsiooniline formaalne loogika, Tartu, 1999, lk 23) AA Vasturääkivuse lubamatuse seadus Loogiline arutlus ei tohi olla vasturääkiv. Vasturääkiv on arutlus siis, kui arutluses
1 1. 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
SEMANTILINE KOLMNURK: TEEMA 1!! 1 1. 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 KONSPEKT EKSAMIKS (autor – mis iganes, kas tead teda või mitte, ei vastuta selles materjalis sisalduva informatsiooni (eba)õigsuse eest; palun ärge solvuge ega süüdistage) 1. LOOGIKA PÕHIREEGLID. ! D1.2. Samasusseadus Ühes ja samas arutluses, ühes ja samas suhtes peab iga termin või väide, kui ta esineb arutluses korduvalt, olema kasutatud iseendaga identselt. ! ! See tähendab, et kui me kasutame ühes arutluses mingisugust terminit või väidet korduvalt, ! ! siis ei tohi arutluse sees terminite ja väidete tähendused muutuda. ! D1.3. Vasturääkivusseadus
LOOGIKA KONSPEKT EKSAMIKS (autor mis iganes, kas tead teda või mitte, ei vastuta selles materjalis sisalduva informatsiooni (eba)õigsuse eest; palun ärge solvuge ega süüdistage) 1. LOOGIKA PÕHIREEGLID. ! D1.2. Samasusseadus Ühes ja samas arutluses, ühes ja samas suhtes peab iga termin või väide, kui ta esineb arutluses korduvalt, olema kasutatud iseendaga identselt. ! ! See tähendab, et kui me kasutame ühes arutluses mingisugust terminit või väidet korduvalt, ! ! siis ei tohi arutluse sees terminite ja väidete tähendused muutuda. ! D1.3. Vasturääkivusseadus
Arutlus väljendub keeles lausete hulgana. Klassikalises loogikas käsitletakse arutlust kui propositsioonide hulka või ka kui väidete hulka. Üks neist on järeldus, ülejäänud on eeldused. Tuletis järgneb eeldustest paratamatult (ik necessarily). Et rõhutada tuletise paratamatut iseloomu, alustatakse tema sõnastamist väljendiga järelikult, siit järeldub või sellepärast jt. Neid väljendeid nimetatakse eelduse ja tuletuse seoseks. Loogika ülesandeks on seaduste ja printsiipide formaliseerimine, millest kinnipidamine on paratamatu, kui soovime saada tõestest eeldustest tõese järelduse. Loogikas on mitmeid formaliseeritud süsteeme ning järeldamise reeglid ja printsiibid on teatud mõttes suhtelised, nad sõltuvad konkreetse loogika valdkonna süntaksi iseärasustest. Kuigi arutluse kehtivust saab kontrollida mitmeti, on suure enamuse loogikavaldkondade arutlusmeetodite aluseks ikkagi klassikaline loogika.
Diskreetse Matemaatika alla kuuluvad: Formaalsete esituste ainus otstarve on nendes sisalduv info hiljem jälle verbaalseks (ehk mõnda lingvistilisse keelde) tagasi "üles lugeda" — Hulgad: Hulgaalgebra (Cantori algebra), Hulgaaritmeetika (taastada). — Loogika: Lausearvutus, Predikaatarvutus, Tõestusmeetodid Mistahes formaalne esitus peab olema üheselt tõlgendatav! — Loogikaalgebra (Boole'i algebra) — Loogikafunktsioonid: minimeerimine, normaalkujud . . . — Algebralised struktuurid: "mitteformaalne" ≡ "verbaalne" (sünonüümid) Fundamentaalalgebrad: Võred, Rühmad, Ringid, Korpused
Loogika – sissejuhatus ja põhimõisted Järeldus on 1 lause Klassikalise loogika põhiseadused: samasuse ehk identsuse seadus, vasturääkivusseadus, välistatud kolmanda seadus, Aristoteles (384-322) vb aluse seadus. Gottfried Wilhelm Leibniz (1646 – 1716) Loogika roll Loogika ei suuda üldjuhul öelda meile, millised väited või uskumused vastavad tõele. Tõde tähendab, et me teame, kuidas asjad on. Loogika ei ütle meile seda. Loogika valdamine aitab meil otsustada, kas meie väljakujunenud uskumused ja seisukohad on omavahel kooskõlas. Kooskõlalisus Hulk väiteid või uskumusi on omavahel kooskõlas parajasti siis, kui kõik selle hulga liikmed saavad olla korraga tõesed. Vastasel juhul on see hulk mittekooskõlaline. Sellisel juhul ütleme, et vaatlusaluseid väiteid ei saa korraga jaatada. Näide: Oletame, et keegi usub kõike järgnevat: Igaüks, kes võtab astroloogiat tõsiselt, on hullumeelne.
1.LOOGIKA AINE JA PÕHIREEGLID Ratsionaalne mõtlemine- järjekindel ja reeglipärane mõisteline mõtlemine, kusjuures reeglid peavad olema mingil viisil õigustatud. Need võivad tugineda nt kogemuse üldisusele, mille allikaks peetakse tihti tegelikkust. Ratsionaalse mõtlemise eesmärk- tegelikkusega kohanemine. LOOGIKA UURIMISVALDKOND ongi peamiselt ratsionaalse mõtlemise seaduspärasused ja mõtlemise aktide produktid. Irratsionaalne mõtlemine- ebakindel, reeglipäratu või järgib väljendamatuid või vaieldavaid reegleid. Ei kuulu otseselt loogika uurimisvaldkonda, kuid selle olemasoluga tuleb arvestada. Võib tugineda mõtleja sisemistele ajenditele, nt soovidele või hirmudele, sageli neid ajendeid ei teadvustata. Mõnikord on mõtlemise aluseks irratsionaalne soov või usk, aga arutluskäigud
SISSEJUHATUS MATEMAATILISSE LOOGIKASSE Kordamisküsimused (orienteeruv) Mõnede sümbolite tähendused sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor Signatuur Implikatsioon Samaväärsus Loogiline järeldumine I. Lausearvutus Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel. Laused Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada
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 kasutajaliideste programmeerimine (tugi on
Loogija ja juriidiline argumentatsioon LOENG 1 Loogika – logos - teadus õigest mõtlemisest. Mõtlemisreeglid. Väidete põhjendamise teadus. Loogika kui inimtegevuse teatud järjepidevus. Loogika on kõige lähedasem matemaatika. Loogika on normatiivne teadus, mis määrab mõtlemise reeglid. Meil on vaja loogikat väitluskunstiks. Argumenteerimisoskus, teadustöö tegemises jne.Loogika aitab paremini pidada kõnesid. Jaguneb: Formaalseks-see millega meie tegeleme, matemaatiline loogika; dialektiline loogika-tegeleb seoste ja dünaamikaga. Formaalloogika uurib õige mõtlemise üldstruktuure selle keerulises vormis. Formaalloogika põhimõisteks on mõtlemise loogiline vorm.
Prangi loogikaõpikule "Mõtlemisest tõestamiseni" Tanel Tammet Department of Computer Sciences, University of Göteborg and Chalmers University of Technology, 41296 Göteborg, Sweden email: [email protected] Puhta loogika eesmärk on olla õige kõigis võimalikes maailmades, mitte ainult selles veider-segases vaevarikkas maailmas, kuhu juhus meid on heitnud. Loogik peab eneses alal hoidma teatud annuse jumalikkust: ta ei tohi alanduda selleni, et teha järeldusi enese ümber nähtust. B.Russell, ``Sissejuhatus matemaatilisse filosoofiasse''. Kui loogika oleks olemas isegi juhul, kui maailma ei oleks, siis kuidas saab loogika olemas olla olukorras,
Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI- tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷↔𝑸 on nagu 𝑃→𝑄 ja samal ajal ka 𝑄→𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem
Diskreetse matemaatika elemendid 2013/2014 LAUSEARVUTUS. TÕESTUSED. 1. Lausearvutuse lausetele esitatavad tingimused. [1] o Välistatud kolmanda seadus. Iga lause on kas tõene või väär. o Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. o Nende nõuete põhjal kuuluvad vaadeldavate hulka ainult nii sugused laused, mis midagi väidavad, kusjuures sellel väitel on olemas ühene tõeväärtus. o . Välistatud kolmanda seaduse nõudel jäävad kõrvale kõik küsilaused ja paljud hüüdlaused, samuti kõik käsud ning mõttetud sõnaühendid. Mitte-vasturääkivuse seadus välistab mitmesugused paradoksid, näiteks „See lause siin on väär“, ja muud taolised väited, mille tõeväärtust pole võimalik üheselt määrata. o Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2. Lausearvutuse tehted. Tehete järjekord
LAUSEARVUTUS Küsimus 1 Õige Hinne 1,00 / 1,00 otsusta, kas see väide on tõene või vale: "Tautoloogia" on lause, mille tõeväärtus on alati VALE. Tõene Väär Küsimus 2 Õige Hinne 1,00 / 1,00 Mida tähendab hüüumärgiga eksistentsikvantor? Vali üks: hüüumärk muudab kvantori tähenduse vastupidiseks hüüumärk täpsustab, et "leidub täpselt 1" hüüumärk rõhutab kvantori suurt tähtsust Küsimus 3 Õige Hinne 1,00 / 1,00 Kui loogikaavaldises pole sulgudega määratud tehete järjekorda, siis KONJUNKTSIOONi, DISJUNKTSIOONi ja INVERSIOONi leidumisel avaldises . . .
" 1. Antud juhul P(x, y) = ,,x < y" 2. ¬(x y , x < y) 3. x y , ¬(x < y) 4. x y , x y Leidub reaalarv x nii, et mis tahes reaalarvu y korral x y. 2. LOENG Lausearvutuse põhimõisted Loogika (kr. logiké techne mõtlemiskunst, logos sõna, mõiste, mõistus) on teadus õigest mõtlemisest, selle vormidest ja struktuuridest. Traditsioonilise loogika aluseks on mõtlemisseadused, mida kutsutakse ka loogika aksioomideks: 1. samasuse seadus 2. vasturääkivuste lubamatuse seadus 3. välistatud kolmanda seadus 4. küllaldase aluse seadus Matemaatiline loogika on loogika haru, milles loogikaprobleemide käsitlemiseks kasutatakse matemaatilisi meetodeid. Kokkulepped: Lausearvutuse lauseks võib olla igasugune lause, mille puhul saame rääkida selle sisu vastavusest tegelikkusele. Seejuures eeldame, et 1
Õpetaja Ilmar Lilleorg Maria Sillandi RP 121-T LOOGIKA Aine lõppeb testiga. Mis koosneb ülesannetest (Täpne mõistete sisu: mis on loogika, mis on mõtlemine - 3-4 küsimust). 70p. 51% on positiivse hinde piir. Töös tehnikat kasutada ei tohi. Õpetaja annab A4 formaadis spikri ise tööle. Materjalid: 1. Õppejõud. 2. Loogika harjutused ja ülesanded 1999 (pole kiiret sellega) On ka digiväljaandes. 3. http://web.zone.ee/aristoteles/ 4. Ene Graiberg ''Loogika, keel ja mõtlemine'' 1996 5. Galine Vuks ''Formaalse loogika ehk õige mõtlemise alused'' 1991 Aristotelese loogika (klassikaline loogika, formaalne loogika,
Lihtlause on lihtsaim võimalik lausearvutuslause. Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI-tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷 ↔ 𝑸 on nagu 𝑃 → 𝑄 ja samal ajal ka 𝑄 → 𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks ->
Lausearvutus 1) a. Lausearvutuse lausetele esitatavad tingimused: a.i. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. a.ii. Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. a.iii. Tehteid võib teostada ükskõik milliste lausetega. a.iv. Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2) a. Eitus (märk ¬). Lause mittekehtimine. b. Konjunktsioon (märk &) tähendab seost ,,ja". c. Disjunktsioon (märk ) väljendab seost ,,või". Siin on kasutusel mittevälistav ,,või". d. Implikatsioon (märk ) väljendab tingimuslikku konstruktsiooni ,,kui ..., siis ...". e. Ekvivalents (märk ) tähendab matemaatikas sagedasti kasutatavat seost
- Iga generatiivne teooria peab olema võimalikult täpne ja formaalne, peab suutma genereerida kõiki grammatiliselt korrektseid struktuure ja välistama mittegrammatilisi. Generatiivses grammatikas genereeritakse ehk luuakse lauseid alateadlikult protseduuride abil (reeglid, toimingud), mis on osa meie kognitiivsest võimest. Keele generatiivne grammatika genereerib selle keele kõik grammatiliselt korrektsed laused ja mitte ühtegi mittekorrektset lauset. Generatiivse grammatika eesmärk on teada saada, mida me alateadlikult oma keele süntaksist teame. Keel mängib kognitiivses mõtlemises olulist rolli, mõjutades seda, kuidas me mõtleme. Deduktiivne lähenemine transformatoorse analüüsi osa (deduktsioon), pindstruktuuri leidmise osa, kus kasutatakse transformatsioonireegleid Keelepädevus ehk keelevõime ehk i-keel (Chomsky) on sisemine keel, osa inimese ajust. Keelepädevus on alateadlik otsus,
mängis ta maha nii enda raha kui ka naise kaasavara ja elas sõprade toetustest. Ta kirjutas terve oma elu ühte teost ,,Kogutud teosed". Tsiteerimine : CP 2.228 (nagu pühakirja Jo 2, 16). Ta oli see, tänu kellele semiootika suurel määral taassündis. Vajadus selle järele polnud vaid Ameerikas. Ta uuris väga tähelepanelikult saksafilosoofiat. Filosoofia kategooriad: Kategooriaid võetakse laest nad on lihtsalt olemas. · kvaliteet · kvantiteet Peirce uus loogika on semiootika selle abil saab ehitada ükskõik millist teadmist. Peirce' kategooriad · Esimene on positiivne kvalitatiivne võimalus, iseeneses mitte mindagi enamat. See, mille abil võime teha vahet. = omadus esimene - esmassus · Teine On eksisteeriv asi ilma mingi muu olemise viisita peale eksisteerimise, kuid on määratletud selle esimese poolt. Asi, mis realiseerib esimese omaduse ja selle poolt määratletu, kui muud ei ole. teine - teisesus
Fonoloogia tegeleb ka häälikutega. Fonoloogia jaoks on häälik keelesüsteemi osa. Ei mõelda nii palju helile kui häälikute osale selle süsteemis. Morfeem kõige väiksem tähenduslik üksus keeles (nt jõge|de|le kolm morfeemi) Morfoloogia uurib keeles erinevaid grammatilisi osi (nt leksikaalne jõge, grammatiline de). Morfoloogia küsimus on ka, kuidas saame ühest sõnast teise. Leksikoloogia tegeleb ka morfeemitasandiga. Süntaks uurib lauset. Tüüpilises lauses on pöördeline verbivorm, mille ümber on üksused, mis moodustavad lause. Suulises kõnes on lause lihtlause seda süntaks uuribki. Semantika osa tähendusõpetusest. Uurimisobjekt on tähendus, pole oluline, milline on tähendusüksus (nt sõna, lause). Pragmaatika uurib tähendusi kasutuskontekstis; sõnade tähendusi, mis tekivad kõnelemisolukorras. Tekstilingvistika uurib teksti ehitust. Keeleteadus vastandpaaridena, suured jaotised teaduse sees:
.7 1.12. Aritmeetilised operatsioonid kahendsüsteemis.......................................................8 1.12.1. Positiivsete arvude liitmine..............................................................................8 1.12.2 Algebraline liitmine pöörkoondis.....................................................................8 1.12.3. Algebraline liitmine täiend koodis...................................................................8 2.1. Loogikafunktsioon ja loogika seade....................................................................... 10 2.2. Ühe argumendi loogikafunktsioonid.......................................................................10 2.3. Kahe argumendi loogikafunktsioonid.....................................................................11 2.4. Loogikaseadused.....................................................................................................12 Loogikaelemendid...............................................
.7 1.12. Aritmeetilised operatsioonid kahendsüsteemis.......................................................8 1.12.1. Positiivsete arvude liitmine..............................................................................8 1.12.2 Algebraline liitmine pöörkoondis.....................................................................8 1.12.3. Algebraline liitmine täiend koodis...................................................................8 2.1. Loogikafunktsioon ja loogika seade.......................................................................10 2.2. Ühe argumendi loogikafunktsioonid.......................................................................10 2.3. Kahe argumendi loogikafunktsioonid.....................................................................11 2.4. Loogikaseadused.....................................................................................................12 Loogikaelemendid................................................
inimestega 3) kui esimene keel on omandatud, kasutavad inimesed seda sidevahendina igapäevastes olukordades ning ümbritseva maailma verbaalseks kujutamiseks. Kui räägitakse mingi eriala, rühma või isiku keelest, mõeldakse selle all erinevaid keelekujusid e allkeeli (ametikeeled, olukorrast ja eesmärgist tingitud keele variandid: üldkeel, argikeel, släng, kõrgstiil ning isikukeeled e idiolektid). Sõna ,,keel" tähendus hõlmab ka kunstlikult loodud märgisüsteeme, nt matemaatika, loogika ja arvutiprogrammide formalismid. Nende kohta kasutatakse ühist nimetust formaalkeel. Formaalkeeled on artefaktid e kunstlikult loodud. Nende kasutusalad on kitsapiirilised, põhisümbolite arv väike ja tähendused täpsed. Teist liiki formaalkeeled on rahvusvahelised abikeeled (esperanto). 2) Keeleteadus: sünkrooniline, diakrooniline, teoreetiline, praktiline jm. Keeleteaduse seosed muude teadusharudega. Keeleteaduse meetodid.
sidevahendina igapäevastes olukordades ning ümbritseva maailma verbaalseks kujutamiseks. Kui räägitakse mingi eriala, rühma või isiku keelest, mõeldakse selle all erinevaid keelekujusid e allkeeli (ametikeeled, olukorrast ja eesmärgist tingitud keele variandid: üldkeel, argikeel, släng, kõrgstiil ning isikukeeled e idiolektid). Sõna ,,keel" tähendus hõlmab ka kunstlikult loodud märgisüsteeme, nt matemaatika, loogika ja arvutiprogrammide formalismid. Nende kohta kasutatakse ühist nimetust formaalkeel. Formaalkeeled on artefaktid e kunstlikult loodud. Nende kasutusalad on kitsapiirilised, põhisümbolite arv väike ja tähendused täpsed. Teist liiki formaalkeeled on rahvusvahelised abikeeled (esperanto). 2) Keeleteadus: sünkrooniline, diakrooniline, teoreetiline, praktiline jm. Keeleteaduse seosed muude teadusharudega. Keeleteaduse meetodid.
Tuntumad funktsionaalsed keeled on: · Lisp (1960) Programmeerimise algkursus 8 - 89 · FP (1978) · Miranda (1978) · ML (1980) · Hope Loogilised keeled Loogiliste keelte omapära seisneb selles, et nendes kirjutatud programm kirjeldab ülesandes kasutatavate objektide seosed loogiliste avaldistena, mille väärtused saavad olla kas tõesed või väärad. Ka programmi töö tulemuseks on esitatud küsimuse tõeväärtus. Võib ka rääkida selliselt, et loogilise programmeerimise käigus pannakse kirja aksioome ja programmi täitmise käigus püütakse tõestada esitatavaid väiteid. Tuntumaks loogiliseks keeleks on Prolog, mis on välja töötatud 1970. aastate alguses. Kui jaapanlased rääkisid viienda põlvkonna arvutitest, mis hakkab suhtlema kasutajaga hääle abil, siis planeerisid nad kasutada uutes arvutites just Prologi.
Pilt ripub seinal. Seinal ripub pilt. Leo leidis sõrmuse üles. Leo leidis sõrmuse. 3. esiletõstu (FOOKUS). Esiletõst rõhu abil, partiklitega, lause algusse või lõppu paigutamisega. Sa SAAD sellega hakkama. Sa SAIDKI sellega hakkama. 45. Mis tüüpidesse jagunevad liitlaused? - Rindlause ja põimlause. Liitlause koosneb osalausetest, mis on omavahel rinnastusseoses (rindlause e. parataks) või alistusseoses (põimlause e. hüpotaks). Põimlause osalaused on pealause (põhilause) ja kõrvallause. Liitlause tüübi määrab liitlause vahetute moodustajate vaheline seos. 1 46. Mis on kiillause? Kiillause e. kiil lausekujuline üldlaiend. Sageli vaeglause. Kiillausega lause ei ole liitlause, sest kiillause on hõlmava lausega grammatiliselt seostamata: kiilu ei seo
Neid kasutatakse väga laialdaselt tehisintellekti probleemide lahendamisel. Tuntumad funktsionaalsed keeled on: • Lisp (1960) • FP (1978) • Miranda (1978) • ML (1980) • Hope Loogilised keeled Loogiliste keelte omapära seisneb selles, et nendes kirjutatud programm kirjeldab ülesandes kasutatavate objektide seosed loogiliste avaldistena, mille väärtused saavad olla kas tõesed või väärad. Ka programmi töö tulemuseks on esitatud küsimuse tõeväärtus. Võib ka rääkida selliselt, et loogilise 14 / 115 programmeerimise käigus pannakse kirja aksioome ja programmi täitmise käigus püütakse tõestada esitatavaid väiteid. Tuntumaks loogiliseks keeleks on Prolog, mis on välja töötatud 1970. aastate alguses. Kui jaapanlased rääkisid viienda põlvkonna arvutitest, mis hakkab suhtlema kasutajaga hääle abil, siis planeerisid nad kasutada uutes arvutites just Prologi.
`ta/lle. Kõigil muudel juhtudel kasutatakse alaleütlevas käändes morfeemivarianti le. Alalütlev kääne on väliskohakäänete seas asukohakääne, mille abil väljendatakse olenevalt sõna leksikaalsest tähendusest: a) asukohta, nt Mari elab juba kolmandat aastat välismaal; b) toimumisaega, nt Nad sõidavad neljapäeval maale; c) seisundit, nt Naerul näoga vaatas Jüri meie poole. d) omajat või muud tegevussubjekti pöördelise verbivormi juures, nt Maril on kaks last. See asi ununes mul täielikult; e) tegevussubjekti infiniittarindeis, nt Luba tal ükskord ometi kõik südamelt ära rääkida. f) vahendit, nt Mari mängib klaveril juba päris keerulisi lugusid; g) viisi, nt Mari kuulas kikkis kõrvul. Kirjapildis on alalütleva käände tunnuseks alati l. Alaltütlev kääne on väliskohakäänete seas lähtekääne, mille abil väljen¬datakse: a) lähtekohta, nt Mari saabus üleeile välismaalt;
annaabi.ee 
