doc. dr. Jurgita Dabulytė-Bagdonavičienė Taikomosios matematikos katedra, KTU 2011/2012 m.m. 2011/2012 Matematinė logika

Σχετικά έγγραφα
Matematika 1 4 dalis

Matematinė logika. 1 skyrius Propozicinės formulės. žodį, Graikiškas žodis logos (λóγoς) reiškia

Įžanginių paskaitų medžiaga iš knygos

MATEMATINĖ LOGIKA. Įžanginių paskaitų medžiaga iš knygos

I dalis KLAUSIMŲ SU PASIRENKAMUOJU ATSAKYMU TEISINGI ATSAKYMAI

Elektronų ir skylučių statistika puslaidininkiuose

Matematika 1 3 dalis

X galioja nelygyb f ( x1) f ( x2)

Dviejų kintamųjų funkcijos dalinės išvestinės

VILNIAUS UNIVERSITETAS MATEMATIKOS IR INFORMATIKOS FAKULTETAS PROGRAMŲ SISTEMŲ KATEDRA. Algoritmų teorija. Paskaitų konspektas

2015 M. MATEMATIKOS VALSTYBINIO BRANDOS EGZAMINO UŽDUOTIES VERTINIMO INSTRUKCIJA Pagrindinė sesija. I dalis

Diskrečioji matematika

Algoritmai. Vytautas Kazakevičius

1 Tada teigini Ne visi šie vaikinai yra studentai galima išreikšti formule. 2 Ta pati teigini galima užrašyti ir taip. 3 Formulė U&B C reiškia, kad

Modalumo logikos S4 kai kurios išsprendžiamos klasės

2008 m. matematikos valstybinio brandos egzamino VERTINIMO INSTRUKCIJA Pagrindinė sesija

Matematinės analizės konspektai

2009 m. matematikos valstybinio brandos egzamino VERTINIMO INSTRUKCIJA Pagrindinė sesija 1 6 uždavinių atsakymai

Temos. Intervalinės statistinės eilutės sudarymas. Santykinių dažnių histogramos brėžimas. Imties skaitinių charakteristikų skaičiavimas

Stanislovas NORGĖLA MATEMATINĖ LOGIKA

FDMGEO4: Antros eilės kreivės I

Laboratorinis darbas Nr. 2

AIBĖS, FUNKCIJOS, LYGTYS

Specialieji analizės skyriai

Riebalų rūgščių biosintezė

JONAS DUMČIUS TRUMPA ISTORINĖ GRAIKŲ KALBOS GRAMATIKA

KADETAS (VII ir VIII klasės)

Vilniaus universitetas. Edmundas Gaigalas A L G E B R O S UŽDUOTYS IR REKOMENDACIJOS

PNEUMATIKA - vožtuvai

Spalvos. Šviesa. Šviesos savybės. Grafika ir vizualizavimas. Spalvos. Grafika ir vizualizavimas, VDU, Spalvos 1

DISKREČIOJI MATEMATIKA

1 iš 15 RIBOTO NAUDOJIMO

EUROPOS CENTRINIS BANKAS

ATSITIKTINIAI PROCESAI. Alfredas Račkauskas. (paskaitų konspektas 2014[1] )

LIETUVOS JAUNŲ J Ų MATEMATIKŲ MOKYKLA

DISPERSINĖ, FAKTORINĖ IR REGRESINĖ ANALIZĖ Laboratorinis darbas Nr. 2

2.5. KLASIKINĖS TOLYDŽIŲ FUNKCIJŲ TEOREMOS

VIII. FRAKTALINĖ DIMENSIJA. 8.1 Fraktalinės dimensijos samprata. Ar baigtinis Norvegijos sienos ilgis?

I.4. Laisvasis kūnų kritimas

KENGŪRA Klausimai po 3 taškus. 2. Dominyko lentynoje yra du meškiukai, mašinėlė ir du kamuoliai. Kuris paveikslėlis

TIKIMYBIU TEORIJA HAMLETAS MARK AITIS MYKOLO ROMERIO UNIVERSITETAS 2010

Specialieji analizės skyriai

ANALIZINĖ GEOMETRIJA III skyrius (Medžiaga virtualiajam kursui)

ELEMENTARIOJI TEORIJA

eksponentinės generuojančios funkcijos 9. Grafu

Vilniaus universitetas Matematikos ir informatikos fakultetas Informatikos katedra. Gintaras Skersys. Mokymo priemonė

1 Įvadas Neišspręstos problemos Dalumas Dalyba su liekana Dalumo požymiai... 3

