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 tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad laused rahuldavad järgmisi tingimusi: · Välistatud kolmanda seadus. Iga lause on kas tõene või väär · Mittevasturääkivuse seadus...
perioodilisused, trend ning koormuse iseloom erandpäevadel; temperatuurisõltuvus, mille osakaal on näiteks elekterkütte korral küllaltki suur. Mudelis arvestatakse temperatuurisõltuvuse inertsi, mittelineaarsust ja ajalisi muutusi; sõltuvus talitlusparameetritest, mis avaldub koormuse pinge ja sagedustundlikkusena; juhuslikkus, mis on eriti märgatav väikestes, jaotusvõrgu koormustes. Selliste koormuste ruuthälbe suhe matemaatilisse ootusesse on suhteliselt suur. Ka võib väikestes koormustes esineda suuremaid kõrvalekaldeid, mis ei sobi kokku normaaljaotusega; juhitavus. Koormust juhitakse enamasti kaudselt elektritariifide abil. Esineb ka otsest juhtimist elektrivõrgu operatiivpersonali poolt. Juhitavuseks võib lugeda põhivõrgu sõlmekoormuste muutusi, mis on tingitud ümberlülitustest jaotusvõrgus. 3.Koormuse põhilised seaduspärasused Koormuse matemaatilise modelleerimise ideest tuleneb, et
mõjutanud paljusid teisi teadlasi. · Hawking ei ole imearvutaja nagu paljud tänapäeva füüsikateoreetikud. Tema mudelid põhinevad lihtsatel ning loogilistel lähte-eeldustel ja viivad üllatavate tulemusteni. Nt: musta augu kvant-aurustumine. Singulaarsuse teoreemid · 1965. aastal Roger Penrose(Inglismaa) näitas, et üldrelatiivsusteooria kohaselt koondub omaenese raskuse all kollapseeruva tähe mass ühte matemaatilisse so lõpmata väiksesse punkti. Tihedus saab lõpmata suureks, nii et tekib singulaarsus, mille nimi on must auk. · Penrose'iga liitus Stephen Hawking. 1970. aastal näitasid nad ikka üldrelatiivusteooriast lähtudes et suur pauk oli tõepoolest samasugune singulaarsus, ainult et hoopis suuremas mastaabis. · Edasine loogika andis, et kui suur pauk algas väga väikestest mastaapidest, siis suurte
kosmoloogia alal on esileküündivad ning on oluliselt mõjutanud paljusid teisi teadlasi. Hawking ei ole imearvutaja nagu paljud tänapäeva füüsikateoreetikud. Tema mudelid põhinevad lihtsatel ning loogilistel lähte-eeldustel ja viivad üllatavate tulemusteni. Nt: musta augu kvant-aurustumise. 1965. aastal Roger Penrose(Inglismaa) näitas, et üldrelatiivsusteooria kohaselt koondub omaenese raskuse all kollapseeruva tähe mass ühte matemaatilisse so lõpmata väiksesse punkti. Tihedus saab lõpmata suureks, nii et tekib singulaarsus, mille nimi on must auk. Penrose'iga liitus Stephen Hawking. 1970. aastal näitasid nad ikka üldrelatiivusteooriast lähtudes et suur pauk oli tõepoolest samasugune singulaarsus, ainult et hoopis suuremas mastaabis. Edasine loogika andis, et kui suur pauk algas väga väikestest mastaapidest, siis suurte mastaapidega üldrelatiivsusteooria ei ole piisav universumi algushetki kirjeldama ja vaja on
Kui puhkes Esimene maailmasõda, osales ta aktiivselt sõjaväeteenistusest keeldujate liikumises ning teda trahviti 100 naelsterlingiga selle eest, et ta kirjutas lendlehe, milles kritiseeris ühe sõjaväeteenistusest keelduja kaheks aastaks vangimõistmist. 1916 kaotas Russell oma patsifistliku tegevuse tõttu koha Cambridge'is. Nii kolledz kui valitsus määrasid talle rahatrahvi ja ta kandis viis kuud vanglakaristust, mille jooksul kirjutas ,,Sissejuhatuse matemaatilisse filosoofiasse" (1919). Sõprade toetusel pidas Russell Londonis mõned loengud, mille põhjal valmis raamat "Analysis of Mind" (Vaimu analüüs; 1921). Pärast sõda külastas ta lühiajaliselt Nõukogude Liitu, mille sotsailismivesioonis ja praktikas ta sügavalt pettus, ning hiina Vabariiki, kus ta õpetas mõnda aega Beijingi ülikoolis. Hiinast Inglismaale naasnuna asutas ja juhatas ta koos oma teise naisega progressiivset kooli, seejärel õpetas mitmetes USA ülikoolides ja kolledzites
peetakse esimese eksperimentaaluuringute laboratooriumi asutamist Leipzigis 1879. aastal, mille rajas filosoofiaprofessor wilhelm Wundt. Leipzigis oli küll juba 1860. aastal ilmunud Gustav Fechneri teos ,,Psühhofüüsika elemendid", mis põhines aastakümnetepikkusel eksperimenteerimisel ning püüdis näidata, kuidas aistingute tugevus muutub ärritustugevuse muutudes tegemist oli psüühiliste nähtuste seosest füüsikaliste nähtustega. Seost püüti kujutada matemaatilisse funktsiooni rüütatud seaduspärasusena. Herman von Helmholz püüdis aga teostes, mis ilmusid 18556-1866, füüsikaseadusi kasutades seletada nägemis-ja kuulmismehhanisme. Eksperimentaalne, loodusteaduste eeskujule toetuv psühholoogia laienes nii sisuliselt kui ulatuselt väga kiiresti, mis tähendas teadusliku analüüsi ülekandumist introspektiivsele psühholoogiale, mida filosoofia haruna oli pikka aega harrastatud.
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, kus maailm on olemas? L.Wittgenstein, ``Tractatus Logico-Philosophicus''. 1 Loogika aine Esimene küsimus, mis meil esitada tuleb, on küsimus loogika ainest. Mis asi on loogika, ja mida loogikateadus uurib?
tegurnäitajad on uksteisega seotud põhjuslike seoste kaudu. Struktuurivõrrandid iseloomustavadki põhjus-tagajärg-seoste susteemi teguriruumis. Struktuurivõrrandite süsteemi koostamine on kahtlemata sammuks edasi alternatiivide ruumi piiritlemise probleemi põhjendatud lahendamisel. Nende võrrandite lülitamine matemaatilisse modelleerimisse võimaldab oluliselt tõsta lahendusvariantide kvaliteeti. Puudused: · Esiteks, struktuurivõrrandite koostamise statistilised raskused: tegurnäitajate statistiline seos (multikollineaarsus) põhjustab seosevõrrandite parameetrite ebastabiilsust ja madalat usaldusväärsust. · Teiseks, analuutilised raskused: mitmemõõtmeliste struktuurivõrrandite parameetreid ei
) "Capability" Brown "Konsulteeri kõiges paiga vaimuga." Alexander Pope "Meie briti aednikud - selle asemel et loodusele järele anda, armastavad nad sellest kõrvale kalduda nii palju kui võimalik. Meie puud kõrguvad koonuste, kerade ja püramiididena. Me näeme kääride jälgi igal taimel ja põõsal. Ma ei tea, kas olen oma arvamuses üksi, aga ma vaataksin puud pigem kogu tema lopsakuses ja kõigi tema okste-võrsete levimist, kui lõigatuna ja trimmituna matemaatilisse figuuri; ning lilledes viljapuuaiad näivad lõpmatult ilusamad kui kõige viimistletuma parteri väikesed labürindid." Joseph Addison Inglise maastikupargil võib eristada mitmeid alajaotusi: 1. Romantiline park (Kent) 2. Pastoraalne park (Brown) 3. Pitoreskne stiil (Repton) 4. Inglise-hiina aed / park (Chambers). I Romantiline park William Kent (1685-1748) oli üks esimesi, kes hakkas kujundama romantilises stiilis maastikuparke
annaabi.ee 
