Explikace. Petr Kuchyňka
|
|
|
- Ivo Konečný
- před 6 lety
- Počet zobrazení:
Transkript
1 Explikace Petr Kuchyňka
2 1 Úvod Při komunikaci v přirozeném jazyce jsme neustále vystaveni hrozbě nedorozumění: řídíme se pravidly, která nejsou nikde explicitně uvedená ani nejsou dostatečně přísná na to, aby výrazy, které používáme, nebyly nejednoznačné nebo vágní. Každou změť pojmů, které v daném jazyce spojujeme s nějakým nejednoznačným nebo vágním výrazem, můžeme nazvat nepřesným pojmem. Kdykoli se chceme vyhnout nedorozumění, pokoušíme se nepřesné pojmy vyjasnit. Rigorózní metodou vyjasnění nepřesných pojmů je podání jejich explikace.
3 2 I. Explikandum a explikát Explikací známého, ale nepřesného pojmu rozumíme jeho nahrazení nějakým přesným pojmem. Zpřesňovaný pojem nazýváme explikandum, jeho zpřesnění nazýváme explikát.
4 3 II. Sémantické normování jazyka Výraz vyjadřující explikandum (respektive prvky explikanda) patří do jazyka, který nestanoví dostatečně přísná pravidla pro jeho užívání; jde o přirozený jazyk nebo vědecký jazyk v rané vývojové fázi. Explikát musí být vyjádřený výrazem nějakého jazyka, jehož pravidla pro užívání daného výrazu jsou explicitně uvedena (např. formou definice); většinou se jedná o uměle zkonstruovaný jazyk (nezřídka formalizovaný). Podání explikace je normativní akt, kterým se zpřísňují pravidla pro užívání výrazu vyjadřujícího explikandum v duchu pravidel pro užívání výrazu vyjadřujícího explikát.
5 4 III. Úloha explikace Jelikož explikandum je nepřesné, nelze přesně formulovat ani úlohu explikace. Proto ani nelze posuzovat řešení této úlohy jako naprosto správné či nesprávné nanejvýš jako více či méně adekvátní. Jestliže tato úloha má být předmětem diskuse, která není předem odsouzena k nezdaru, musí být formulována co nejpřesněji tak přesně, jak jen to jazyk, v němž je explikandum vyjádřeno, umožňuje. Snahou je maximálně vyjasnit (respektive zúžit) explikandum pomocí příkladů užití výrazu vyjadřujícího explikandum v daném jazyce. (Toto vyjasnění není ještě explikací.)
6 5 IV. Podmínky adekvátnosti Adekvátní explikát daného explikanda je pojem splňující následující požadavky: (1) je podobný explikandu v tom smyslu, že ho lze použít ve většině případů místo něho, (2) pravidla pro jeho užívání jsou přesná a zasazují ho do nějakého dobře vybudovaného pojmového systému, (3) jde o plodný pojem tj. pojem užitečný pro formulaci obecných tvrzení a (4) je jednoduchý, jak je to jen možné vzhledem k (1) (3).
7 6 V. Příklady (1) Při budování vědeckého jazyka je častá explikace pre-teoretických pojmů spočívající v přechodu od kvalitativních pojmů (např. být teplý) k pojmům komparativním (např. být teplejší než) a od těch pak k pojmům kvantitativním (např. mít teplotu 373,15 kelvinů). Gottlob Frege navrhl explikace pojmů přirozených čísel pomocí pojmů množin rovnopočetných množin (jednak v Die Grundlagen der Arithmetik v přirozeném jazyce, jednak v Grundgesetze der Arithmetik v umělém jazyce svého logického systému, aby mohl ukázat adekvátnost svých explikací dokázáním základních zákonů aritmetiky pro své explikáty).
8 7 V. Příklady (2) Alan Turing podal explikaci pojmu efektivní procedury pomocí pojmu procedury proveditelné abstraktním počítacím strojem.
9 8 Vybraná literatura CARNAP, R. (1950): Logical Foundations of Probability. University of Chicago Press, Chicago. CARNAP, R. (1956): Meaning and Necessity: A Study in Semantics and Modal Logic. (Druhé, rozšířené vydání) University of Chicago Press, Chicago. FREGE, G. (1884). Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner. FREGE, G. (1893/1903). Grundgesetze der Arithmetik. Jena: Verlag Hermann Pohle. SCHILPP, P. A. (ed.) (1963): The Philosophy of Rudolf Carnap. Open Court, La Salle. TICHÝ, P. (1988): The Foundations of Frege s Logic. De Gruyter: Berlin-New York. TURING, A. (1936): On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2, 42.
Logický 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
Definice. Petr Kuchyňka
Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace
Vyhněte se katastrofám pomocí výpočetní matematiky
Vyhněte se katastrofám pomocí výpočetní matematiky Stefan Ratschan Ústav informatiky Akademie věd ČR Stefan Ratschan Vyhněte se katastrofám 1 / 29 x. x 2 = 2 Kvíz x. x 2 = 2 x. x 2 7 p q x. x 2 + px +
Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)
Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza
TURINGOVY STROJE. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
TURINGOVY STROJE Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 12 Evropský sociální fond Praha & EU: Investujeme do vaší
Pojem problému z hlediska teorie konstrukcí
Pojem problému z hlediska teorie konstrukcí Pavel Materna Akademie věd České republiky, Praha Abstract: Transparent Intensional Logic (TIL) explicates objective abstract procedures as so-called constructions.
Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená.
Logika 6 Zadání: Doplň vhodný termín z nabízených nebo vyber správnou odpověď: Otázka číslo: 1 Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená. formální neformální obsahové
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU Martina Cirbusová (z prezentace doc. Škopa) OSNOVA Metodologie vs. Metoda vs. Metodika Základní postup práce Základní vědecké metody METODOLOGIE
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ107/2200/280141 Soustavy lineárních rovnic Michal Botur Přednáška 4 KAG/DLA1M: Lineární
Algoritmus. Přesné znění definice algoritmu zní: Algoritmus je procedura proveditelná Turingovým strojem.
Algoritmus Algoritmus je schematický postup pro řešení určitého druhu problémů, který je prováděn pomocí konečného množství přesně definovaných kroků. nebo Algoritmus lze definovat jako jednoznačně určenou
Fibonacciho čísla na střední škole
Fibonacciho čísla na střední škole Martina Jarošová Abstract In this contribution we introduce some interesting facts about Fibonacci nunbers We will prove some identities using different proof methods
Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...
Logika 5 Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1 Logika je věda o.... slovech správném myšlení myšlení Otázka číslo: 2 Základy
Fyzikální veličiny. - Obecně - Fyzikální veličiny - Zápis fyzikální veličiny - Rozměr fyzikální veličiny. Obecně
Fyzikální veličiny - Obecně - Fyzikální veličiny - Zápis fyzikální veličiny - Rozměr fyzikální veličiny Obecně Fyzika zkoumá objektivní realitu - hmotu - z určité stránky. Zabývá se její látkovou formou
Petr Hájek and Fuzzy Logic in this Country
Institute of Computer Science Academy of Sciences of the Czech Republic ManyVal 2013, Prague Petr Hájek s books P. Vopěnka, P. Hájek: The Theory of Semisets. Academia Praha/North Holland Publishing Company,
Předmětnost významu v Husserlově Logických zkoumáních Tomáš Holeček
Předmětnost významu v Husserlově Logických zkoumáních Tomáš Holeček 1. Pokusím se vyjasnit, co je význam. Bude-li mé vyjasnění dostatečně otevřené a tím zbavené všech vstupních představ 1 (představ ve
Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78
259 Obsah PŘEDMLUVA 5 ZÁKLADNÍ POJMY 1 ÚVODNÍ ÚVAHY 1.1 o povaze a úkolech logiky 1.2 Logika a právo. Pojem právní logiky 1.3 Vyjadřovací soustava a sdělovací proces. 1.4 Několik základních pojmů potřebných
Pojem algoritmus. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava
Pojem algoritmus doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava Prezentace ke dni 12. září 2016 Jiří Dvorský (VŠB TUO) Pojem algoritmus 54 / 344
Usuzování za neurčitosti
Usuzování za neurčitosti 25.11.2014 8-1 Usuzování za neurčitosti Hypotetické usuzování a zpětná indukce Míry postačitelnosti a nezbytnosti Kombinace důkazů Šíření pravděpodobnosti v inferenčních sítích
Ú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
Logika I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální
Predikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
Kapitola 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 -
Explikace a dedukce: od jednoduché k rozvětvené teorii typů
Organon F 20 (Supplementary Issue 2) 2013: 37-53 Explikace a dedukce: od jednoduché k rozvětvené teorii typů JIŘÍ RACLAVSKÝ Katedra filozofie. Filozofická fakulta. Masarykova univerzita Arna Nováka 1.
Je číslo předmět nebo vlastnost?
Je číslo předmět nebo vlastnost? Prokop Sousedík Akademie věd České republiky, Praha Marta Vlasáková je autorkou stati Zamyšlení nad Fregovou definicí čísla. 1 Tento článek se podle mého soudu dotýká důležitých
Posudek vedoucího/oponenta bakalářské/diplomové práce
PF UJEP v Ústí nad Labem, Katedra psychologie, Hoření 13, 400 96 Ústí nad Labem Posudek vedoucího/oponenta bakalářské/diplomové práce Jméno autora/ky práce: Název práce: Studijní obor: Vedoucí práce: Oponent:
1 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í
Umělá inteligence a rozpoznávání
Václav Matoušek KIV e-mail: matousek@kiv.zcu.cz 0-1 Sylabus předmětu: Datum Náplň přednášky 11. 2. Úvod, historie a vývoj UI, základní problémové oblasti a typy úloh, aplikace UI, příklady inteligentních
Logika, 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
STANOVISKO VĚDECKÉ RADY PRO SOCIÁLNÍ PRÁCI
Příloha č. 1 k zápisu z 10. jednání Vědecké rady pro sociální práci konaného dne 19. května 2014 STANOVISKO VĚDECKÉ RADY PRO SOCIÁLNÍ PRÁCI K PRACOVNÍM DOKUMENTŮM PRO TVORBU VĚCNÉHO ZÁMĚRU ZÁKONA O SOCIÁLNÍCH
Základy algoritmizace
Algoritmus Toto je sice na první pohled pravdivá, ale při bližším prozkoumání nepřesná definice. Například některé matematické postupy by této definici vyhovovaly, ale nejsou algoritmy. Přesné znění definice
V tomto článku popíšeme zajímavou úlohu (inspirovanou reálnou situací),
L i t e r a t u r a [1] Calábek, P. Švrček, J.: Úvod do řešení funkcionálních rovnic. MFI, roč. 10 (2000/01), č. 3. [2] Engel, A.: Problem-Solving Strategies. Springer-Verlag, New York, Inc., 1998. [3]
Věta o dělení polynomů se zbytkem
Věta o dělení polynomů se zbytkem Věta. Nechť R je okruh, f, g R[x], přičemž vedoucí koeficient polynomu g 0 je jednotka okruhu R. Pak existuje jediná dvojice polynomů q, r R[x] taková, že st(r) < st(g)
Tří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í
1. 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
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 Báze vektorových prostorů, transformace souřadnic Michal Botur Přednáška
Ú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
Příloha č.1 Znázornění světa podle představ Strabóna
Příloha č.1 Znázornění světa podle představ Strabóna In: Pothecary, S.: The European provinces: Strabo as evidence. In: Dueck,D. Lindsay,H. Pothecary,S.(ed.): Strabo s cultural Geography. The making of
Informace jako antropologický fenomén
Informace jako antropologický fenomén Michal Černý Informace jako antropologický fenomén 2015 OBSAH ÚVOD 6 11 11 13 14 19 20...23 28...30...32...34...36 41 42...43...44...47...49...53 55 59...63...64
Třída vlastnost pojem
Třída vlastnost pojem Pavel Materna Akademie věd České republiky Abstract: It is argued that the terms class, property, concept are exactly distinguishable and that defining this distinction helps to avoiding
Organizace. 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
Logika 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ý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ý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ý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
Analýza a kritika resolutní interpretace Logicko-filozofického traktátu
Organon F 20 (2) 2013: 222-250. 1 Analýza a kritika resolutní interpretace Logicko-filozofického traktátu TOMÁŠ DOŠEK Katedra filozofie dosek.tomas@gmail.com RECEIVED: 23-05-2012 ACCEPTED: 24-01-2013 :
Matematika 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
Management Podklady do školy
Management Podklady do školy 1 Management a jeho úloha v organizaci 1.1 Definice pojmu management Celá řada odborných knih, příspěvků apod. dokladuje, že pojem je velmi často používaný, protože mnoho autorů
Základy explikace sémantických pojmů
Základy explikace sémantických pojmů Jiří Raclavský Masarykova Univerzita, Brno Abstract: It is a truism that semantic concepts (concepts of meaning, denotation, reference and even truth, etc.) are relative
39. Případ velryba. XII. Vývoj pojmů? 117
39. Případ velryba Pojmy jsou jakožto konstrukce abstraktní, tj. nejsou principiálně lokalizovatelné v čase a prostoru. Zdá se, že problém vývoje pojmů je takto jednoduše vyřešen: prostě pojmy se nepohybují,
teorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
Pavel Materna: Concepts and Objects. Acta Philosophica Fennica vol 63, Societas Philosophica Fennica, Helsinky 1998; 177 pp.
Pavel Materna: Concepts and Objects. Acta Philosophica Fennica vol 63, Societas Philosophica Fennica, Helsinky 1998; 177 pp. Pavel Materna je logikem a filosofem, na kterého se, domnívám se, mimořádně
Matematická 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á
Kaž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ýbor textů k moderní logice
Mezi filosofií a matematikou 5 Logika 20. století: mezi filosofií a matematikou Výbor textů k moderní logice K vydání připravil a úvodními slovy opatřil Jaroslav Peregrin 2006 Mezi filosofií a matematikou
Zamyšlení nad Fregovou definicí čísla 1
Papers Zamyšlení nad Fregovou definicí čísla 1 Marta Vlasáková Abstract: In his treatise Die Grundlagen der Arithmetik, Gottlob Frege tries to find a definition of number. First he rejects the idea that
Logika a formální sémantika: 5. Modální logika
Logika a formální sémantika: 5. Modální logika 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) doc. PhDr. Jiří
Množiny, relace, zobrazení
Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,
Zobecněný Riemannův integrál
Zobecněný Riemannův integrál Definice (Zobecněný Riemannův integrál). Buď,,. Nechť pro všechna existuje určitý Riemannův integrál. Pokud existuje konečná limita, říkáme, že zobecněný Riemannův integrál
Pokyny pro psaní závěrečných prací
Pokyny pro psaní závěrečných prací Katedra psychologie Masarykova univerzita PEDAGOGICKÁ FAKULTA Pokyny pro psaní závěrečných prací rev. 2.0 (červen 2016) Katedra psychologie Obsah Obsah... 2 1. CÍLE A
Matematická 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áclav Matoušek KIV. Umělá inteligence a rozpoznávání. Václav Matoušek / KIV
Umělá inteligence a rozpoznávání Václav Matoušek KIV e-mail: matousek@kiv.zcu.cz 0-1 Sylabus předmětu: Datum Náplň přednášky 16. 2. (3h) 2. 3. (4h) 17. 3. (5h) 14. 4. (3h) Úvod, historie a vývoj UI, základní
Matematika III. Miroslava Dubcová, Daniel Turzík, Drahoslava Janovská. Ústav matematiky
Matematika III Řady Miroslava Dubcová, Daniel Turzík, Drahoslava Janovská Ústav matematiky Přednášky ZS 202-203 Obsah Číselné řady. Součet nekonečné řady. Kritéria konvergence 2 Funkční řady. Bodová konvergence.
ZÁ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
. Filozofické problémy přírodních věd Teorie a zákon. Lukáš Richterek. lukas.richterek@upol.cz. Podklad k předmětu KEF/FPPV
Filozofické problémy přírodních věd Teorie a zákon Lukáš Richterek Katedra experimentální fyziky PF UP, 17 listopadu 1192/12, 771 46 Olomouc lukasrichterek@upolcz Podklad k předmětu KEF/FPPV 2 / 10 Logické
9 Kolmost vektorových podprostorů
9 Kolmost vektorových podprostorů Od kolmosti dvou vektorů nyní přejdeme ke kolmosti dvou vektorových podprostorů. Budeme se zabývat otázkou, kdy jsou dva vektorové podprostory na sebe kolmé a jak to poznáme.
AD4M33AU 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ý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.
Marie Duží
Marie Duží marie.duzi@vsb.cz Učební texty: http://www.cs.vsb.cz/duzi Tabulka Courses, odkaz Mathematical Učební texty, Presentace přednášek kursu Matematická logika, Příklady na cvičení + doplňkové texty.
Sada (všech) počítačových programů, které provádějí nějakou činnost
Software Software (též programové vybavení) Sada (všech) počítačových programů, které provádějí nějakou činnost První teorie softwaru byla navržena Alanem Turingem v eseji Computable Numbers with an Application
Základní myšlenková témata filosofie Pavla Tichého
Základní myšlenková témata filosofie Pavla Tichého Jiří Raclavský Abstract (Basic Themes of Pavel Tichý s Philosophy): The work of Pavel Tichý (1936 Brno, 1994 Dunedin) was developed mainly during his
Rudolf Carnap: Význam a nevyhnutnosť 1
betes? Note that in such cases the ethical issues are inextricably intertwined with philosophy of science questions concerning scientific epistemology, e.g. does the evidence really establish that carbon
postaveny 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
Numerická stabilita algoritmů
Numerická stabilita algoritmů Petr Tichý 9. října 2013 1 Numerická stabilita algoritmů Pravidla v konečné aritmetice Pro počítání v konečné aritmetice počítače platí určitá pravidla, která jsou důležitá
S t a n o v i s k o. Legislativní rady vlády k návrhu věcného záměru zákona o výrobcích s ukončenou životností. K celkovému zaměření návrhu
Legislativní rada vlády Č. j.: 131/15 V Praze dne 23. dubna 2015 Výtisk č.: S t a n o v i s k o Legislativní rady vlády k návrhu věcného záměru zákona o výrobcích s ukončenou životností K celkovému zaměření
Příklad z učebnice matematiky pro základní školu:
Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.
Matematická 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 / 15 Sémantická věta o dedukci Věta Pro
SIGNÁLY A LINEÁRNÍ SYSTÉMY
SIGNÁLY A LINEÁRNÍ SYSTÉMY prof. Ing. Jiří Holčík, CSc. INVESTICE Institut DO biostatistiky ROZVOJE VZDĚLÁVÁNÍ a analýz VII. SYSTÉMY ZÁKLADNÍ POJMY SYSTÉM - DEFINICE SYSTÉM (řec.) složené, seskupené (v
Introduction to Automata
RECENZE/KYBERNETIKA ROČNÍK 7 (19;71), ČÍSLO 1 R. J. NELSON Introduction to Automata (Úvod do teorie automatu) John Wiley & Sons, New York London Sydney 1968. Stran XII + 400, cena 115 s. Kniha je věnována
Vý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
George J. Klir State University of New York (SUNY) Binghamton, New York 13902, USA
A Tutorial Vícehodnotové logiky George J. Klir Radim Bělohlávek State University of New York (SUNY) Binghamton, New York 13902, USA gklir@binghamton.edu Palacky University, Olomouc, Czech Republic prepared
HYPOTÉZY. Kvantitativní výzkum není nic jiného než testování hypotéz. (Disman 2002, s. 76) DEDUKCE (kvantitativní přístup)
HYPOTÉZY Hypotéza není ničím jiným než podmíněným výrokem o vztazích mezi dvěma nebo více proměnnými. Na rozdíl od problému, který je formulován v podobě otázky explicitně, nebo implicitně vyjádřené, hypotéza
ě úř ž ž ř ě š ě ž ř ě Í ů Í ř ě ž ř ě ž ž š ě ě ě ě ě ě š ř ů ř Ú š ě ř ř Ř ě ů ř ř ř š ě š ě ň ř š ř ř š ě ř š ě ů ě ě ě ě ů š ů š Č ď š ě Ú š ě ž ó ěř ž ěř ž š ě ž š ě ů Č ě ů ř ě ř ů Í ě ě ě ů ě ďě
MODELOVÁNÍ DAT V INFORMAČNÍCH SYSTÉMECH. Jindřich Kaluža Ludmila Kalužová
MODELOVÁNÍ DAT V INFORMAČNÍCH SYSTÉMECH Jindřich Kaluža Ludmila Kalužová Recenzenti: prof. Ing. Milan Turčáni, CSc. prof. Ing. Ivan Vrana, DrSc. Tato kniha vznikla za finanční podpory Studentské grantové
EXTRAKT z mezinárodní normy
EXTRAKT z mezinárodní normy Extrakt nenahrazuje samotnou technickou normu, je pouze informativním ICS 03.220.01; 35.240.60 materiálem o normě. Inteligentní dopravní systémy Požadavky na ITS centrální datové
OBSAH 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...
Genetické programování 3. část
1 Portál pre odborné publikovanie ISSN 1338-0087 Genetické programování 3. část Macháček Martin Elektrotechnika 08.04.2011 Jako ukázku použití GP uvedu symbolickou regresi. Regrese je statistická metoda
METODOLOGIE I - METODOLOGIE KVANTITATIVNÍHO VÝZKUMU
METODOLOGIE I - METODOLOGIE KVANTITATIVNÍHO VÝZKUMU vyučující doc. RNDr. Jiří Zháněl, Dr. Doc. RNDr. Jiří Zháněl, Dr. Absolvent Přírodovědecké fakulty UP v Olomouci, obor M-TV Laboratoř vrcholového sportu
Vý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
Zá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
Rozumíme knihovnám, vyznáme se v knihách
Rozumíme knihovnám, vyznáme se v knihách Štěpán PETRUŠ Obchodní manažer, knihy, časopisy Plzeň, 30/10/18 1 Jak nakupujete knihy pro svou knihovnu? 2 Rozumíme knihám A chceme znát Vaši knihovnu. Možná máte
NOVINKY V OBLASTI DPH SOUVISEJÍCÍ S NOVÝMI CELNÍMI PŘEDPISY
NOVINKY V OBLASTI DPH SOUVISEJÍCÍ S NOVÝMI CELNÍMI PŘEDPISY Ing. Jiří Štrupl, odbor 21 GŘC (j.strupl@cs.mfcr.cz) Předpisy/použité zkratky ZDPH - zákon č. 235/2004 Sb., o dani z přidané hodnoty, ve znění
Prediká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ý
Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na
Filosofie Základy logiky Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na množiny věcí? Ukazuje na
Umělá inteligence (1. přednáška)
Umělá inteligence (1. přednáška) Co je to AI (Artificial Intelligence) systém, který myslí jako lidé myslí racionálně se chová jako lidé se chová racionálně Jednat jako lidé systém, který myslí jako lidé
Role experimentu ve vědecké metodě
Role experimentu ve vědecké metodě Erika Mechlová Ostravská univerzita v Ostravě Obsah Úvod 1. Pozorování 2. Uvedení a formulace problému. Sbírání informací 3. Stanovení hypotéz řešení problému 4. Provedení
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 Relace, zobrazení, algebraické struktury Michal Botur Přednáška
PŘISTOUPENÍ K INSOLVENČNÍMU ŘÍZENÍ V ROZHODOVACÍ PRAXI SOUDŮ
PŘISTOUPENÍ K INSOLVENČNÍMU ŘÍZENÍ V ROZHODOVACÍ PRAXI SOUDŮ Tomáš Moravec * Úvod K napsání tohoto článku mě vedou skutečnosti, se kterými se setkávám při insolvenčních řízeních. Některá usnesení o zastavení
obecná lingvistika LING Ústav obecné lingvistiky Filozofická fakulta Univerzity Karlovy
LING Ústav obecné lingvistiky Filozofická fakulta Univerzity Karlovy obecná lingvistika Den otevřených dveří 11. ledna 2014 15 hodin, nám. Jana Palacha 2, míst. 104 LING oddělení lingvistiky Filozofická
Fuzzy logika Osnova kurzu
Osnova kurzu 1) Základní pojmy; algoritmizace úlohy 2) Binární logika 3) 4) Algebra blokových schémat 5) Vlastnosti členů regulačních obvodů 1 Osnova přednášky Základní pojmy Lingvistické proměnné Funkce
Kritérium. Vazba na cíle výzvy (oblasti podpory OP LZZ) A3 Zhodnocení cílů projektu 40 % 8 % C1 Kompetence žadatele 60 % 6 %
Vzdělávac vací projekty financované ESF aneb jak to vidí hodnotitel Věcné hodnocení - úkol pro hodnotitele Základní zásady o Žádosti často obsahují obecné formulace, které je možné interpretovat různě