1.4. Rungės ir Kuto metodas

LIETUVOS RESPUBLIKOS ŠVIETIMO IR MOKSLO MINISTERIJA NACIONALINIS EGZAMINU CENTRAS MATEMATIKA m. valstybinio brandos egzamino uþduotis

IV. FUNKCIJOS RIBA. atvira. intervala. Apibrėžimas Sakysime, kad skaičius b yra funkcijos y = f(x) riba taške x 0, jei bet kokiam,

Vilius Stakėnas. Kodavimo teorija. Paskaitu. kursas

LIETUVOS RESPUBLIKOS ÐVIETIMO IR MOKSLO MINISTERIJA NACIONALINIS EGZAMINØ CENTRAS 2014 METŲ MATEMATIKOS VALSTYBINIO BRANDOS EGZAMINO REZULTATŲ

Matematinės analizės egzamino klausimai MIF 1 kursas, Bioinformatika, 1 semestras,

DISPERSINĖ, FAKTORINĖ IR REGRESINĖ ANALIZĖ Laboratorinis darbas Nr. 1

1 iš 8 RIBOTO NAUDOJIMO M. CHEMIJOS VALSTYBINIO BRANDOS EGZAMINO UŽDUOTIES VERTINIMO INSTRUKCIJA Pagrindinė sesija. I dalis

Statistinė termodinamika. Boltzmann o pasiskirstymas

Rinktiniai informacijos saugos skyriai. 3. Kriptografija ir kriptografijos protokolai: Klasikinė kriptografija

Analizės uždavinynas. Vytautas Kazakevičius m. lapkričio 1 d.

II dalis Teisingas atsakymas į kiekvieną II dalies klausimą vertinamas 1 tašku g/mol

1 TIES ES IR PLOK TUMOS

APRAŠOMOJI STATISTIKA

FRANKO IR HERCO BANDYMAS

Integriniai diodai. Tokio integrinio diodo tiesiogin įtampa mažai priklauso nuo per jį tekančios srov s. ELEKTRONIKOS ĮTAISAI 2009

Laißkas moteriai alkoholikei

Skalbimo mašina Vartotojo vadovas Πλυντήριο Ρούχων Εγχειρίδιο Χρήστη Mosógép Használati útmutató Automatická pračka Používateľská príručka

Paprastosios DIFERENCIALINĖS LYGTYS

KURKIME ATEITĮ DRAUGE! FIZ 414 APLINKOS FIZIKA. Laboratorinis darbas SAULĖS ELEMENTO TYRIMAS

Įvadas į laboratorinius darbus

Paprastosios DIFERENCIALINĖS LYGTYS

TEORIJOS PRADMENYS PROGRAMA

4 laboratorinis darbas. PARAMETRŲ ĮVERČIAI IR STATISTINĖS HIPOTEZĖS

2 laboratorinis darbas. TIKIMYBINIAI MODELIAI

5 klasė. - užduotys apie varniuką.

BRANDUOLIO FIZIKOS EKSPERIMENTINIAI METODAI

Gyvųjų organizmų architektūra: baltymai

Donatas Surgailis Finansų matematika

Kengūra Užduotys ir sprendimai. Senjoras

Balniniai vožtuvai (PN 16) VRB 2 dviejų angų, vidiniai ir išoriniai sriegiai VRB 3 trijų angų, vidiniai ir išoriniai sriegiai

Ekonometrija. Trendas ir sezoninė laiko eilutės komponentė

LIETUVOS RESPUBLIKOS SVEIKATOS APSAUGOS MINISTRAS Į S A K Y M A S

Paprastosios DIFERENCIALINĖS LYGTYS

SIGNALAI TELEKOMUNIKACIJŲ SISTEMOSE

Balniniai vožtuvai (PN 16) VRG 2 dviejų eigų vožtuvas, išorinis sriegis VRG 3 trijų eigų vožtuvas, išorinis sriegis

4.1 Skaliarinė sandauga erdvėje R n Tarkime, kad duota vektorinė erdvė R n. Priminsime, kad šios erdvės elementai yra vektoriai vektoriu

Skysčiai ir kietos medžiagos

Atomų sąveikos molekulėje rūšys (joninis ir kovalentinis ryšys). Molekulė mažiausia medžiagos dalelė, turinti esmines medžiagos chemines savybes.

Vilniaus universitetas Gamtos mokslų fakultetas Kartografijos centras. Giedrė Beconytė. Mokomoji knyga geomokslų specialybių studentams

