Filosoofia ja teadus Helena Teras Filosoofia ja teadusliku maailmavaate sünd Kirjeldatud üldiste probleemide üle juurdlemine ehk filosoofia. Esimene filosoof Thales. Arvati, et kõige aluseks on vesi. Anaximandros apeironi idee. Thales Thalesi õpilane Anaximandros Matemaatika Esimene konkreetne teadusharu. Pythagoras Arvud olid pühad. Pythagorase teoreem. Õpiti palju Idamaade teadusest. Pythagoras Meditsiin ja ajalookirjutuse algus Seotud igapäevaelu vajadustega. Hippokrates. Neli ihumahla. Hippokratese vanne. *** Kangelaseepikad. Herodotos esimene uurija ja üles tähendaja. Hippokrates Herodotos Sofistid ja Sokrates Sofistika tühjade väidete esitamine. Sokratese filosoofia vooruse olemuse mõistmine. ß...
Vaimne alge - absoluutne idee - on maailma alus ja olemus. Hegeli filosoofia lähtealusteks on dialektilised põhiideed: 1) mõtlemine ja olemine on identsed, 2) isearenemine on vastuoluline, 3) arenemine on kolmejärguline (tees, antitees, süntees). Hegel pidas mõistet kõigi asjade ja protsesside olemuseks. Kuna mõtlemise ja olemuse identsus avaldub mõistes, siis on ühtlasi loogikaks filosoofia, mille aineks on loogika. Samal ajal on ta ka dialektika, sest mõiste on loomult dialektiline. Absoluutne idee avaldub kolmes vormis, mis vastavad Hegeli filosoofiasüsteemi kolmele osale: · a) loogika - "idee iseendas ja enda jaoks" - see on puhta mõtlemise valdkond, milles loogika kategooriad saavad sisu ning muutuvad üksteiseks, · b) loodusfilosoofia - "idee teisitiolemine" - selle võõrandumine materiaalses maailmas, · c) vaimufilosoofia - "idee tagasitulek teisitiolemisest iseendasse"....
sajandi suurimat Saksa filosoofi ja matemaatikut Gottfried Wilhelm Leibnitzit (1646-1716). Ta oli Isaac Newtoni kaasaegne, kuid temast sõltumatult, mõtles välja diferentsiaal- ja integraalarvutuse. Samuti oli osaline energia jäävuse seaduse formuleerimisel. Leibnitz tegi palju teisigi olulisi teaduslikke ja matemaatilisi kaastöid. Leibnitzi võib nimetada matemaatilise loogika rajajaks. 1671-1674 konstrueeris nelja põhitehet sooritava arvuti. Kuigi Leibnitzi doktriin oli heterodoksne, uskus ta siiralt Jumalasse ja kirjutas kaitsekõne Kolmainsuse õpetusele. Ta astus ägedalt vastu Descartes´i ja Spinoza vaadetele. Ta püüdis edutult leida ühist alust katoliiklikule ja protestantlikule ning hiljem luterlikule ja reformeeritud kirikule nende liitmiseks. Leibnitz uskus jumalikku ettemääratusse....
Millised on loogikafunktsioonide esitusviisid? Tõeväärtustabeli kujul või numbrilises kümnendesituses. Kuidas koostatakse loogikafunktsioonile numbriline 10ndesitus? Vastav 2ndvektor on asnedatud vastava 10nendarvuga. Mida esitab iga 10ndarv numbrilise 10ndesituse koosseisus? Vastavat argumentvektorit? (For real, kuidas see erineb eelmisest loogika poolest?...) Mis on algterm? Algterm on avaldise koosseisu kuuluva loogikamuutuja või selle inversioon või konstant 0 1 Mis on elementaarkonjuktsioon? Mis on elementaardisjunktsioon? Elementaarkonjuktsioon on ükskik algterm või algtermide konjuktsioon. Nt x1x2x3,x1. Elementaardisjunktsioon on üksik algterm või algtermide disjunktsioon nt x1 v x2 v x3,x1 Mis on DNK? Mis on KNK? DNK on üksik elementaarkonjuktsioon või elementaarkonjuktsioonide disjunktsioon...
Home assignment 1 : Margus Martsepp 121843IAPM Propositional logic and simple predicate assignments Advanced Course of Applied Logics ( ITV0081 ) Task 1: Code Task 1: Results Task 2: Code Task 2: Result Task 3: Code Task 3: Result Task 3: Proof - distribution of intersection over union. Task 3: Extra proof - distribution of union over intersection. Task 4: Code Task 4: Result Task 5: Code ...
Propositional logic and simple predicate assignments Home assignment 2 : Margus Martsepp Advanced Course of Applied Logics ( ITV0081 ) Overview Setting up · zChaff · glucose · BerkMin Collecting problemset · trivial problem · benchmark Using problemset zChaff Installing compiler $ sudo apt-get install build-essential zchaff {download, unarhive, make executable} $ wget http://www.princeton.edu/~chaff/zchaff/zchaff.2008.10.12.zip $ unzip zchaff.2008.10.12.zip $ cd zchaff /zchaff$ make glucose (Re)installing zlib $ sudo apt-get install --reinstall zlibc zlib1g zlib1g-dev glucose {download, unarhive, make executable} $ wget https://www.lri.fr/~simon/downloads/glucose2.1.tgz $ tar -xvzf glucose2.1.tgz $ cd glucose_2.1 /glucose_2.1$ sh build.sh Note: glucose contains SatElite Preprocessing BerkMin installing shared libs $ sudo apt-get install libstdc++6-4.5-dbg berkmin {download, unarhive, set as executable} $ wget...
Advanced Course of Applied Logics ( ITV0081 ) Part A : Warmers Task 1 What is the most general unifier of the following atoms: p(X,f(Y),Z) p(T,T,g(cat)) p(f(dog),S,g(W)) solution: = { X/T, S/T, T/f[Y], Z/g(cat), W/cat, dog/Y } Task 2 List all the binary resolvants of the following two clauses: p(X,f(Y),Z) | p(T,T,g(cat)) | r(X,T) | ~s(Z,T) ~p(f(dog),S,g(W)) | s(big,rat) | ~s(small,hamster) solution sourse: 1st option (1.4-2.2) = { Z/big, T/rat } p(X,f(Y),big) | p(rat,rat,g(cat)) | r(X,rat) ~p(f(dog),S,g(W)) | ~s(small,hamster) 2nd option (1.1-2.1) = { X/f(dog), S/f(Y), Z/g(W) } p(T,T,g(cat)) | r(f(dog),T) | ~s(g(W),T) s(big,rat) | ~s(small,hamster) 3rd option (1.2-2.1) = { T/f(dog), S/f(dog), W/cat } p(X,f(Y),Z) | r(X,f(dog)) | ~s(Z,f(dog)) s(big,rat) | ~s(small,hamster) Task 3 List all the resolvants of the following two clauses: p...
S1 S0 AOP0 M Sn-1... S1 S0 AOP1 Aritmeetika M Sn-1... S1 S0 AOPj-1 Y M Sn-1... S1 S0 LOP0 M Sn-1... S1 S0 LOP1 Loogika M Sn-1... S1 S0 LOPj-1 09/01/14 T. Evartson 2 ALU näide I a0 + s´0 & 1 b0 & n0 & y0 & k0 & e0 & 1...
Tallinna Tehnikaülikool Arvutid I (IAF 0041) Reversiivne parallel ladimisega nihkeregister T triggerite baasil Kontroll töö nr.1 Juhendaja: dotsent Teet Evartson Tallinn 2014 · Ülesande püstitus · Elementide kirjeldus · Loogika skeem Ülesande püstitus Koostada reverssiivse paralleel ladimisega nihkeregistri loogikaskeem T trigerite baasil. Tallinna Tehnikaülikool Elementide kirjeldus Põhielement T trigger ja baas loogika elementid. Tõenäolustabel on sama nagu D trigeril, põhimõtteliselt see on D trigger T triggeri baasil....
Ilmar Lilleorg Loogika vihik 2005 2. MÕISTEÕPETUS Mõiste on elementaarseim mõtlemise vorm, mis tähistab asju, nähtusi, nende omadusi ja nendevahelisi seoseid. Sõnaga mõiste on paralleelselt käibel termin, nimetus ja nimi. Loogikaõpetuses eelistatakse nimetatuist mõistet. Mõiste on mõtte element. Mõtet formuleeritakse mõistete abil. Mõtte täpsus sõltub valdavalt vajalike mõistete valikust...
Referaat Kurt Gödel 18.05.2013 Sisukord: · Sissejuhatus · Loogika · Elulugu · Viini ring ja Kurt Gödel · Gödel Princetoni perspektiivsete uuringute instituudis. · Gödeli täielikkuse ja mittetäielikkuse teoreemid · Kokkuvõte · Kasutatud allikad Sissejuhatus. Selles referaadis annan teile ülevaate loogikast ja ühest Austria-Ameerika loogikust, matemaatikust ja filosoofist, Kurt Gödel'ist. Loogika Loogika on teadus, mis uurib mõtlemise reegleid. Loogikat peetakse ka veel mõtlemismudeliks....
kodutöö Jelizaveta Vavilkina Mat.nr. 124226 Rühm: IASB Ülesanne: Protsessori juhtautomaadid ja nende realiseerimine. Protsessori juhtautomaadid on mitte ainult protsessorite juhtimise algoritm , vaid iga tööpingi juhtimisi algoritm mingi kindla algoritmi järgi. Algoritmide realiseerimine toimub kristallpinna peal transistorite ja loogika elementide kaudu. Juhtautomaat koosneb: Sisendite hulk Z(f) Väljundite hulk W(y) hulk siseolekuid a(e) Üleminekute funktsiooni defineerimine a(s) = g (a(m), Z(f)) Automaatide mudelid (Mealy, Moore) Struktuurne skeem: Mealy automaadi ehitus: W(y) = Ʊ( a(m), Z(f) ) Automaadi väljund sõltub üleminuketest ja olekutest, kus ollakse algoritmi täitmisel. {a} = a(1), a(2), a(3), a(4) {Z} = Z(1), Z(2), Z(3)...
Loogiline eitus (EI). EI-funktsioonil on argumendi vastandväärtus. Kui argument on 1, siis funktsioon võrdub 0 ning vastupidi. EI-tehet tähistatakse kriipsuga sümboli peal, näiteks argumendi x eitus on x . Loogilist eitust nimetatakse ka inversiooniks. Loetletud kolm loogikatehet moodustavad loogiliselt täieliku süsteemi, mida rakendades saab realiseerida mis tahes loogikafunktsiooni. Kõiki kolme loogika põhifunktsiooni on loogikaalgbra reeglite alusel võimalik realiseerida ainult üht tüüpi loogikaelementide kas NING-EI või VÕI-EI abil. Järelikult võib NING-EI- ja VÕI-EI-elemente ning tehteid nendega nimetada universaalseteks loogikaelementideks ja -teheteks. Lisaks põhifunktsioonidele leiavad kasutamist mitmed loogika tüüpfunktsioonid, nagu alternatiiv, ekvivalentsus, implikatsioon jt. Niisuguste funktsioonide ja elementide olemasolu lihtsustab loogikalülituste sünteesi...
Kuna dekoodri väljundisse ühendatavad seadmed on erinevad, siis kasutatakse nende juhtimiseks ka erinevaid dekoodreid. Dekoodril on nii mitu sisendit n, kui mitu kohta on sisendisse antaval kahendarvul. Maksimaalne väljundite arv võrdub kombinatsioonide arvuga 2n. Dekoodreid koostatakse peamiselt NING loogika elementidest. Tegemist on loogika elemendiga, mis muudab rööpkoodi unitaarkoodiks, millel on ainult 1 bitt "1", ülejaanud on "0". Multiplekser on kommutaator, millel on mitu sisendit ja 1 väljund. Sisendid jagunevad infosisenditeks ja juhtsisenditeks, kusjuures infosisendite arv määrab ära juhtsisendite arvu ning vastupidi. Vastavalt juhtsignaalile kommuteeritakse multipleksori väljundisse signaal ühest infosisendist. Kommuteeritavate infosisendite arv on 2n, kus n on juhtsignaalide arv...
* Vestlusmeetodit/filosoofeerimis nim. dialektiliseks.*kuulsamad õpilased Platon ja Antisthenes * inimese Sokrates hinges on teadmisi, millest inimene ei ole teadlik Ei väärtustanud demokraatiat, vaid aristrokaatriku. õpetus ideaalsest riigist 3 seisust: valitsejad, sõjamehed, käsitöölised (rahvas) - valitsejad on kõige väärtuslikum Platon seisus - teised on vähemväärtuslikud. inimese hing on inimese olemus ning lahutamatu mateeriast, st inimese kehast. *eristas loomulikke ja kunstlikke asju - loomulikud asjad tekivad iseenesest, kunstlikud asjad loob aga inimene *igal asjal on olemas sisu ja vorm *põhjusõpetus: 1)aineline 2) ma...
1847-1854 George Boole, de Morgan. 1857 perfolint(Wheatstone).1867 "Type writer" sholes,glidden,soule.1879 Kaasaegse loogika alus: Gottlob Frege(öloob kaasaegse predikaatarvutuse). 1890 - Hollerith'i perfokaardid->sellest firmast tekkis IBM.1845-1918 elas, Hulgateooria: Georg Cantor.1920...Enigma kodeerimiseks Saksa lennu-,merevägi.1935-1937 Turingi masin1936: Churchi lambda-arvutus.1930-1935-1937 Vannevar Bush MIT:dif. Võrrandite lahendamiseks(100t,tuhanded releed,150 mootorit,2000lampi). 1889-1951Ludwig Wittgenstein. 1938, Shannon'i magistritöö sidus: Boole algebra. Elektrilülitid ja -skeemid. Bitid ja info kodeerimise. Info otsimise algoritmid.1939-1942 Atanasoff. esimene elektronarvuti?1939-44 Mark I (Aiken) IBMi elektriline(releed)digitaalne arvuti(5t).1941-1944:Konrad Zuse. Z3, Z4. Releedega digitaalarvuti.1948 I transistor(Shockley)- müüma hakkas Bell Corp.1949 - Maurice Wilkes koostas EDSAC, the...
Ta loob neid nagu maalikunstnik loob jooni ja värve. Jooned ja värvid ei ole kunstnikule ette antud, vaid nad sünnivad loomingu tulemusena. Ette antud on vaid mingid ,,raamistikud" vood. Looming seisnebki nende voogude eraldamises, korraldamises ja ühendamises. Seega kontsept ise ei ole midagi etteantut ja ei ole ka sama, mis mõtlemine mõtelda saab edukalt ka ilma kontseptita. Aga vaid filosoof mõtleb kontseptitedes ning kontsept sünnib filosoofi tegevuse, algupärase loomingu tulemusena. Gilles Deluze ütleb, et kontsept on singulaarsuste süsteem, mis on eraldatud mõttevoost. Näiteks helilooja eraldab akustilisest voost (mis hõlmab endas kogu maailma ja isegi vaikust) midagi, näiteks noote või veel midagi muud. Sama kehtib ka filosoofia puhul, ainult siin pole küsimus mitte kõlade, vaid kontseptide loomises. Filosoofiat ei saa määratleda mingisuguse tõe otsingun...
astronoomia (ka liikuvad kirikupühad). Esimeste ülikoolide teke jääb 11-13 sajandisse. 1119 Bologna ülikooli asutamise ürik vmi. Eestis sellel ajal piirdus haridus kodus õpitu ja nähtuga. Ülikoolis kunstiteadus, arstiteadus, õigusteadus, usuteadus. Pidi alustama kunstist. Hakati välja andma teaduskraade. Skolastika - tugines muistsetele autoriteetidele (Piibel, kirikuisade ja antiikautorite teosed) ja püüdis nende seisukohti loogika abil tõlgendada ning erinevaid vaateid ühendada. Põhiprobleemiks sai usu tõdede ja mõistuse tõdede ühendamine. Tuntuim skolastik Aquino Thomas....
[32] Bachi loomingus on Lisaks veel: sügav emotsionaalsus ühenduses ,,Veemuusika" konstruktiivse mõtlemisega ning ,,Tulevärgimuusika" julge fantaasia karmi mõistuslikkusega. Bachi teostele on iseloomulik isikupärane stiil ja loogika eri häälte juhtimisel, väljendus- ja karakteerimisjõud ning figuratsioonirohkus. Bach on loonud üle 300 kirikukantaadi, ,,Johannese passion", ,,Matteuse passioon", ,,Jõuluoratoorium" Tähtsus Bachi muusika vaimsus ja Tema helikeel ühendam saksa, muusikaajaloos kompositsioonilised võtted on prantsuse, itaalia ja inglise...
Talita nõnda, et sa inimkonda nii oma isikus, kui ka ükskõik kelle teise isikus, suhtuksid alati kui eesmärki ja mitte kunagi kui ainuüksi vahendisse. 7 8 WITTGENSTEIN JA ANALÜÜTILINE FILOSOOFIA 1.Analüülitise filosoofia mõiste ja klassikud (Russel, Moore): Analüütilise filosoofia jaoks on keskne probleem, millises vahekorras on keel ja maailm. Käsitleb meetodi, loogika , teaduse ja eelkõige keele teemasid. Bertrand Russel filosoof-matemaatik, üks analüütilise filosoofia rajajatest. Tähtsaim panus keelefilosoofiasse on tema määravate kirjelduste teooria. Edward Moore Briti filosoof, esimene tavakeele filosoof. 2."Loogilis-filosoofilise traktaadi" keelekäsitluse põhijooned ja järeldused filosoofia kohta: Lausete vahekord kindel. 7 põhilauset + igal lausel täpsustus (v.a. viimasel). Kindel süsteem, mis väljendab lausete loogilist kaalu....