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

"loogika" - 501 õppematerjali

loogika – peetakse loogika rajaks, kuigi ta seda mõistet ei kasutanud teaduste klassifitseerimisel (teoreetilised: I filosoofia – metafüüsika, II filosoofia – mate ja füüsika; praktilised: poliitika, eetika; loomingulised: oskused). Selle asemel mõiste analüütika. Loogikat ei pidanud teaduseks, vaid teaduste tööriistaks.

Õppeained

Loogika -Tartu Ülikool
Loogika -Eesti Ettevõtluskõrgkool Mainor
Loogika -Gümnaasium
Loogika ja avalik esinemine -Akadeemia Nord
Loogika -Tallinna Tehnikaülikool
Loogika -Eesti Maaülikool
Loogika -Tallinna Majanduskool
Loogika -Tallinna Majanduskool
Loogika ja algoritmiteooria -Tallinna Majanduskool
Loogika ja juriidiline argumentatsioon -Tallinna Majanduskool
Loogika

Kasutaja: Loogika

Faile: 0
thumbnail
13
pptx

Filosoofia ja teadus

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

Ajalugu
11 allalaadimist
thumbnail
13
docx

HEGEL

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

Kultuurilugu
33 allalaadimist
thumbnail
9
docx

Gottfried Wilhelm Leibniz

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

Filosoofia
22 allalaadimist
thumbnail
3
odt

Loogikaalgebra, Põhiseosed, loogikafunktsioonid

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

Diskreetne matemaatika
49 allalaadimist
thumbnail
13
pdf

Propositional logic and simple predicate assignments

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

Inglise keel
5 allalaadimist
thumbnail
12
pptx

Propositional logic and simple predicate assignments powerpoint

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

Inglise keel
4 allalaadimist
thumbnail
6
pdf

Experimenting with predicate provers.

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

Informaatika
5 allalaadimist
thumbnail
8
ppt

Aritmeetika-loogika seade (ALU)

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

Arvutid i
52 allalaadimist
thumbnail
4
docx

Reversiivne parallel ladimisega nihkeregister T triggerite baasil

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

Programmeerimine 2
19 allalaadimist
thumbnail
13
doc

Mõisteõpetus

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

Eesti keel
10 allalaadimist
thumbnail
7
docx

Referaat loogikust Kurt Gödel

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

Kuulsused
2 allalaadimist
thumbnail
8
docx

Protsessori juhtautomaadid ja nende realiseerimine

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

Arvutid
9 allalaadimist
thumbnail
282
pdf

Mikroprotsessortehnika

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

Tehnikalugu
43 allalaadimist
thumbnail
6
docx

Konspekt digitaalses loogikas

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

Mikroprotsessortehnika
16 allalaadimist
thumbnail
4
xls

Filosoofia spikker - isikud

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

Filosoofia
206 allalaadimist
thumbnail
1
doc

Eksami spikker

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

Sissejuhatus...
69 allalaadimist
thumbnail
2
doc

FRANCIS BACON - „NOVUM ORGANUM”

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

Filosoofia
71 allalaadimist
thumbnail
4
docx

KESKAEG, Frangi riik

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

Ajalugu
74 allalaadimist
thumbnail
4
docx

Barokkheliloojad - Johann Sebastian Bach ja Georg Friedrich Händel

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

Muusikaajalugu
17 allalaadimist
thumbnail
10
doc

Filosoofid ja nende ideed

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

Filosoofia
589 allalaadimist


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