MONTE KARLO METODAS. Gediminas Stepanauskas IVADAS Sistemos Modeliai Modeliavimas ir Monte-Karlo metodas...

Remigijus Leipus. Ekonometrija II. remis

Taikomieji optimizavimo metodai

Gabija Maršalkaitė Motiejus Valiūnas. Astronomijos pratybų užduočių komplektas

Classic serija: GroE, OPzS-LA, OCSM-LA, OGi-LA, Energy Bloc Stacionarių švino rūgšties akumuliatorių naudojimo instrukcija

Pagrindiniai pasiekimai kokybin je molekulių elektronin s sandaros ir cheminių reakcijų teorijoje. V.Gineityt

1. Individualios užduotys:

ŠVIESOS SKLIDIMAS IZOTROPINĖSE TERPĖSE

4.3. Minimalaus dengiančio medžio radimas

3 modulis. Funkcijos sąvoka. Laipsninė, rodiklinė ir logaritminė funkcija

Taikomoji branduolio fizika

Mokslo pažanga ir dvasingumas

Atsitiktinių paklaidų įvertinimas

Transcript:

doc. dr. Jurgita Dabulytė-Bagdonavičienė Taikomosios matematikos katedra, KTU m.m. 1/31 doc. dr. Jurgita Dabulytė-Bagdonavičienė Taikomosios matematikos katedra Studentų 50-326 a tel. 300313 FMF dekanatas Studentų 50-216 tel. 300303 jurgita.dabulyte@ktu.lt www.personalas.ktu.lt/~jurdabu 2/31 1

P110B102 2 kreditai 32 val. teorijos, 16 val. pratybų. Užsiėmimai: Trečiadienis 12:30-14:00 teorija+praktika; Trečiadienis (I sav.) 14:15-15:45 teorija+praktika. 3/ 31 Kurso turinys : Teiginių algebra; Teiginių skaičiavimas; Teiginių algebros uždaviniai; Būlio algebra: Būlio funkcijų vaizdavimas; Būlio funkcijų minimizavimas.. 4/ 31 2

Atsiskaitymai Individualus namų darbas (IND). K 1 atsiskaitymas. K 2 atsiskaitymas. Galutinis studento žinių įvertinimo balas (G) skaičiuojamas: G =.4 ( K + K ) + 0. 2 IND 0 1 2 5/ 31 Literatūra Listopadskis N., Markauskas R. V.. I dalis. Teiginių logika. Kaunas: Technologija, 1995. Listopadskis N., Markauskas R. V.. II dalis. Predikatų logika. Kaunas: Technologija, 2007. Jusas V.. Kaunas: Technologija, 2002. Norgėla S.. Vilnius: TEV, 2004. 6/ 31 3

Logika graikiškas žodis: λόγος, logos turintis reikšmes: žodis, reikšmė filosofijos mokslo šaka, tirianti priimtinus samprotavimo būdus; plačiąja prasme taisyklingas mąstymas, samprotavimų eiga, sveikas protas, vidinis dėsningumas. Šnekamojoje kalboje logika dažniausiai vadinamas samprotavimų analizavimas. 7/ 31 Logika Tradiciškai logika buvo mokoma kaip filosofijos dalis, bet jau du šimtmečius logika studijuojama ir kaip matematikos, o paskutiniais dešimtmečiais kaip kompiuterių mokslo dalis. Kaip mokslas, logika tyrinėja ir klasifikuoja sakinių ir argumentų struktūrą, apibrėžia aprašymo schemą, nagrinėja tikimybės santykį su priežastingumu, teisingus ir klaidingus teiginius ir paradoksus. 8/ 31 4

Logikos teorijos Logikos mokslą sudaro daug teorijų. logika, nagrinėjanti teiginių loginius ryšius. yra logikos teorija, nagrinėjanti vidinę teiginio struktūrą. Silogistika pagrindinė senosios logikos teorija, nustatanti priemones išvadoms iš prielaidų gauti. 9/ 31 Logikos rūšys Formalioji logika paprastos kalbos argumentų mokslas; Neformalioji logika išvadų darymo mokslas; Simbolinė logika simbolinių abstrakcijų mokslas; simbolinės logikos tąsa kitose srityse: modelių teorijoje, įrodymų teorijoje, aibių teorijoje... 10/ 31 5

