Tehnilis-majanduslik hindamine Hindamisel eristatakse tehnilist ja majanduslikku väärtust, milliste alusel koostatakse tehnilis-majanduslik diagramm. Eelistatum on variant, mille puhul diagrammi punkt asub lähemal ideaalpunktile. Hindamine koos kasulikkuse analüüsiga Koostatakse sihtide puu, millisele märgitakse suhtelised ja absoluutsed kaalud. Edasi toimitakse analoogselt kaalutud punkhindamisele. 39. Aksiomaatilise projekteerimise etapid Aksiomaatiline projekteerimine põhineb hüpoteesil, mis sisaldab kindlaid fundamentaalseid printsiipe, mis kontrollivad head projekteerimise tava ning kus võtme komponentideks on projekteerimise valdkonnad, aksioomid, hierarhiad ja siksakilisuse (zigzagging) järgimine. 40. Kuidas jagunevad valdkonnad aksiomaatilises projekteerimises. Kuidas on erinevad valdkonnad omavahel seotud? Joonistada skeem.
3 elementaarkonjuktsioonide disjunktsiooni 4 SML õpik lk. 27 4 5) Lisada liikmetele puuduvad lausemuutujad ning viia uuesti disjunktsioonid konjunktsioonidest sügavamale. 6) Järjestada igas liikmes literaalid ja jätta ära korduvad liikmed. Formaalse aksiomaatilise teooria üldskeem. Teooria korrektsus ja täielikkus semantika suhtes. Formaalse aksiomaatilise teooria üldskeem 1) Fikseeritakse tähestik ja antakse valemi definitsioon. 2) Osa valemeid loetakse aksioomideks. Neid pole teoorias vaja tõestada. 3) Fikseeritakse lõplik hulk tuletusreegleid kujul 1 ,2 ,..., , mis lubavad valemitest 1 , 2 , ... , vahetult tuletada valemi G. Def 2
produktiivne teadus, ta on osa üldisest kultuurist, mida igaüks peab valdama, kui süveneb mingisse teaduse valdkonda. Enne seda, kui Aristoteles rajas loogika teaduse ei olnud keegi teine püüdnud süstematiseerida ja individualiseerida õige järelduse vorme. Aristotelese loogikas on kolme sorti elemente: lause sisemist struktuuri käsitlev õpetus kategooriatest, õpetus õigetest järeldustest ehk süllogistika ja teadusliku meetodi õpetus, kus Aristoteles esitab oma aksiomaatilise teaduse-ideaali. Lõpetuseks tõstaksin oma tööst esile lause ,,Miski pole nii igav kui loogika, ja miski pole nii tähtis.". Minu arust iseloomustab see kõige paremini loogika olemust. 18 KASUTATUD KIRJANDUS Anvelt, L. Aristoteles : vana-aja universaalsemaid teadlasi Tartu : Eesti Kirjanduse Selts, 1938 Aristoteles, Nikomachose eetika. Tartu, 1996. Durant, W. Lood filosoofia ajaloost. Tallinn, 1998. Filosoofia leksikon
Teoreemi üldkuju: kui on täidetud eeldused E1, ..., Ne, siis kehtib väide V Väide on kujul B&C Eeldus on kujul B&C Väide on kujul BvC Eeldus on kujul BvC Väide on kujul B->C Eeldus on kujul B->C Väide on kujul B Eeldus on kujul B Väide on kujul B<->C Eeldus on kujul B<->C Väide on kujul () Eeldus on kujul () Väide on kujul () Eeldus kujul () 5. AKSIOMAATILISED TEOORIAD Mitteformaalse aksiomaatilise teooria skeem: o Fikseeritakse mingi hulk antud teoorias uuritavaid objekte, nendel defineeritud funktsioone ja seoseid ning sümboolika nende tähistamiseks o Teatud hulk väiteid loetakse tõesteks a priori (ilma tõestuseta). Neid väiteid nimetatakse selle teooria aksioomideks o Teooria arendamine seisneb nn. teoreemide tõestamises. Teoreemideks loetakse väiteid, mida saab tõestada ,,ainult aksioome kasutades"
*Hüpoteesis eristatakse nö. ,,väiksema võimsusega lõpmatut hulka", milleks on naturaalarvude hulk N ning ,,suurema võimsusega lõpmatut hulka", milleks on reaalarvude hulk R. *Hüpotees väidab, et ei leidu ühtki sellist lõpmatut hulka, mis oma võimsuse poolest jääks nende ,,väikse lõpmatu hulga" ning ,,suure lõpmatu hulga" vahele. Lisaks: Hulga astmehulgaks nim. hulga kõikide alamhulkade hulka. Hulga astmehulga võimsus on |P(A)|=2n *Hiljem on märgitud, et aksiomaatilise hulgateooria baasil ei ole Cantori väidet võimalik ei tõestada, ega ka ümber lükata. [3]. Järjendid. Permutatsioonid. Kombinatsioonid. Järjendid e. korteezid e. ennikud- n-elemendilise hulga elementidest moodustatud k- kohalist järjestatud loendit nimetatakse järjendiks. *Kaks järjendit on võrdsed vaid siis, kui nad on sama pikad ning nende vastavates positsioonides on samad väärtused. Järjendi puhul on oluline temas sisalduvate elementide järjestus. (Nt
õiguse realiseerimiseks on vaja riikliku võimualast tegevust. Kasutamine: Aktiivne õiguse realiseerimise vorm, kus õiguse subjektid kasutavad neile antud juriidilisi võimalusi oma tegemistes ja toimetustes. Subjektideks saavad siin olla nii juriidilised kui füüsilised isikud. Eksisteerib tuntav erisus õiguse realiseerimises, tema kasutamise vormis tavainimeste ja avaliku võimu kandjate vahel. Nimelt, on lausa aksiomaatilise fakt, et tavainimese poolt temale kuuluvate subjektiivsete õiguste kasutamine on vabatahtlik asi. Keegi ei või meid sundida selleks. Niisamuti ei saa rääkida ka mingist vastutusest, kui me kasutame neid õigusi. Teisiti on lugu aga õiguse realiseerimisega kasutamise vormis avaliku võimu kandjatega, sest siin toimub see realiseerimine õiguse ja kohustuse ühtsuses. Nimetagem seda pädevuseks. Riigikohtul on nii õigus kui ka kohustus lahendada kaasust, ta ei saa jätta asja läbivaatamata
sageli nimetataksegi Boole'i algebraks Kaugemaks eesmärgiks pidas Boole nagu Leibnizki loogika keele väljaarendamist ja "mõtlemise aritmeetika" ehitamist. Erinevalt Leibnizist ja teistest varasematest loogikutest andis Boole süsteemse, matemaatilise kuju niisuguse keele baasfragmendile - lausearvutusele. Nagu öeldud, annab Boole' algebra lausearvutusele süstemaatilise, kuid mitte veel rangelt aksiomaatilise kuju. Samuti ei jõua Boole lausearvutusest kaugemale, suhteid ja omadusi kirjeldava predikaatarvutuse juurde - seda teeb 1879. aastal Frege. Kõigi asjade klassi (nimetades seda Universumiks) tähistas Boole numbriga 1. Tühja klassi tähistas number 0. Kõrvutiseisvad avaldised (näiteks AB) tähistasid avaldiste ühisosa ehk "ja"-tehet. A+B tähistas avaldiste ühendust ehk
kogemustega, millegi sellisega, mis on meie senisele süsteemile uus, võõras. Kuna inimesel on vajadus veendumuse järele, proovib ta kahtlust ületada. Ta hakkab liikuma veendumuse fikseerimise suunas. Kahtlused on olemuselt positiivsed, sest need panevad inimese mõtlema, tegutsema, viies ta uuele tasemele. Kahtlus on tõe üks instrumentidest. Kahtlusi on võimalik ületada põgenemise (inimene sulgeb end probleemile), kõrgemale autoriteedile toetumise (nt toetudes parteile, kirikule), aksiomaatilise põhimõtte külge klammerdumise (aksiomaatiline enesestmõistetav) või teadusliku meetodi (ainus, mille abil saab kahtlust täielikult ületada) teel. Pierce loob ka enda n-ö printsiibi, öeldes, et mõtlemisel on praktiline iseloom. Selleks, et mingi mõiste tähendus kindlaks teha, on vajalik katsetada, millise praktilise kogemuse see meie teadvuses esile kutsub. Ühtlasi tähendab see seda, et kõik metafüüsilised probleemid ja spekulatsioonid tuleb kõrvale heita. Pierce toob
Eksperiment on küsimus Loodusele (Loojale). Asjaliku vastuse saamiseks tuleb see küsimus esitada selgelt ja ühemõtteliselt (Albert Einstein: Jumal on rafineeritult kaval, aga pahatahtlik Ta ei ole). Induktiivne meetod (induktsioon) on liikumine üksikult üldisele. Uus, laiema kehtivusalaga teadmine saadakse üksikfaktide (kitsama kehtivusalaga teadmiste) üldistamise teel. Deduktiivne meetod (deduktsioon) on liikumine üldiselt üksikule. Deduktiivse (aksiomaatilise) teooria ülesehitamisel formuleeritakse kõigepealt aksioomid (üldeeldused, füüsikas: postulaadid), neist tuletatakse loogiliselt kõik teised väited. Üksikjäreldusteni jõutakse, rakendades üldseadust antud erijuhul. Aksioomide tõesust kinnitab teooria üksikjärelduste kooskõla katsefaktidega. 2 Loodusnähtuse kirjeldus annab omavahelises loogilises seoses ning vastavat terminoloogiat (füüsikalisi
geomeetriliselt). · See ei ole enam rinda andev madonna, vaid · "EETIKA" 1677 kuninga armuke paljastatud rinnaga. · Ta Etika on tõepoolest kirjutatud Eukleidese · Peegeldused kunstis aksiomaatilise geomeetria vormis. · Michelangelo Taavet ei ole tõeline Taavet. · Iga lõik koosneb definitsioonist, aktsioomidest, · See kuju teemal: Inimene on suurejooneline! õpetuslausetest koos tõestustega. · Inimene usaldades omaenese jõude vaatab · "EETIKA" 1677 tulevikku! · Teose vorm väljendab mõtet nagu matemaatikaski
vuse kohta. Eksperiment on küsimus Loodusele (Loojale). Asjaliku vastuse saamiseks tuleb see küsimus esitada selgelt ja ühemõtteliselt (Albert Einstein: Jumal on rafineeritult kaval, aga pahatahtlik Ta ei ole). Induktiivne meetod (induktsioon) on liikumine üksikult üldisele. Uus, laiema kehtivusalaga teadmine saadakse üksikfaktide (kitsama kehtivusalaga teadmiste) üldistamise teel. Deduktiivne meetod (deduktsioon) on liikumine üldiselt üksikule. Deduktiivse (aksiomaatilise) teooria ülesehitamisel formuleeritakse kõigepealt aksioomid (üldeeldused, füüsikas: postulaadid), neist tuletatakse loogiliselt kõik teised väited. Üksikjäreldusteni jõutakse, rakendades üldseadust antud erijuhul. Aksioomide tõesust kinnitab teooria üksikjärelduste kooskõla katsefaktidega. Loodusnähtuse kirjeldus annab omavahelises loogilises seoses ning vastavat terminoloogiat (füüsikalisi
(Albert Einstein: Jumal on rafineeritult kaval, aga pahatahtlik Ta ei ole). Vaatluse korral toimub uuritav loodusnähtus sõltumatult vaatlejast. Eksperimendi korral kutsutakse uuritav loodusnähtus tahtlikult esile. Induktiivne meetod (induktsioon) on liikumine üksikult üldisele. Uus, laiema kehtivusalaga teadmine saadakse üksikfaktide (kitsama kehtivusalaga teadmiste) üldistamise teel. Deduktiivne meetod (deduktsioon) on liikumine üldiselt üksikule. Deduktiivse (aksiomaatilise) teooria ülesehitamisel formuleeritakse kõigepealt aksioomid (üldeeldused, füüsikas: postulaadid), neist tuletatakse loogiliselt kõik teised väited. Üksikjäreldusteni jõutakse, rakendades üldseadust antud erijuhul. Aksioomide tõesust kinnitab teooria üksikjärelduste kooskõla katsefaktidega. Loodusnähtuse kirjeldus annab omavahelises loogilises seoses ning vastavat terminoloogiat (füüsikalisi
tulemuste jadaks. 1.3.Üksikjuhu õiglase lahenduse otsing Kõik tänase meetodiõpetusega kokkupuutuvad tööd arutlevad selle üle, millisel viisil on õiguse rakendajal võimalik jõuda õiglase otsuseni ning millist rolli mängib selles protsessis seadus. Õiglusele vastava otsuseni on vaja jõuda, aga kas seaduse abiga või ilma selleta? Laias laastus eristatakse printsiipi ja normi. Õigluse printsiibid ei ole normid, nad ei saa olla aksiomaatilise tähendusega laused ehk pidamislaused, kuid neid saab sõnastada olemislausetena. Printsiipe saab leida konkreetses juhuses endas. Tegemist on tüüpiliste seisukohtade vormeliga, mida saab kasutada ka a- tüüpiliste juhuste puhul. Seleks, et printsiibil oleks läbilöögijõudu, tuleb printsiipi legislatiivselt kujundada. Algselt avastatud printsiip, ka kaasuse enda koes, on stardipunkt õiguse rakendaja poolsele normiloomele. Teatud mõttes on see kasuistlik lahendus – norm
2.5 Teadusliku tunnetuse üldised meetodid Teaduses kasutatavate viiside, võtete ja operatsioonide all mõistetakse teadusliku tunnetuse meetodit, milledeks on siis vaatlus, eksperiment, mõõtmine, modelleerimine, mitmesugused võrdlused, klassifikatsioon, arutlused analoogia alusel, hüpoteeside püstitamine, teooriate kasutamine, analüüs ja süntees, induktsioon ja deduktsioon jne. Teoreetilist meetodit on olemas peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab ,,vastuolulisuse"
2.5 Teadusliku tunnetuse üldised meetodid Teaduses kasutatavate viiside, võtete ja operatsioonide all mõistetakse teadusliku tunnetuse meetodit, milledeks on siis vaatlus, eksperiment, mõõtmine, modelleerimine, mitmesugused võrdlused, klassifikatsioon, arutlused analoogia alusel, hüpoteeside püstitamine, teooriate kasutamine, analüüs ja süntees, induktsioon ja deduktsioon jne. Teoreetilist meetodit on olemas peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab ,,vastuolulisuse"
2.5 Teadusliku tunnetuse üldised meetodid Teaduses kasutatavate viiside, võtete ja operatsioonide all mõistetakse teadusliku tunnetuse meetodit, milledeks on siis vaatlus, eksperiment, mõõtmine, modelleerimine, mitmesugused võrdlused, klassifikatsioon, arutlused analoogia alusel, hüpoteeside püstitamine, teooriate kasutamine, analüüs ja süntees, induktsioon ja deduktsioon jne. Teoreetilist meetodit on olemas peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab „vastuolulisuse“
annaabi.ee 
