Teoretická informatika Tomáš Foltýnek Úvod do předmětu Formalismus a jeho užití Teorie a axiomy
|
|
- Růžena Žáková
- před 7 lety
- Počet zobrazení:
Transkript
1 Tomáš Foltýnek Úvod do předmětu Formalismus a jeho užití Teorie a axiomy
2 2 Cíle předmětu Poskytnout dostatečné teoretické zázemí Dát jiný pohled na informatiku Odlišit inženýra od kodéra Seznámit s otevřenými problémy Umožnit použití formalismu v DP
3 3 Osnova předmětu Matematika a její vztah k informatice Výroková logika Predikátová logika Teorie množin Algebra Formalizace počítače Turingovy stroje Rozhodnutelnost problémů Složitost algoritmů Odhad složitosti algoritmů Složitostní třídy Pokročilé datové struktury Grafy, stromy Algoritmy nad těmito strukturami Sítě, toky v sítích Paralelní programování Paralelní systémy, Petriho sítě
4 4 Studijní materiály Vaníček, J.: Teoretické základy informatiky. Praha: Alfa, ISBN Slidy z přednášek E-learningová osnova/opora v UIS Google, Wikipedia (anglická!) Další materiály u jednotlivých celků
5 5 Ukončení předmětu 5 cvičení => 5 domácích úkolů Na každý úkol možno získat 0-10 bodů Celkem tedy 50 bodů Kdo má 30 bodů, má zápočet Kdo ne, napíše si písemku písemka může přidat max. 15 bodů Kdo nemá zápočet ani po písemce Kdo má zápočet, může jít ke zkoušce Zkouška bude ústní Teorie (přednášky) i praxe (cvičení) 45 bodů z úkolů => zkouška jen teoretická
6 6 Prosba: Komunikujte Ptejte se na přednáškách, cvičeních Chcete-li něco procvičit, pošlete včas Konzultační hodiny po domluvě em
7 Tomáš Foltýnek Formalismus a jeho užití v informatice
8 8 Formalismus a jeho použití Je soubor syntaktických a sémantických pravidel pro popis nějaké reálné skutečnosti Formalismus nahrazuje reálný objekt jeho formálním modelem, který poté můžeme zkoumat Cílem užití formalismu je obvykle odstranění nejednoznačnosti přirozeného jazyka Formalismus umožňuje popis libovolně složitých problémů
9 9 Proč zavádíme formalismus Potřebujeme přesně specifikovat (zapsat) naše myšlenky Jde o jednotný jazyk pro popis problémů a jejich řešení teoretických i praktických Viz gnoseologický čtyřúhelník
10 10 Jaký formalismus? Existují dva základní druhy: matematický (exaktní) filozofický (intuitivní) Je možné užít oba principy, výsledné dokazování se však vede exaktně Každý problém lze formalizovat Ne každý problém lze v daném formalismu rozhodnout slepice/vejce Kritéria správnosti závěrů empirické vědy: pravda = shoda se skutečností ověřená experimentem formální modely: platnost = odvoditelnost z přijatých předpokladů
11 11 Jak formalismus použít I. Zvolíme formalismus existuje více možností pro daný problém ne každý formalismus je vhodný musíme obvykle ověřit více formalismů Formalismus nastudujeme a vyzkoušíme si na modelové situaci Formulujeme 1. intuitivní představu našeho problému užitím formalismu Ověříme formální správnost zápisu Ověříme formulovaný zápis na dostupných modelech problému Zpřesníme formální zápis Iterujeme předchozí trojici kroků až do okamžiku dosažení dostatečné podrobnosti a správnosti zápisu
12 12 Jak formalismus použít II. Formalismus může být nevhodný žádný formalismus nenpoíše skutečnost zcela přesně je třeba zjednodušovat Pokud jsme dosáhli správné formální specifikace našeho problému, můžeme začít využívat všech vlastností a možností formalismu: hledání odvozených vlastností dokazování vlastností a jejich důsledků klasifikace problémů do tříd hledání úplnosti problémů v třídách
13 13 Hlavní zásady Formalismus není cíl, ale prostředek pro vyjádření myšlenek Na správném výběru formalismu závisí úspěch řešení problému Je užitečné předložit formulovaný problém k posouzení jiné osobě, která formalismus zná S dostatečnými matematickými znalostmi lze zavést libovolně složitý formalismus, jedná se však pouze o sbírku řeckých písmen a značek
14 Tomáš Foltýnek Teorie a axiomy strana 14
15 Tvrzení a důkazy Matematika je deduktivní věda Všechny pojmy se vymezují definicí složitější pojmy definujeme na základě jednodušších Matematické tvrzení (věta) je výrok, který může být buď pravdivý, nebo nepravdivý právě jeden stav Pravdivost nemusí být známa Kritériem pravdivosti matematického tvrzení je jeho důkaz
16 strana 16 Paradoxy naivní teorie množin I. Otec s dítětem jdou po břehu řeky. Vyskočí krokodýl, sežere dítě a říká: Vrátím ti dítě, pokud uhodneš, jestli ti vrátím dítě, nebo ne. Otec odpoví: Nevrátíš ho. Co krokodýl udělá? Právník Corax učí Tisiase. Domluví se, že Tisias mu za hodiny zaplatí, až vyhraje svůj první případ. Poté se právem nezabývá a Corax jej žaluje, aby mu za hodiny zaplatil. Tisias: Pokud vyhraju, nemusím ti nic platit (rozhodnutí soudu). Pokud prohraju, nemusím ti nic platit (ještě jsem nevyhrál žádný případ) Corax: Pokud vyhraju, musíš mi zaplatit (rozhodnutí soudu). Pokud prohraju, vyhraješ svůj první případ a musíš mi zaplatit. zdroj: akva-exo.cz zdroj: e-polis.cz
17 strana 17 Paradoxy naivní teorie množin II. Paradox lháře: Teď lžu. Richardův / Berryho paradox Nejmenší přirozené číslo, které nelze definovat méně než dvaceti slovy. Grellingův sémantický paradox Slovo je autologické je samo o sobě pravdivé př.: české, krátké,... Slovo je heterologické je samo o sobě nepravdivé př.: německé, nejdelší,... Kam zařadit slovo heterologické? A autologické?
18 strana 18 Paradoxy naivní teorie množin III. Russelův paradox: {x x x} Holič holí všechny, kteří se sami neholí Katalog katalogů neobsahujících sebe sama V matematice je všechno množina. Je-li teorie množin sporná, pak je sporná celá matematika
19 strana 19 Krize matematiky 1. krize matematiky Řecko každé číslo lze vyjádřit jako poměr jiných čísel (existují jen racionální čísla) matematikové byli spíše sekta východisko: iracionální čísla 2. krize matematiky aktuální nekonečno infinitezimální a integrální počet vágní definice nekonečně malých veličin Bolzano, Cauchy, Weierstrass: ε-δ definice limity 3. krize matematiky paradoxy teorie množin částečně vyřešeno axiomatickou výstavbou krize přetrvává dodnes
20 strana 20 Řešení paradoxů Axiomatická výstavba teorie Oddělení syntaxe od sémantiky Syntaxe vychází z primitivních pojmů a axiomů Sémantika vychází z modelu Objekty, které nevyhovují axiomům v dané teorii nemohou existovat Např. v teorii množin nemůže existovat množina všech množin
21 strana 21 Jazyk matematické teorie Abeceda souhrn znaků užívaných v teorii Slova a věty (formule) povolené řetězce znaků Smysluplné formule (z hlediska sémantiky) Pravdivé formule (dokazatelné z axiomů) Odvozovací pravidla nezbytná pro dokazatelnost Metajazyk používáme k popisu jazyka teorie (např. mezera je metaznak)
22 Axiomatická výstavba teorie Axiomy jsou výchozí tvrzení dané teorie, která se nedokazují a jejichž platnost se předpokládá základní formule jazyka teorie Primitivní pojmy jsou nedefinované pojmy jejich vlastnosti jsou určené axiomy sémantiky primitivních pojmů je dána modelem teorie Z axiomů se dedukcí odvozují další tvrzení nazývané důsledky využití odvozovacích pravidel
23 strana 23 Model teorie Axiomatická teorie je ryze syntaktická záležitost dokazování v teorii lze algoritmizovat Představujeme-li si pod primitivními pojmy objekty reálného světa, vytváříme model teorie. Modelů lze obecně vytvořit více každá množina reálných objektů vyhovující axiomům může být modelem teorie Ve školách se učí model teorie množin, model euklidovské geometrie, atd.
24 Vlastnosti axiomatické teorie Nezávislost axiomů žádný axiom není důsledkem zbývajících axiomů byl by zbytečný Bezespornost důsledkem nemůže být tvrzení a současně jeho negace Úplnost každé tvrzení lze v dané teorii dokázat, anebo vyvrátit
25 strana 25 Euklidovská geometrie 1. Máme-li dány dva body, existuje jedna přímka, která jimi prochází. 2. Konečnou přímou čáru (úsečku) můžeme prodloužit tak, že vznikne opět úsečka. 3. Je možné nakreslit kružnici s libovolným středem a poloměrem. 4. Všechny pravé úhly jsou si rovny. 5. K dané přímce a bodu, který na ní neleží, lze sestrojit právě jednu rovnoběžku, která prochází daným bodem.
26 strana 26 Neeuklidovské geometrie 1829 N.I. Lobačevskij Neplatí 5. axiom Rovnoběžek může daným bodem procházet více, nebo žádná Modely neeuklidovské geometrie sférická geometrie hyperbolická geometrie zdroj: wikipedia
27 Formalizace matematiky Snaha o řešení paradoxů naivní teorie množin Zermelo-Fraenkelova axiomatická teorie množin je vystavěna nad logikou Obavy ze vzniku dalších paradoxů (otázka bezespornosti) vede ke snahám o formalizaci matematiky Dokazování bezespornosti silných matematických teorií prováděno pomocí kombinatorických manipulací s formulemi (Hilbertův program f.m.) Kurt Gödel roku 1931 formuloval a dokázal věty o neúplnosti, jejichž důsledkem bylo dokázání, že Hilbertův program nelze uskutečnit
28 1. Gödelova věta o neúplnosti Každá bezesporná matematická teorie, obsahující jako svoji součást aritmetiku nad přirozenými čísly, není úplná.
29 Důkaz I: Malá Gödelova čísla Každý symbol teorie dostane po řadě číslo 1, 2, 3, Malé Gödelovo číslo formule je dáno jako součin prvních prvočísel umocněných na číslo symbolu Např.: označení symbolů (=1, )=2, x=3, y=4, z=5, =6, =7 g( (x y) z ) = Označme G množinu všech Gödelových čísel korektně utvořených formulí. Vlastní podmnožina N. Pro každé n N umíme rozhodnout, zda n G. Tvrzení n G je tedy aritmetické tvrzení
30 Důkaz II: Velká Gödelova čísla Nechť ϕ 1, ϕ 2, ϕ n je důkaz formule ϕ n. Velkým Gödelovým číslem tohoto důkazu nazveme číslo 2 g(ϕ1) 3 g(ϕ2) p n g(ϕn) Opět tedy můžeme zavést množinu všech velkých Gödelových čísel H N. Označme dem(y,x) tvrzení, že y je velké Gödelovo číslo důkazu formule s malým Gödelovým číslem x. dem je relace na N 2 Tvrzení o dokazatelnosti formule ψ jsme tedy převedli na pravdivost/nepravdivost aritmetického tvrzení ( y H): dem(y,g(ψ))
31 Důkaz III: Spor nebo neúplnost Existuje číslo k G takové, že g(χ) = k χ = ( y H): dem(y,k) Formule χ je dokazatelná Nelze dokázat formuli s Gödelovým číslem k Nelze dokázat formuli χ Formule χ není dokazatelná Lze tedy dokázat formuli s Gödelovým číslem k Lze dokázat formuli χ Jsme-li v bezesporné teorii, pak je χ nerozhodnutelná formule.
32 2. Gödelova věta o neúplnosti Žádný formální systém zahrnující alespoň aritmetiku přirozených čísel nemůže dokázat vlastní bezespornost
33 strana 33 Shrnutí Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox naivní teorie množin V čem spočívaly tzv. krize matematiky? Jak se buduje axiomatická teorie? Jaký je rozdíl mezi teorií a jejím modelem? Co je to neeuklidovská geometrie? Co je to nezávislost, úplnost a bezespornost axiomatického systému? Formulujte Gödelovy věty o neúplnosti
Výroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
VíceLogika. 6. Axiomatický systém výrokové logiky
Logika 6. Axiomatický systém výrokové logiky RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
VíceGödelovy věty o neúplnosti
Gödelovy věty o neúplnosti Miloš Jakubíček PB016 Úvod do umělé inteligence Fakulta informatiky, Masarykova univerzita 23. listopadu 2007 1 Gödel & historie Kurt Gödel Historický kontext 2 Jazyk a metajazyk
Vícepostaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy
Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných
VíceÚvod do logiky a logického programování.
Úvod do logiky a logického programování Luboš Popelínský popel@fi.muni.cz www.fi.muni.cz/~popel Přehled učiva Opakování základů výrokové a predikátové logiky Normální formy ve výrokové a predikátové logice
VíceZáklady logiky a teorie množin
Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu
VíceÚvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23
Úvod do logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 23 Co je logika? Čeho se týkají logické zákony? Tři možnosti: (1) světa (2) myšlení (3) jazyka (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216
VíceMatematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky
Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická
VícePredik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16
Predikátová logika - přednáška 3 6. 1. 2015 () Predikátová logika - přednáška 3 6. 1. 2015 1 / 16 Věta (o dedukci) Bud L jazyk, T teorie pro L, ϕ L-sentence a ψ L-formule. Pak Věta (o kompaktnosti) T ϕ
VíceMatematické důkazy Struktura matematiky a typy důkazů
Matematické důkazy Struktura matematiky a typy důkazů Petr Liška Masarykova univerzita 18.9.2014 Motto: Matematika je tvořena z 50 procent formulemi, z 50 procent důkazy a z 50 procent představivostí.
Více10. Techniky formální verifikace a validace
Fakulta informačních technologií MI-NFA, zimní semestr 2011/2012 Jan Schmidt EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI 10. Techniky formální verifikace a validace 1 Simulace není
VíceSystém přirozené dedukce výrokové logiky
Systém přirozené dedukce výrokové logiky Korektnost, úplnost a bezespornost Šárka Vavrečková Ústav informatiky, FPF SU Opava Poslední aktualizace: 6. října 2008 Věta o korektnosti Věta (O korektnosti Systému
VíceMatematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
VícePredikátová logika. Teoretická informatika Tomáš Foltýnek
Predikátová logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz strana 2 Opakování z minulé přednášky Z čeho se skládá jazyk výrokové logiky? Jaká jsou schémata pro axiomy VL? Formulujte
Více1.4.6 Stavba matematiky, důkazy
1.4.6 tavba matematiky, důkazy Předpoklady: 1401, 1404 Pedagogická poznámka: Tato hodina se velmi liší od většiny ostatních neboť jde v podstatě o přednášku. Také ji neprobíráme v prvním ročníku, ale přednáším
VíceVýroková a predikátová logika - I
Výroková a predikátová logika - I Petr Gregor KTIML MFF UK ZS 2019/2020 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - I ZS 2019/2020 1 / 19 K čemu je logika? Pro matematiky: matematika o matematice.
VíceVýroková a predikátová logika - IV
Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)
VíceObsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17
Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní
VíceLogický důsledek. Petr Kuchyňka (7765@mail.muni.cz)
Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr
VíceEvropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 11 METODY VERIFIKACE SYSTÉMŮ NA ČIPU Hana Kubátov vá doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta 1 informačních
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška třetí Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
VíceTeoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno
Tomáš Foltýnek foltynek@pef.mendelu.cz Teorie čísel Nekonečno strana 2 Opakování z minulé přednášky Jak je definována podmnožina, průnik, sjednocení, rozdíl? Jak je definována uspořádaná dvojice a kartézský
VíceRezoluční kalkulus pro výrokovou logiku
AD4M33AU Automatické uvažování Rezoluční kalkulus pro výrokovou logiku Petr Pudlák Výroková logika Výhody Jednoduchý jazyk. Rozhodnutelnost dokazatelnosti i nedokazatelnosti. Rychlejší algoritmy. Nevýhody
VíceKaždé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α
1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny
Více1. Predikátová logika jako prostedek reprezentace znalostí
1. Predikátová logika jako prostedek reprezentace znalostí 1.1 Historie výrokové logiky Problém explicitních znalostí a údaj, kterých je obrovské množství, vedl ke vzniku výrokové logiky. lovk si obecn
VíceVýroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
VícePredikátová logika. Z minula: 1. jazyk logiky 1. řádu. 2. term a formule. 3. interpretace jazyka (relační struktura) 4. Tarského definice pravdy
1 Predikátová logika Z minula: 1. jazyk logiky 1. řádu 2. term a formule 3. interpretace jazyka (relační struktura) 4. Tarského definice pravdy 5. vázané a volné výskyty proměnných ve formuli 6. otevřené
VíceVýroková a predikátová logika - IX
Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2013/2014 1 / 15 Korektnost a úplnost Důsledky Vlastnosti teorií
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie
VíceVýroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková
Více1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
VíceNegativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1
Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit
VíceZáklady matematické logiky
OBSAH 1 Základy matematické logiky Obsah 1 Úvod 2 1.1 Předmět matematiky.......................... 2 1.2 Nástin historie.............................. 2 1.3 Axiomatická výstavba matematických teorií.............
VíceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška sedmá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Čísla a číselné obory 2 Princip indukce 3 Vybrané
VícePredikátová logika: Axiomatizace, sémantické stromy, identita. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 13
Predikátová logika: Axiomatizace, sémantické stromy, identita (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 13 Axiomatizace predikátové logiky Axiomatizace predikátové logiky Definice Hilbertovský
VíceOrganizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část
Matematika I 1/15 2/15 Organizace Zápočet: test 6. + 11. týden semestru (pátek) 80 bodů 50 79 bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část www.vscht.cz/mat Výuka www.vscht.cz/mat/jana.nemcova
Více6. Logika a logické systémy. Základy logiky. Lucie Koloušková, Václav Matoušek / KIV. Umělá inteligence a rozpoznávání, LS
Základy logiky Umělá inteligence a rozpoznávání, LS 2012 6-1 Logika je naukou, která se zabývá studiem lidského uvažování. Mezi základní úlohy logiky patří nalézání metod správného usuzování, tedy postupů,
VíceLogika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
VícePoznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.
2. ZOBRAZENÍ A FUNKCE 2.1 Zobrazení 2. 1. 1 Definice: Nechť A a B jsou množiny. Řekneme že f je zobrazení množiny A do množiny B jestliže (i) f A B (ii) ke každému z množiny A eistuje právě jedno y z množiny
VíceFormální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
VíceVýroková logika dokazatelnost
Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových
VíceVýroková a predikátová logika - XIII
Výroková a predikátová logika - XIII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XIII ZS 2013/2014 1 / 13 Úvod Algoritmická (ne)rozhodnutelnost Které
VíceVýroková a predikátová logika - XIV
Výroková a predikátová logika - XIV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XIV ZS 2018/2019 1 / 20 Nerozhodnutelnost Úvod Rekurzivní a rekurzivně
VíceVýroková a predikátová logika - VIII
Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2017/2018 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule
VíceMatematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
VíceKapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...
Kapitola 1 Úvod 1.1 Značení N... přirozená čísla (1, 2, 3,...). Z... celá čísla ( 3, 2, 1, 0, 1, 2,...). Q... racionální čísla ( p, kde p Z a q N) q R... reálná čísla C... komplexní čísla 1.2 Výroky -
VíceVýroková a predikátová logika - IX
Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2018/2019 1 / 13 Dokončené tablo Chceme, aby dokončená bezesporná
VíceVýroková a predikátová logika - VIII
Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2016/2017 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2016/2017 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule
VíceHilbertovský axiomatický systém
Hilbertovský axiomatický systém Predikátová logika H 1 Šárka Vavrečková Ústav informatiky, FPF SU Opava Poslední aktualizace: 24. října 2008 Specifikace H 1 Jazyk L H1 přejímáme jazyk predikátové logiky
VíceÚvod do logiky (VL): 13. Axiomatické systémy VL a pojem důkazu
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 13. Axiomatické systémy VL a pojem důkazu
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
VíceÚvod do teoretické informatiky
Úvod do teoretické informatiky Zdeněk Sawa Katedra informatiky, FEI, Vysoká škola báňská Technická universita Ostrava 17. listopadu 15, Ostrava-Poruba 708 33 Česká republika 11. února 2018 Z. Sawa (VŠB-TUO)
VíceZadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 204 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia
VíceCvičení ke kursu Logika II, část III
Cvičení ke kursu Logika II, část III (30. listopadu 2008) Osnova přednášky přednáška je určena studentům, kteří absolvovali úvodní kursy logiky a teorie rekurzívních funkcí. Předpokládané znalosti: syntax
VíceTeorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno
Teorie množin pro fajnšmekry - TeMno Lenka Macálková BR Solutions 2010 - Orličky 23.2. 27.2.2010 Lenka (Brkos 2010) TeMno 23.2. 27.2.2010 1 / 42 Bylo nebylo... Starověké Řecko - nekonečnost nepochopená
VíceVýroková a predikátová logika - V
Výroková a predikátová logika - V Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - V ZS 2015/2016 1 / 21 Dokazovací systémy VL Hilbertovský kalkul Hilbertovský
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2018/2019 1 / 15 Platnost (pravdivost) Platnost ve struktuře
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška první Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
VíceStručný úvod do problematiky Gödelových vět o neúplnosti
Stručný úvod do problematiky Gödelových vět o neúplnosti Úvod Miloš Jakubíček Následující text si klade za cíl zasvětit čtenáře do problematiky, jež je zpravidla zahrnována mezi nejtěžší oblasti disciplíny
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2013/2014 1 / 20 Základní syntax Jazyk Výroková logika je logikou
VíceLogika, Gödel, neúplnost
Logika, Gödel, neúplnost Vítězslav Švejdar Karlova Univerzita v Praze, http://www.cuni.cz/~svejdar/ Český klub skeptiků, 23. únor 2018 Vítězslav Švejdar, FF UK Praha Logika, Gödel, neúplnost 1/13 Obsah
VíceÚvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy
Úvod do matematiky Mgr. Radek Horenský, Ph.D. Důkazy Matematika a matematické chápání jako takové je založeno na logické výstavbě. Základními stavebními prvky jsou definice, věty a důkazy. Definice zavádějí
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2015/2016 1 / 18 Základní syntax Jazyk Výroková logika je logikou
VíceZákladní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
VíceVýroková logika syntaxe a sémantika
syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být
VíceLOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
VíceMísto pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
VíceOBSAH Gödelova nezapomenutelná práce 15 0 ÚVOD 16 0.1 Základní pojmy... 18 0.1.1 Formální systémy... 18 0.1.2 Jazyk a metajazyk... 20 0.1.3 Bezesporné aneb konzistentní teorie... 21 0.1.4 Neúplné teorie...
VíceMATEMATIKA I. Marcela Rabasová
MATEMATIKA I Marcela Rabasová Obsah: 1. Úvod 1.1. Osnovy předmětu 1.2. Literatura 1.3. Podmínky absolvování předmětu 1.4. Použité označení a symbolika 2. Funkce jedné reálné proměnné 2.1. Definice 2.2.
VíceCvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka
Celkové hodnocení BI-MLO (nevyplňujte!) Semestr Zkouška Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka BI-MLO Písemná zkouška 9. února 2016 Matematická logika FIT ČVUT v Praze Varianta B
VíceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
VíceVýroková a predikátová logika - I
Výroková a predikátová logika - I Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - I ZS 2017/2018 1 / 20 K čemu je logika? Pro matematiky: matematika o matematice.
VíceMatematická analýza III.
1. - limita, spojitost Miroslav Hušek, Lucie Loukotová UJEP 2010 Úvod Co bychom měli znát limity posloupností v R základní vlastnosti funkcí jedné proměnné (definiční obor, monotónnost, omezenost,... )
Více1. Matematická logika
MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika
VíceVýroková a predikátová logika - IX
Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2015/2016 1 / 16 Tablo metoda v PL Důsledky úplnosti Vlastnosti
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška devátá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. Obsah 1 Úvod do fuzzy logiky 2 Úvod do aplikací fuzzy logiky 3 Výroková
Více1.4.8 Logická stavba matematiky, důkazy
1.4.8 Logická stavba matematiky, důkazy Předpoklady: 1407 Pedagogická poznámka: Tato hodina se velmi liší od většiny ostatních, neboť jde v podstatě o přednášku. Také ji neprobíráme v prvním ročníku, ale
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
VíceTřída PTIME a třída NPTIME. NP-úplnost.
VAS - Přednáška 9 Úvod ke kursu. Složitost algoritmu. Model RAM. Odhady složitosti. Metoda rozděl a panuj. Greedy algoritmy. Metoda dynamického programování. Problémy, třídy složitosti problémů, horní
Více1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7
1 Výroková logika 1 Výroková logika 1 2 Predikátová logika 3 3 Důkazy matematických vět 4 4 Doporučená literatura 7 Definice 1.1 Výrokem rozumíme každé sdělení, o kterém má smysl uvažovat, zda je, či není
VíceMatematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
VícePŘEDNÁŠKA 2 POSLOUPNOSTI
PŘEDNÁŠKA 2 POSLOUPNOSTI 2.1 Zobrazení 2 Definice 1. Uvažujme libovolné neprázdné množiny A, B. Zobrazení množiny A do množiny B je definováno jako množina F uspořádaných dvojic (x, y A B, kde ke každému
Více10 Přednáška ze
10 Přednáška ze 17. 12. 2003 Věta: G = (V, E) lze nakreslit jedním uzavřeným tahem G je souvislý a má všechny stupně sudé. Důkaz G je souvislý. Necht v je libovolný vrchol v G. A mějme uzavřený eurelovský
VíceVýroková a predikátová logika - XI
Výroková a predikátová logika - XI Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XI ZS 2014/2015 1 / 21 Další dokazovací systémy PL Hilbertovský kalkul
VícePřevyprávění Gödelova důkazu nutné existence Boha
Převyprávění Gödelova důkazu nutné existence Boha Technické podrobnosti Důkaz: Konečná posloupnost výrokůkorektně utvořených formulí nějakého logického kalkulu), z nichž každý jelogickým) axiomem, postulátemteorie),
VíceLogika, výroky, množiny
Logika, výroky, množiny Martina Šimůnková 23. srpna 2017 Učební text k předmětu Matematická analýza pro studenty FP TUL Jazyk matematiky Budeme používat dva jazyky: jazyk matematiky a běžně používaný jazyk.
VícePojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace
RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,
VíceCZ 1.07/1.1.32/02.0006
PO ŠKOLE DO ŠKOLY CZ 1.07/1.1.32/02.0006 Číslo projektu: CZ.1.07/1.1.32/02.0006 Název projektu: Po škole do školy Příjemce grantu: Gymnázium, Kladno Název výstupu: Prohlubující semináře Matematika (MI
VíceUnární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
VíceFuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?
Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Jiří Močkoř University of Ostrava Department of Mathematics Institute for Research and Applications of Fuzzy Modeling 30. dubna 22,
Více1 Úvod do matematické logiky
1 Úvod do matematické logiky Logikou v běžném slova smyslu rozumíme myšlenkovou cestu, která vede k určitým závěrům. Logika je také formální věda, která zkoumá způsob vyvozování závěrů. Za zakladatele
VíceAplikovaná matematika I, NMAF071
M. Rokyta, MFF UK: Aplikovaná matematika I kap. 1: Úvod, čísla, zobrazení, posloupnosti 1 Aplikovaná matematika I, NMAF071 M. Rokyta, KMA MFF UK ZS 2013/14 Sylabus = obsah (plán) přednášky [a orientační
VíceVýroková a predikátová logika - XII
Výroková a predikátová logika - XII Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XII ZS 2015/2016 1 / 15 Algebraické teorie Základní algebraické teorie
VíceZÁKLADY LOGIKY A METODOLOGIE
ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie
VíceMatematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
VíceAD4M33AU Automatické uvažování
AD4M33AU Automatické uvažování Úvod, historie Petr Pudlák Organizační informace Tyto slidy jsou pomocný studijní materiál. Na přednášce budou uváděny další informace a příklady, které ve slidech nejsou.
VíceVýroková a predikátová logika - XII
Výroková a predikátová logika - XII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XII ZS 2018/2019 1 / 15 Rezoluční metoda v PL Rezoluční důkaz Obecné
VíceVýroková a predikátová logika - I
Výroková a predikátová logika - I Petr Gregor KTIML MFF UK ZS 2016/2017 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - I ZS 2016/2017 1 / 24 Úvod Plán přednášky 1/2 Úvod 1. Trocha historie,
VíceVýroková a predikátová logika - I
Výroková a predikátová logika - I Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - I ZS 2013/2014 1 / 24 Úvod Nová koncepce přednášky více logického programování,
VíceMatematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 20 Predikátová logika Motivace Výroková
Více