Paradoksai. Loginiai paradoksai Paradoksas teiginys ar teiginių grupė, iš pirmo žvilgsnio atrodantys teisingi, tačiau privedantys prie prieštaravimų. Loginiai paradoksai (ne matematiniai) Arklių paradoksas - klaidingai taikant matematinę indukciją įrodoma, jog visi arkliai yra vienos spalvos. Barzdaskučio paradoksas - Barzdaskutys skuta visus tuos, kurie nesiskuta patys. Ar pats barzdaskutys skutasi? Epimenido paradoksas - "Aš visada meluoju". 11/ 31 Loginiai paradoksai Geriančiojo paradoksas - bet kuriame ne tuščiame bare, yra toks klientas, kad jeigu jis ar ji geria, visi bare geria. Kranklio paradoksas - Raudono obuolio pamatymas padidina tikimybę, kad visi krankliai yra juodi. Netikėto pakorimo paradoksas - Teisėjas pasako kaliniui, kad jis bus pakartas per vienos iš ateinančios savaitės dienų vidurdienį, bet egzekucija kaliniui bus staigmena. Kalinys logiškai išmąsto, kad jis niekada negali būti pakartas. Protagoro prieš Euathlosą paradoksas - Teisės studentas sutinka mokėti savo mokytojui, kai laimės savo pirmą bylą. Tada mokytojas pareiškia ieškinį dar nei karto nelaimėjusiam studentui, kad šis susimokėtų. 12/ 31 6

Barzdaskučio paradoksas Anglų matematikui, logikui ir filosofui Bertranui Raselui (Bertrand Russel) priskiriamas loginis paradoksas. Jis parodo, kad logiškai atrodanti taisyklė iš tiesų gali būti nekorektiška. Formuluotė Tarkime, kad mieste yra vienintelis barzdaskutys. Visi miesto gyventojai yra švariai nuskusti juos nuskuto barzdaskutys arba jie nusiskuto patys. Taip išsivedame empirinę taisyklę: Barzdaskutys skuta tuos, kurie nesiskuta patys. 13/ 31 Barzdaskučio paradoksas Ar skutasi barzdaskutys? Vyras skutasi pats Taip Ne Vyrą skuta barzdaskutys Barzdaskutys skuta tuos, kurie nesiskuta patys. 14/ 31 7

Matematiniai paradoksai Matematiniai ir statistiniai paradoksai Balsavimo paradoksas (Jono Kondorceto paradoksas) - daugumos taisyklė negali garantuoti balsuotojų apsisprendimo nepriklausomumo ir balsavimo rezultatai gali priklausyti nuo balsavimo eiliškumo, kas leidžia manipuliuoti dauguma. Bertrano paradoksas - dėl skirtingų intuityvių žodžio atsitiktinai interpretacijų, tas pats tikimybių teorijos uždavinys gali būti išspręstas trimis teisingais būdais. Gimimo dienų paradoksas - Kokia yra tikimybė, kad dviejų toje pačioje šventėje esančių žmonių gimtadieniai bus tą pačią dieną? 15/ 31 Matematiniai paradoksai Mončio Holo paradoksas - intuicijai prieštaraujanti tikimybių teorijos uždavinio išvada. Trūkstama dėlionės dalis - perdėjus geometrines figūras kita tvarka, jos užima mažesnį plotą. Vilo Rodžerso fenomenas amerikiečių humoristo Vilo Rodžerso (Will Rogers, 1879-1935) pastebėtas statistinis paradoksas, kai nario perkėlimas iš vienos grupės į kitą keičia vidurkius ta pačia kryptimi. 16/ 31 8

Mončio Holo paradoksas 17/ 31 Mončio Holo paradoksas 18/ 31 9

Trūkstama dėlionės dalis - matematinė optinė apgaulė, susidedanti iš dviejų geometrinių figūrų derinių. Atrodo, kad abu deriniai suformuoja 13 5 dydžio stačius trikampius, bet viename jų yra 1 1 dydžio skylė. Kadangi figūrų deriniai yra sudaryti iš identiškų dalių, jų užimami plotai turėtų būti lygūs, todėl kyla klausimas, iš kur atsiranda skylė. 19/ 31 Trūkstama dėlionės dalis Paslaptis tame, kad mėlyno trikampio kraštinių santykis yra 5:2 (=2.500:1), o raudono 8:3 ( 2.667:1). 20/ 31 10

