Leidsid 22 sarnast õppematerjali, mis on seotud failiga "Referaat loogikust Kurt Gödel". Need materjalid aitavad sul teemat sügavamalt mõista.
loogika, teoreem, matemaatik, matemaatika, filosoof, instituudi, aritmeetika, predikaatarvutus, teoreemid, väiteid, russell, formaalne, brno, rudolph, kursused, frege, filosoofid, lagunes, carnap, 1931, hitler, adele, erru, mainitud, logic, tarski, täisarvud, tõepoolest, umbkaudu, väited, teatakse, aprillil, tsehhi, rudolf, ärimees, emaks, möödusPrangi 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,
Esimene mikroprose: intel 4004 von Neumann-type computer - Stored-program Computer KÜSIMUSED: Nimeta vähemalt üks oluline teooria- alane tulemus Alan Turingilt. Millisel aastakümnel see tulemus saadi? Turingu test 1940 Millal loodi programmeerimiskeel Fortran (pluss- miinus kolm aastat on OK)? Mille poolest on Fortran eriline? 1957, kõrgema taseme programmeerimiskeel, mis võimaldas loop´ida. Millisel sajandil elas saksa filosoof Leibniz? Milliseid tehteid suutis teha Leibnizi ehitatud arvuti? 17. sajandil , liitis, lahutas, korrutas, jagas Mis aastal hakati müüma arvutit nimega Commodore PET(pluss - miinus kaks aastat on OK)?1968 Millal loodi Intel Corp (pluss miinus kaks aastat on OK)? Mida ütleb Inteli asutaja ja kauaaegse presidendi sõnastatud "Moore law"? 1963 Mikroprotsessorite jõudlus kasvab kahekordseks iga 2 aasta tagant Mis firma ehitas arvutit PDP
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.
· 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;
Pangarakendused, telekomirakendused jne Reaalsed lao- ja tellimissüsteemid Firma andmebaasid Firma süsteemide sidumine ... TTÜ Majandusteaduskond Elektroonikud Küberneetika instituut Tartu Statistikud Arvutusmeetodite teoreetikud Muud matemaatikud ITK TTÜ Tartu Ettevõtted Loeng 2 Loogika on teadus mõtlemise alustest. Loogika uurib mõtlemise paratamatuid aspekte ehk seda, mis üldse teeb mõtlemisest mõtlemise ehk õige mõtlemise ehk seda, mida ja kuidas üldse mõelda saab. Informaalne loogika: teatud vaidlusmeetodite analüüs. Formaalne loogika: reeglisüsteemid ja algoritmid nö mehaaniliseks järelduste tegemiseks reeglisüsteemide kui matemaatiliste objektide uurimine. Arvutid on mõtlemise masinad.
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;
Tunnetusvõimed sõltuvad teineteisest. Järeldus on see, et analüüsida saab üksikult ja Kant hakkab neid ükshaaval analüüsima. Tegelikult peab neid vaatlema kõiki koos ehk toimiva tervikuna. Erinevad tunnetusvõimed: 1. meelelisus, 2. aru, 3. mõistus(kitsamas tähenduses), 4. otsustamisvõime, 5. kujutlusvõime, 6. apertseptsioon. Analüüsitakse neid mõisteid ja tuuakse välja, et neil on piiratud rakendumisvõime kuni saab esitada põhjendatud väiteid. Eriti räägib 1-3 tunnetusvõimest, muud on niisama möödaminnes kirjas. Selline kriitiline analüüs peaks viima vastusele, mida ta otsib. 2. Seminar. 1-5 prg Metafüüsika eripära ja tema võimalikkus. 19-38 lk. Küsimus: mis on metafüüsika eripära?(?) Võrrelda teiste teadustega. Metafüüsikat vaadeldi teiste teadustega. Leida eripära teistest teadustest. Tuuakse välja kolm kriteeriumit: objekt, tunnetusallikas ja tunnetusviis. Küsimus
f...lî (fil) armastus, püüdlemine millegi poole filÒthj (filotes) armastus sof...a (sofia) tarkus; sofÒj (sofos) tark, asjatundja oma ala meister; filolog...a (filologia) arutlemisarmastus; filopon...a (filoponia) tööarmastus; filosof...a (filosofia) tarkusearmastus, püüdlemine tarkuse poole Filosoofia ei ole mõte mingist objektist või asjast, vaid teatud mõttekäikude analüüs, mõte mingist mõttest. Filosoofia peab analüüsima mõtteid ja väiteid, aitama ära tundma ja lahendama ka pseudoprobleeme. Gilbert Ryle (1900-1976): Oxfordi ülikooli tuleb külaline, soovib ülikooli hoonet näha, seda ka talle näidatakse, peaaegu 40 hoonet. Seepeale küsis too: "Milline neist on ülikool?" Filosoof peab märkama lisaeeldusi, mis tunduvad iseenesestmõistetavad, kuid tulenevad konteksti tundmisest, mitte aga väidetest enesest. David Hume (1711-1776): Kui John on Georgile
Nimi: Arvestatud / ei: Kursus / rühm: Punkte: Kood: Lisainfo: Iga allpool olev küsimus annab kokku 10 punkti. Poolikud/ v e idi vigased vastused annavad samuti punkte, kuid vähem. Küsimuse alla suurde lahtrisse kirjuta vastus. Ära kirjuta midagi punktide lahtrisse või üldse väljapoole vastuse lahtrit! NR Punkte Küsimus 1 Teisenda kahendsüs teemis arv 10101 kümnendsüs teemi 16+0+2+0+1=19 ja kümnendsüs teemis arv 81 kahendsüs teemi. 1000101=1010001 2 Millisel sajandil elas saksa filosoof Leibniz? Milliseid tehteid suutis teha Leibnizi ehitatud arvuti? 17 liitis korrutas jagas lahutas 3 Millal loodi Intel Corp (pluss miinus kaks aastat on OK)? Mida ütleb Inteli asutaja ja kauaaegse presidendi sõnastatud “Moore law”? 1963 Mikroprotsessorite jõudlus kasvab kahekordseks iga 2 aasta tagant 4 Mis firma ehitas arvutit PDP? Too vähemal t üks põhjus või viis, kuidas PDP oluliselt mõjutas edasist arvuti / tarkvara tehnoloogia arengut. Dec Oli soodsa hinnaga
aastast alates. Eestis alustas arheoloogilisi uuringuid C. Grewingk 1860-ndail. Aritmeetika – arvutamisõpetus. Matemaatikateadus haru, mis tegeleb arvude lihtsamate omadustega ning nendega sooritatavate tehetega.Vanimate kirjalike allikate kohaselt kasutati lihtsamaid aritmeetilisi tehteid luba Vana-Egiptuses ja Babüloonias, kus seda oli vaja hoonete ja püramiidide rajamisel See toimus umbes 2000 aastat eKr. Aritmeetika põhioperatsioonid on liitmine, lahutamine, korrutamine ja jagamine. Aritmeetika alla kuuluvad aga ka tehted protsentidega, juurimine, astendamine ja logaritmid. Astroloogia – taevakehade põhjal tuleviku, saatuse ja isikuomaduste ennustamine. Astroloogiaga tegelevat inimest nimetatakse astroloogiks. Astroloogia põhineb seisukohal, et inimese iseloomu ja käitumist mõjutab lisaks maistele põhjustele ka taevakehade asend tema sünnimomendil. Astroloogide seisukohalt saadavad planeedid välja võnkeid, mis inimesi mõjutavad
TALLINNA ÜLIKOOL HUMANITAARTEADUSTE DISSERTATSIOONID TIIT LAUK Džäss Eestis 1918–1945 DOKTORIVÄITEKIRI Kaitsmine toimub 20. novembril 2008. aastal kell 10.00 Tallinna Ülikooli Kunstide Instituudi saalis, Lai 13, Tallinn, Eesti. Tallinn 2008 2 TALLINNA ÜLIKOOL HUMANITAARTEADUSTE DISSERTATSIOONID TIIT LAUK Džäss Eestis 1918–1945 Muusika osakond, Kunstide Instituut, Tallinna Ülikool, Tallinn, Eesti. Doktoriväitekiri on lubatud kaitsmisele filosoofiadoktori kraadi taotlemiseks kultuuriajaloo alal 13. oktoobril 2008. aastal Tallinna Ülikooli humanitaarteaduste doktorinõukogu poolt.
Viies, parandatud trükk Toimetaja: Hele Kiisel Illustratsioonid ja graafikud: Elis Saar Korrektor: Maris Makko Kujundaja: Janek Saareoja ISBN 978-9949-489-95-4 (trükis) ISBN 978-9949-489-96-1 (epub) Trükitud trükikojas Print Best 4 Sisukord osa 0 – SISSEJUHATUS . .................... 17 OSA 2 – arvud ..................................... 75 matemaatika meie ümber ................... 20 arvuhulgad .......................................... 78 Matemaatika kui keel ....................................21 Naturaalarvud ...............................................78 Matemaatika muutub ja areneb .....................22 Täisarvud .......................................................82 Mis on matemaatika? ....................................23 Ratsionaalarvud ......
inimmõistusele, mitte autoriteedile. Paljud küsimused, mida kunagi peeti filosoofilisteks, on tänapäevaks läinud teaduse valdkonda ning leidnud ka täpse vastuse. Filosoofia eesmärk on teoreetiline saada teoreetiliselt aru maailmast mitte aga praktiline (looduse alistamine vms). Seetõttu ongi filosofeerimiseks tarvis võimalust tõusta veidi kõrgemale läbinisti praktilistest igapäevastest muredest ja kirgedest. Russell kirjutas: Ma ei räägi sellest, et filosoof peaks olema ilma tunnete ja emotsioonideta. Inimene ilma emotsioonideta (kui selline üldse on olemas) ei tee midagi ja ei saavuta midagi. Kuid kellelgi pole lootust saada 2 heaks filosoofiks, kuni tal ei ilmne mõned mitte just eriti levinud tunded. Tal peab olema tugev soov maailma mõista niivõrd kuivõrd see võimalik on
Reaalses demokraatias aga on konflikt – poliitiline elu ja idee põhiseaduslikest inimõigustest vajab kontrollimist. Seda kontrolli võib vaadelda kui argumenteerivat või diskursiivset inimeste esindatust. Sel juhul ideaalne ja reaalne õiguse loomus eksisteerib parlamentaarse seadusandluse ja põhiseadusliku kontrolli vahel. Võimude lahusus tasakaalustab nende vahekorda, seega on täidetud õiguskorra harmoonia. Järelikult on süsteem suletud ning õiguse topeltloomuse teoreem tõestatud. Õiguse topeltloomusest arusaamiseks tuleb astuda kolm sammu: 1.Õigsus (küsida õigsuse kohta e vajalikkuse ja nõude sisu kohta. Õigus omab nõuet õigsusele. Õigsuse nõue tuleb tõstatada nende poolt, kes õigust loovad/rakendavad/tõlgendavad) 2. Diskursus (läbida see). Diskursus on praktilise õiguspärasuse (õigsuse) või tõe protseduuriline teooria. See räägib sellest, et õigsus on tagatud siis, kui on järgitud teatud protseduure
AAVO LUUK PSÜHHOLOOGIA ALUSED LOENGUKONSPEKT ESIMENE OSA TARTU 2003 Psühholoogia alused 2 SISUKORD 1. Sissejuhatus psühholoogia probleemidesse 3 2. Psühholoogia valdkonnad ja uurimismeetodid 6 3. Psüühika bioloogilised alused I. Närviraku ehitus ja funktsioneerimine 11 4. Psüühika bioloogilised alused II. Närvisüsteemi makrostruktuur 14 5. Aistingud I. Aistingute teooria ja mõõtmine 18 6. Aistingud II. Aistingud eri modaalsustes 21 7. Taju 26 8. Mälu I. Mälu liigid ja mudelid 30 9. Mälu II. Mälu struktuurid ja protsessid 35 10. Õppimine I. Käitu
tundub, et lumi on valge”, „kõik mu senised intervjueeritavad on vastanud, et lumi on valge” või „mu senised mõõtmistulemused on näidanud, et lumi on valge” (viimased kaks muidugi eeldusel, et vastavad uuringud on tõepoolest läbi viidud ja selliseid tulemusi andnud). See näib esmapilgul olevat üsna abstraktne teadusfilosoofiline probleem: kui lugeja suhtlusringkond on lume värvi teemal üldjoontes ühel nõul, siis ei ole enamasti tõesti vahet, kas esitada väiteid lume värvi kohta või iseenda lumevärviteemaliste arvamuste kohta. Huvitavaks läheb asi ainult juhul, kui lugeja suhtlusringkond ei ole vaadeldaval teemal ühel nõul. Siin raamatus tuleb juttu eriarvamusi võimaldavatest juhtudest keelega seotud aladel, täpsemini tõlkimisel, sõnastikukoostamisel, keelekorralduses ja keelealastes vaid- lustes. Mõned näited küsimustest, kus selge vahetegemine objektiivse teadmise ja subjektiivse arvamise vahel kipub mõnikord meelest minema:
Ateenast, oli metoik). 39-387 eKr külastas Sürakuusat, mis võis olla tolle aja suurim polis Kreekas. Seal valitses türann Dionysios Esimene, Platon vastandus türanniaga, sai seal populaarseks, pidi aga põgenema, sest teda taheti tappa. Hiljem käib seal. 40. aastaselt jõudis Ateenasse ja talle osteti äärelinnas aed koos majaga, kus asutas Akadeemia, kooli (koolitöö kestis kuni 6. saj pKr), nõutavad olid samavõrd matemaatika ja astronoomia kui filosoofia ja humanitaarteadused. "Geomeetriat mittetundjaid sisse ei lasta". Platon ise oma dialoogides peaaegu ei esinegi, kõige tähtsam on Sokrates, on kaheldud autorluses. "Seadustes" aga puudub Sokrates. Platoni poliitikafilosoofia Platon rajas normatiivse poliitilise filosoofia, ta kehtestas väärtussüsteemi, mis on õiglane ning mida tuleb rakendada poliitilisele ühiskonnale. Ta leidis, et maailma algeks on ideede (sg. eidos, pl.
UNIVISIOON Maailmataju Autor: Marek-Lars Kruusen Tallinn Detsember 2013 Leonardo da Vinci joonistus Esimese väljaande teine eelväljaanne. NB! Antud teose väljaandes ei ole avaldatud ajas rändamise tehnilist lahendust ega ka ülitsivilisatsiooniteoorias oleva elektromagnetlaineteooria edasiarendust. Kõik õigused kaitstud. Ühtki selle teose osa ei tohi reprodutseerida mehaaniliste või elektrooniliste vahenditega ega mingil muul viisil kasutada, kaasa arvatud fotopaljundus, info salvestamine, (õppe)asutustes õpetamine ja teoses esinevate leiutiste ( tehnoloogiate ) loomine, ilma autoriõiguse omaniku ( ehk antud teose autori ) loata. Autoriga saab kontakti võtta järgmisel aadressil: [email protected]. ,,Inimese enda olemasolu on suurim õnn, mida tuleb tajuda." Foto allikas: ,,Inimese füsioloogia", lk. 145, R. F. Schmidt ja G. Thews, Tartu 1997.
UNIVISIOON Maailmataju Autor: Marek-Lars Kruusen Tallinn Detsember 2012 Esimese väljaande eelväljaanne. Kõik õigused kaitstud. 2 ,,Inimese enda olemasolu on suurim õnn, mida tuleb tajuda." Foto allikas: ,,Inimese füsioloogia", lk. 145, R. F. Schmidt ja G. Thews, Tartu 1997. 3 Maailmataju olemus, struktuur ja uurimismeetodid ,,Inimesel on olemas kõikvõimas tehnoloogia, mille abil on võimalik mõista ja luua kõike, mida ainult kujutlusvõime kannatab. See tehnoloogia pole midagi muud kui Tema enda mõistus." Maailmataju Maailmataju ( alternatiivne nimi on sellel ,,Univisioon", mis tuleb sõnadest ,,uni" ehk universum ( maailm ) ja ,,visioon" ehk nägemus ( taju ) ) kui nim
I. Esimest korda elus Indrek tundis end tõesti üksikuna, mahajäetuna ja nagu maailmast eraldatuna, niipea kui vagunirattad hakkasid põrisema, tagudes mingisugust tundmatut takti. Kogu minevik tõmbus millegi pärast Vargamäele kägarasse kokku ja muutus nagu unenäoks, muinasjutuks, peaaegu olematuks. Mis olnud, tundus kõik tähtsusetuna; mis tulemas, nii tähtsana ja suurena, et tal puudus alles peaaegu igasugune sisu. Ta oli endalegi võõras selles võõras ümbruses. Võhivõõrad inimesed kiilusid ta vaguninurka. Ainuke lohutus, et võis aknast välja vahtida, kus vilksatasid mööda valgete kannudega traate kandvad postid lagedal või poolraagus põõsaste vahel, niidud aedadest piiratud heinakuhjadega, metsad, sood, rabad, viljarõukudega tipitud põllud. Siin-seal kirju kari, tule ääres seisev karjapoiss ja koer, kes sibas põriseva rongiga kaasa, kadudes mahalangevasse vedurisuitsu. Aga need tuttavadki asjad jätsid külmaks ja ei äratanud huvi. Valitses mingisugune h
UNIVISIOON Maailmataju A Auuttoorr:: M Maarreekk--L Laarrss K Krruuuusseenn Tallinn Märts 2015 Leonardo da Vinci joonistus Esimese väljaande kolmas eelväljaanne. Autor: Marek-Lars Kruusen Kõik õigused kaitstud. Antud ( kirjanduslik ) teos on kaitstud autoriõiguse- ja rahvusvaheliste seadustega. Ühtki selle teose osa ei tohi reprodutseerida mehaaniliste või elektrooniliste vahenditega ega mingil muul viisil kasutada, kaasa arvatud fotopaljundus, info salvestamine, (õppe)asutustes õpetamine ja teoses esinevate leiutiste ( tehnoloogiate ) loomine, ilma autoriõiguse omaniku ( ehk antud teose autori ) loata. Lubamatu paljundamine ja levitamine, või nende osad, võivad kaasa tuua range tsiviil- ja kriminaalkaristuse, mida rakendatakse maksimaalse seaduses ettenähtud karistusega. Autoriga on võimalik konta
annaabi.ee 