Trūkstama dėlionės dalis Todėl abu figūrų deriniai iš tikro nėra taisyklingi trikampiai - vieno įžambinė yra išlenkta į viršų, o kito - į apačią. Kadangi išlenkimas yra tik maždaug 1/28 langelio, pamatyti jį yra sunku. Bet įsižiūrėkite į tašką, kur raudonas trikampis liečiasi su mėlynu ir palyginkite jį su tuo pačiu tašku kitoje figūroje. Pamatysite, kad pirmajame trikampyje įžambinė eina šiek tiek žemiau langelių linijos, o antrajame - šiek tiek aukščiau. 21/31 Optinės apgaulės 22/31 11

Kalba ir metakalba 23/ 31 Teiginio sąvoka Teiginys - tai pradinė teiginių logikos sąvoka. t ir k klasės vadinamos teisingumo reikšmėmis. 24/31 12

Teiginio sąvoka Teiginys negali būti teisingas ir klaidingas vienu metu. Teisingi teiginiai: 1+2=3 Maironis parašė baladę Jūratė ir Kastytis Neteisingi teiginiai: 2+2=5 B. Brazdžionis parašė baladę Jūratė ir Kastytis Ne visi sakiniai gali būti laikomi teiginiais, nes ne visi jie gali būti teisingi arba klaidingi. 25/31 Teiginių algebros abėcėlė ir formulės Sakykime, kad dalykinėje kalboje yra teiginių, kurių vidinė struktūra mums nerūpi. Tokius dalykinės kalbos sakinius vadinsime elementariosiomis formulėmis, arba atomais. Atomus žymėsime lotynų kalbos abėcėlės didžiosiomis raidėmis, pradėdami raide P, o jei reikės, vartosime indeksus: P, Q, R,..., X, Y, Z, P1, P2,..., Z1, Z2,... Laikysime, kad skirtingos raidės turinio atžvilgiu reiškia skirtingus atomus. Sudėtiniai teiginiai vadinami molekulėmis ir žymimi raidėmis A, B, C,... Molekulės sudaromos iš atomų, jungiant juos loginėmis operacijomis. 26/ 31 13

Teiginių algebros abėcėlė ir formulės Jei trys trikampio kraštinės yra lygios, tai jis yra lygiakraštis Molekulė Trys trikampio kraštinės yra lygios Atomai Trikampis yra lygiakraštis Molekulės sudaromos iš atomų dalykinės kalbos žodžiais ir posakiais, kuriuos teiginių algebroje atitinka loginiai operatoriai: (neigimas), (konjunkcija), (disjunkcija), (implikacija), ~ (ekvivalencija). 27/ 31 Teiginių algebros abėcėlė ir formulės 1.1 Apibrėžimas: Teiginių algebros abėcėlė: Atomų žymėjimai, loginiai operatoriai ir (, bei ). A t.a. elementai raidės. Abėcėlės A t.a. baigtinės raidžių sekos žodžiai. A t.a. = { P, Q, R,..., X, Y, Z, P1, P2,..., Z1, Z2,...,,,,, ~, (, )} 28/ 31 14

Teiginių algebros abėcėlė ir formulės 1.2 Apibrėžimas a) P, Q, R,..., X, Y, Z, P1, P2,..., Z1, Z2,... yra formulės, b) jeigu A yra formulė, tai ( A) taip pat formulė, c) jeigu A ir B yra formulės, tai ( A B), ( A B), ( A B), ( A ~ B) taip pat formulės, d) kitų formulių, išskyrus išvardytas a) punkte ir sudarytas pagal b) ir c) punktų taisykles, nėra. a) punkto formulės vadinamos elementariosiomis formulėmis arba atomais, o formulės, gautos pritaikius b) ir c) taisykles, - sudėtinėmis formulėmis arba molekulėmis. 29/ 31 Formulės apibrėžimo efektyvumas 1.2 apibrėžimas vadinamas efektyviu, jeigu jį naudojant, baigtiniu žingsnių skaičiumi galima nustatyti, kuris abėcėlės A t.a. žodis yra formulė, o kuris ne. Žodis ( P (Q R)) yra formulė. 1. Q ir R - formulės 1.2 a apibrėžimas. 2. ( Q R) - formulė 1.2 c (1) 3. P - formulė 1.2 a 4. ( P (Q R)) - formulė 1.2 c (3,2) Žodis ( P (Q R) nėra formulė. Ar žodis (( P) ((Q R) (P Q))) yra formulė? 30/31 15

Formulės apibrėžimo efektyvumas Skliaustų nerašymo taisyklė: Praleiskite nereikalingus skliaustus: ( R ~ ((( P) ( Q R) ) ~ ( S ( S P) ))) Gražinkite skliaustus: ( R P) P ~ P Q 31/31 16