Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell,

Rozměr: px
Začít zobrazení ze stránky:

Download "Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5."

Transkript

1 Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell,

2 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární výskyt označující fráze Důvody pro zavedení distinkce mezi primárním a sekundárním výskytem Popisy (In: Logika, jazyk a věda, 1967) Descriptions (In: Principia Mathematica, 1910) O označení (In: Logika, jazyk a věda, 1967) Subkontrárnost výroků Strawsonova kritika a řešení pomocí presupozice Závěr

3 Distinkce mezi jménem a popisem Jméno jednoduchý symbol bezprostředně označující nějaké individuum, které je jeho významem. Jméno (tento symbol), zachovává svůj význam sám o sobě nezávisle na významu všech ostatních slov. Výrok obsahující jméno není smysluplný (signifikantní), pokud neexistuje něco, co toto jméno pojmenovává. Popis skládá se z několika slov, jejichž významy jsou fixovány a z těchto významů plyne, co máme pokládat za význam popisu. Určitý a neurčitý popis Smysluplnost výroku obsahující popis nezávisí na reálné existenci objektu, který je popisem zastoupen.

4 Scott je autorem románu Waverly jméno popis Scott je Scott triviální truismus Autor románu Waverly je autor románu Waverly není nutně vždy pravdivý výrok. Nahradíme-li jméno popisem, mohou se výrokové funkce, které jsou vždy pravdivé stát nepravdivými, jestliže popis nic nepopisuje.

5 Primární a sekundární výskyt označující fráze On Denoting (In: Mind, 1905) O označení (In: Logika, jazyk a věda, 1967) Descriptions (In: Principia Mathematica, 1910) Descriptions (In: Introduction to Mathematical Philosophy, 1920) Popisy (In: Logika, jazyk a věda, 1967) Principia Mathematica: Philosophical Aspects (In: My Philosophical Development, 1959) Principia Mathematica: Filozofické aspekty (In: Logika, věda, filozofie, společnost, 1993)

6 Označující fráze / Denoting phrase Termín označující fráze se vyskytuje pouze ve stati O označení, tento termín je možné v dalších Russellových textech identifikovat s popisy a to jak určitými, tak neurčitými. Nějaký člověk, všichni lidé, současná královna Anglie, otáčení Země kolem Slunce, těžiště sluneční soustavy v prvních okamžicích dvacátého století. Fráze může být označující, ale nic neoznačovat př. současný král Francie, kulatý čtverec. Fráze může označovat jediný určitý objekt př. současná královna Anglie označuje královnu Alžbětu II. Fráze může označovat mnohoznačně př. nějaký člověk neoznačuje mnoho lidí, ale jakéhokoli člověka.

7 Důvody pro zavedení primárního a sekundárního výskytu Nutnost zachovat zákon sporu a vyloučeného třetí (nezbytné pro dvojhodnotovou extenzionální logiku) ~(p ~p) Výrok nemůže být pravdivý i nepravdivý zároveň (p ~p )Výrok musí být pravdivý, nebo nepravdivý Pravdivost výroku není ekvivalentní s verifikovatelností Pravdivost výroku není totožná se signifikantností Toto zavedení primárního a sekundárního výskytu umožňuje připsat pravdivostní hodnotu výrokům, které obsahují popisy, jenž označují neexistující objekty, tedy obsahují označující fráze, které nic neoznačují.

8 Primární a sekundární výskyt označující fráze On Denoting (In: Mind, 1905) O označení (In: Logika, jazyk a věda, 1967) Descriptions (In: Principia Mathematica, 1910) Descriptions (In: Introduction to Mathematical Philosophy, 1920) Popisy (In: Logika, jazyk a věda, 1967) Principia Mathematica: Philosophical Aspects (In: My Philosophical Development, 1959) Principia Mathematica: Filozofické aspekty (In: Logika, věda, filozofie, společnost, 1993)

9 Popisy neproblematické konstatování distinkce Nějaký popis má primární výskyt, jestliže výrok, v němž se vyskytuje, vzniká dosazením popisu za x v nějaké výrokové funkci φx, nějaký popis má sekundární výskyt, jestliže výsledek dosazení popisu za proměnnou x ve výrokové funkci φx dává pouze část dotyčného výroku. (Popisy, s. 50) Výrok Současný král Francie je holohlavý Výroková fce x je holohlavý za x dosadíme popis současný král Francie dostaneme primární výskyt: Současný král Francie je holohlavý Každý výrok, kde se v primárním výskytu objevuje popis, který nic neoznačuje, je nepravdivý výrok

10 Výrok Současný král Francie není holohlavý Výrok je mnohoznačný 1) Výroková fce x je holohlavý za x dosadíme popis současný král Francie a následně celý výrok znegujeme a dostaneme sekundární výskyt a pravdivý výrok. Sekundární výskyt: Není pravda, že současný král Francie je holohlavý (Pravdivý) Russell upozorňuje, že se musí znegovat celý výrok. 2) Výroková fce x není holohlavý za x dosadíme popis současný král Francie a dostaneme primární výskyt: Současný král Francie není holohlavý a tudíž je výrok nepravdivý. Primární výskyt: Současný král Francie není holohlavý (Nepravdivý)

11 Principia Mathematica formální zápis distinkce Současný král Francie je holohlavý (The present Kinf of France is bald.) [( x)(pkfx)].b( x)(pkfx) ( b) :PKFx. x.x=b :Bb ( b)[ x(pkfx x=b) Bb] Existuje právě jedno b takové, které je současným králem Francie a je holohlavé. Primární výskyt označující fráze výrok je nepravdivý.

12 Současný král Francie není holohlavý (The present King of France is not bald.) [( x)(pkfx)]. ~B( x)(pkfx) ~[( x)(pkfx)]. B( x)(pkfx) Primární výskyt označující fráze ( b) :PKFx x x=b : ~Bb b[ x(pkfx x=b) ~Bb] Existuje právě jedno b, pro které platí, že je současným králem Francie a (b) není holohlavé. Nepravdivý výrok.

13 Sekundární výskyt označující fráze ~( b) :PKFx x x=b : Bb ~ b[ x(pkfx x=b) Bb] (Není pravda) / Ne-existuje právě jedno takové b, pro které platí, že je současným králem Francie a (b) je holohlavé. Výrok je pravdivý.

14 O označení Problematické definování distinkce Jestliže C je označující fráze, dejme tomu termín mající vlastnost φ, pak C má vlastnostφ znamená, jeden a pouze jeden termín má vlastnost φ a tento jediný termín má vlastnostφ Jestliže nyní vlastnost C nepřísluší žádnému termínu, nebo přísluší jen několika termínům, plyne z toho, že C má vlastnostφ je nepravdivé pro všechny hodnotyφ. (O označení s. 33) Proto výrok současný král Francie je holohlavý je jistě nepravdivý, stejně tak, jako výrok současný král Francie není holohlavý, protože v tomto výroku je užití označující fráze primární. Oproti tomu, pokud bude označující fráze užita sekundárně, tedy jako negace celého výroku tedy Není pravda, že existuje entita, která je nyní králem Francie a je holohlavá, bude tento výrok pravdivý. (Výrokovou funkcí totiž není x není holohlavé, ale x je holohlavé )

15 Subkontrárnost sporný bod Russellovy argumentace Kontrárnost výroků = nejvýše jeden výrok může být pravdivý, oba mohou být nepravdivé. Kontradiktoričnost výroků = právě jeden výrok je pravdivý a právě jeden nepravdivý. Subkontrárnost výroků = alespoň jeden z dvojice výroků je pravdivý. Současný král Francie je holohlavý částečný kladný výrok /affirmo (podle Russella nepravdivý) Současný král Francie není holohlavý částečný záporný výrok / nego (podle Russella nepravdivý)

16 Dvojice výroků Současný král Francie je holohlavý a Současný král Francie není holohlavý jsou subkontrární výroky a oba jsou nepravdivé nesplňují tedy pravidlo subkontrárnosti, kdy alespoň jeden z výroků musí být pravdivý.

17 Strawsonova kritika a řešení pomocí presupozice Některé logicko-sémantické přístupy nepovažují zákon vyloučeného třetí za absolutní a zavádějí tak do moderní logiky výroky bez pravdivostních hodnot, popřípadě výroky, které mají v aktuálním čase pravdivostní hodnotu principiálně neurčenou či nerozhodnutelnou, jejich pravdivostní hodnota tedy není definována. Pokud připustíme výroky, které mají nedefinované pravdivostní hodnoty, pak se můžeme zabývat sémantickými objekty, které nejsou v rámci totální sémantiky přípustné, tedy např. i presupozicí.

18 Presupozice Za presupozici výroku A považujeme výrok B tehdy a jen tehdy, vyplývá-li B z A i ~A tedy: A B ~A B (1) Současný král Francie je holohlavý. (2) Současný král Francie není holohlavý. (3) Není pravda, že současný král Francie je holohlavý. (4) Současný král Francie existuje. Pokud není presupozice pravdivá, nemůžeme o pravdivostní hodnotě presuponované věty rozhodnout její pravdivostní hodnota zůstává nedefinovaná.

19 Strawsonova kritika Russellova analýza výroku a následné připsání pravdivostní hodnoty nepravda výroku současný král Francie je holohlavý obsahuje nepravdivý dílčí výrok, a sice ten, že existuje alespoň jedno individuum, které je současným králem Francie. Strawson prostřednictvím užití presupozice pro možnost připsat pravdivostní hodnotu výrokům usiluje o rehabilitaci deskripcí jakožto skutečně referujících singulárních výrazů, které identifikují právě jedno individuum, kterému se něco pravdivého či nepravdivého výrokem přisuzuje. Věta sama o sobě není pravdivá ani nepravdivá, tím může být až tvrzení, tedy užití věty v určitém kontextu.

20 Závěr Přesvědčivost Russellovařešení skrze rozlišení primárního a sekundárního výskytu označující fráze / popisu. Opodstatněnost Strawsonovy kritiky. Dva rozdílné přístupy k jazyku a jeho logické analýze. Filosofický (logický) versus lingvistický problém?

teorie logických spojek chápaných jako pravdivostní funkce

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

Více

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL

Více

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)

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

Více

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Výroková logika II Negace Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Na konkrétních příkladech si ukážeme, jak se dají výroky negovat. Obecně se výrok dá negovat tak, že před

Více

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632

Více

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

Ú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íce

1. MATEMATICKÁ LOGIKA A MNOŽINY

1. MATEMATICKÁ LOGIKA A MNOŽINY . MATEMATICKÁ LOGIKA A MNOŽINY Průvodce studiem V následující kapitole si připomeneme některé význačné poznatky z matematické logiky a teorie množin, tvořící základ množinově logického aparátu. S celou

Více

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává. 1 Základní pojmy matematické logiky Výrokový počet... syntaktické hledisko Predikátový počet... sémantické hledisko 1.1 VÝROKOVÝ POČET výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

Více

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová

Více

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. Výroková logika I Výroková logika se zabývá výroky. (Kdo by to byl řekl. :-)) Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku

Více

Negativní 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. 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íce

Fuzzy 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é? 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íce

Kvantifikované výroky a jejich negace

Kvantifikované výroky a jejich negace Kvantifikované výroky a jejich negace Gymnázium a Střední odborná škola, Rokycany, Mládežníků 1115 Číslo projektu: Číslo šablony: Název materiálu: Ročník: Identifikace materiálu: CZ.1.07/1.5.00/34.0410

Více

Jak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora

Jak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora Česká zemědělská univerzita 17. října 2011 U makléře Já: Dobrý den, rád bych koupil nějaký světlý byt. Chtěl bych, aby měl dvě koupelny a aby byl v domě výtah. A neměl by být nijak extrémně drahý. Makléř:

Více

Deskripce a existence: uctívali Řekové olympské bohy?

Deskripce a existence: uctívali Řekové olympské bohy? Kapitola 4 Deskripce a existence: uctívali Řekové olympské bohy? Přestože jsme se v minulé kapitole zabývali subjekty a predikáty, existuje ještě jeden typ výrazů, který může vystupovat jako podmět oznamovací

Více

Matematická logika cvi ení 47

Matematická logika cvi ení 47 Matematická logika cvi ení 47 Libor B hounek www.cs.cas.cz/behounek/teaching/malog12 LS 2012/13, P F OU, 4.25. 3. 2013 Cvi ení 1. Posu te následující výroky z hlediska adekvátnosti dvojhodnotové sémantiky

Více

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

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

Více

VY_42_Inovace_17_MA_2.02_ Výroky prověření znalostí. Jednotlivé snímky lze použít jako studijní materiál.

VY_42_Inovace_17_MA_2.02_ Výroky prověření znalostí. Jednotlivé snímky lze použít jako studijní materiál. Číslo projektu Číslo materiálu CZ.1.07/1.5.00/34.0394 VY_42_Inovace_17_MA_2.02_ Výroky prověření znalostí Název školy Střední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1 Autor

Více

Implikace letitá, ale stále atraktivní dáma

Implikace letitá, ale stále atraktivní dáma Implikace letitá, ale stále atraktivní dáma Jan Kábrt Proč se zajímat o logiku a v ní právě o implikaci? Mimo jiné pro souvislost s takovými oblastmi lidského myšlení, jako jsou matematika, ostatní přírodní

Více

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 1 Cílem tohoto semináře je efektivní uvedení

Více

Úlohy k procvičování textu o univerzální algebře

Úlohy k procvičování textu o univerzální algebře Úlohy k procvičování textu o univerzální algebře Číslo za pomlčkou v označení úlohy je číslo kapitoly textu, která je úlohou procvičovaná. Každá úloha je vyřešena o několik stránek později. Kontrolní otázky

Více

Výroková logika dokazatelnost

Vý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íce

Predikátová logika. prvního řádu

Predikátová logika. prvního řádu Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)

Více

1.4.2 Složené výroky konjunkce a disjunkce

1.4.2 Složené výroky konjunkce a disjunkce 1.4.2 Složené výroky konjunkce a disjunkce Předpoklady: 1401 Složené výroky = souvětí, výroky složené z více jednoduchých výroků Výrok: Číslo 5 je sudé a je prvočíslo. Sestavený ze dvou výroků: 1. výrok:

Více

Převyprávění Gödelova důkazu nutné existence Boha

Př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íce

Výbor textů k moderní logice

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

Více

Matematická logika. Miroslav Kolařík

Matematická 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íce

Praha & EU: investujeme do vaší budoucnosti. Daniel Turzík, Miroslava Dubcová,

Praha & EU: investujeme do vaší budoucnosti. Daniel Turzík, Miroslava Dubcová, E-sbírka příkladů Seminář z matematiky Evropský sociální fond Praha & EU: investujeme do vaší budoucnosti Daniel Turzík, Miroslava Dubcová, Pavla Pavlíková Obsah 1 Úpravy výrazů................................................................

Více

1.4.3 Složené výroky konjunkce a disjunkce

1.4.3 Složené výroky konjunkce a disjunkce 1.4.3 Složené výroky konjunkce a disjunkce Předpoklady: 010402 Složené výroky = souvětí, výroky složené z více jednoduchých výroků. Výrok: Číslo 5 je sudé a je prvočíslo. Sestavený ze dvou výroků: 1. výrok:

Více

Projekt CZ.1.07/2.2.00/28.0216 Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia

Projekt CZ.1.07/2.2.00/28.0216 Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia Gottlob FREGE: O smyslu a významu, 1892 In: Zeitschrift fűr Philosophie und philos. Kritik, NF 100, 1892 Překlad: Jiří Fiala, In: Scientia Philosophia (SciPhi) 4, červen 1992, Praha Rovnost 1 ) vyžaduje

Více

I. Úvodní pojmy. Obsah

I. Úvodní pojmy. Obsah I. Úvodní pojmy Obsah 1 Matematická logika 2 1.1 Výrok,logickéoperátory,výrokovéformuleaformy... 2 1.2 Logickávýstavbamatematiky... 3 1.2.1 Základnímetodydůkazůmatematickýchvět..... 3 1.2.2 Negacevýroků.....

Více

Rezoluce ve výrokové logice

Rezoluce ve výrokové logice Rezoluce ve výrokové logice Jiří Velebil: AD0B01LGR 2015 Rezoluce ve VL 1/13 Základní myšlenky 1 M = ϕ iff X = M { ϕ} nesplnitelná. 2 X nesplnitelná iff X = ff. 3 Hledání kritických důsledků X syntakticky.

Více

Analytické myšlení TSP MU výroková logika II.

Analytické myšlení TSP MU výroková logika II. Analytické myšlení TSP MU výroková logika II. Lehký úvod do výrokové logiky pro všechny, kdo se hlásí na Masarykovu univerzitu Tento materiál vznikl v rámci realizace projektu: Globální vzdělávání pro

Více

15. KubickÈ rovnice a rovnice vyööìho stupnï

15. KubickÈ rovnice a rovnice vyööìho stupnï 15. KubickÈ rovnice a rovnice vyööìho stupnï Čas od času je možné slyšet v pořadech o počasí jména jako Andrew, Mitch, El Ňiňo. otom následuje zpráva o katastrofálních vichřicích, uragánech a jiných mimořádných

Více

Paralelní programování

Paralelní programování Paralelní programování přednášky Jan Outrata únor duben 2011 Jan Outrata (KI UP) Paralelní programování únor duben 2011 1 / 14 Atomické akce dále nedělitelná = neproložitelná jiným procesem izolovaná =

Více

Logické operace. Datový typ bool. Relační operátory. Logické operátory. IAJCE Přednáška č. 3. může nabýt hodnot: o true o false

Logické operace. Datový typ bool. Relační operátory. Logické operátory. IAJCE Přednáška č. 3. může nabýt hodnot: o true o false Logické operace Datový typ bool může nabýt hodnot: o true o false Relační operátory pravda, 1, nepravda, 0, hodnoty všech primitivních datových typů (int, double ) jsou uspořádané lze je porovnávat binární

Více

Negace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu:

Negace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu: Základní pojmy výrokové logiky Výrok je každé sdělení, o němž má smysl říci, zda je pravdivé nebo nepravdivé. Přitom může nastat pouze jedna možnost. Výroky označujeme obvykle velkými písmeny A, B, C Pravdivému

Více

(x 3)(x + 2) 3 + x C: x 2. jsou všechna x R, pro která platí:

(x 3)(x + 2) 3 + x C: x 2. jsou všechna x R, pro která platí: Příklad 1. Definičním oborem funkce y = 4 (x 3)(x + 2) 3 + x A: x ( 2, 3) B: x ( 3, 2 3, ) C: x 2 D: x (, 3) 2, 3) Příklad 2. Určete průsečíky kružnice o rovnici (x 2) 2 + (y 3) 2 = 8 s osou y. jsou všechna

Více

Úvod do logiky (VL): 8. Negace výroků

Úvod do logiky (VL): 8. Negace výroků 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): 8. Negace výroků doc. PhDr. Jiří Raclavský,

Více

MATURITNÍ TÉMATA Z MATEMATIKY

MATURITNÍ TÉMATA Z MATEMATIKY MATURITNÍ TÉMATA Z MATEMATIKY 1. Základní poznatky z logiky a teorie množin Pojem konstanty a proměnné. Obor proměnné. Pojem výroku a jeho pravdivostní hodnota. Operace s výroky, složené výroky, logické

Více

12. Booleova algebra, logická funkce určitá a neurčitá, realizace logických funkcí, binární kódy pro algebraické operace.

12. Booleova algebra, logická funkce určitá a neurčitá, realizace logických funkcí, binární kódy pro algebraické operace. 12. Booleova algebra, logická funkce určitá a neurčitá, realizace logických funkcí, binární kódy pro algebraické operace. Logická proměnná - proměnná nesoucí logickou hodnotu Logická funkce - funkce přiřazující

Více

ale třeba i výroky, kde se za modifikátorem nachází složený výrok jako

ale třeba i výroky, kde se za modifikátorem nachází složený výrok jako Modální logika Nejběžnějším výrokovým modifikátorem, se kterým se setkáváme v přirozeném jazyce je negace. Operátor negace je jedním z klíčových spojek klasické logiky. Běžně se ovšem v přirozeném jazyce

Více

1 Predikátová logika. 1.1 Syntax. jaký mohou mít formule význam (sémantiku). 1. Logických symbolů: 2. Speciálních (mimologických) symbolů:

1 Predikátová logika. 1.1 Syntax. jaký mohou mít formule význam (sémantiku). 1. Logických symbolů: 2. Speciálních (mimologických) symbolů: 1 Predikátová logika 1.1 Syntax Podobně jako ve výrokové logice začneme nejprve se syntaxí predikátové logiky, která nám říká, co jsou správně utvořené formule predikátové logiky. V další části tohoto

Více

Funkce. Definiční obor a obor hodnot

Funkce. Definiční obor a obor hodnot Funkce Definiční obor a obor hodnot Opakování definice funkce Funkce je předpis, který každému číslu z definičního oboru, který je podmnožinou množiny všech reálných čísel R, přiřazuje právě jedno reálné

Více

2.1 Formule predikátové logiky. větám. Použijte k tomu predikátových symbolu uvedených v textu.

2.1 Formule predikátové logiky. větám. Použijte k tomu predikátových symbolu uvedených v textu. 6 Kapitola 2 Příklady z predikátové logiky 2.1 Formule predikátové logiky 2.1.1 Příklad. Napište formule predikátové logiky odpovídající následujícím větám. Použijte k tomu predikátových symbolu uvedených

Více

Možné světy v logice. Jaroslav Peregrin. Carnap

Možné světy v logice. Jaroslav Peregrin. Carnap Možné světy v logice Jaroslav Peregrin Carnap S pojmem možného světa se můžeme setkat již ve scholastice. Na úsvitu novověké filosofie ho G. Leibniz použil, když se pokoušel odpovědět na otázku, proč Bůh

Více

Modely vyhledávání informací 4 podle technologie. 1) Booleovský model. George Boole 1815 1864. Aplikace booleovské logiky

Modely vyhledávání informací 4 podle technologie. 1) Booleovský model. George Boole 1815 1864. Aplikace booleovské logiky Modely vyhledávání informací 4 podle technologie 1) Booleovský model 1) booleovský 2) vektorový 3) strukturní 4) pravděpodobnostní a další 1 dokumenty a dotazy jsou reprezentovány množinou indexových termů

Více

Přijímací zkouška - matematika

Přijímací zkouška - matematika Přijímací zkouška - matematika Jméno a příjmení pište do okénka Číslo přihlášky Číslo zadání 1 Grafy 1 Pro který z následujících problémů není znám žádný algoritmus s polynomiální časovou složitostí? Problém,

Více

Pravda jako funkce - ano, nebo ne?

Pravda jako funkce - ano, nebo ne? Pravda jako funkce - ano, nebo ne? Nehledě na to, jestli jsou pravidla pro logickou platnost zabudována v našem myšlení, nebo nikoliv, máme velmi silné intuice o platnosti a neplatnosti nejrůznějších úsudků.

Více

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová

Více

Matematika Kvadratická rovnice. Kvadratická rovnice je matematický zápis, který můžeme (za pomoci ekvivalentních úprav) upravit na tvar

Matematika Kvadratická rovnice. Kvadratická rovnice je matematický zápis, který můžeme (za pomoci ekvivalentních úprav) upravit na tvar Kvadratická rovnice Kvadratická rovnice je matematický zápis, který můžeme (za pomoci ekvivalentních úprav) upravit na tvar ax 2 + bx + c = 0. x neznámá; v kvadratické rovnici se vyskytuje umocněná na

Více

POŽADAVKY pro přijímací zkoušky z MATEMATIKY

POŽADAVKY pro přijímací zkoušky z MATEMATIKY TU v LIBERCI FAKULTA MECHATRONIKY POŽADAVKY pro přijímací zkoušky z MATEMATIKY Tematické okruhy středoškolské látky: Číselné množiny N, Z, Q, R, C Body a intervaly na číselné ose Absolutní hodnota Úpravy

Více

Mgr. Ladislav Zemánek Maturitní okruhy Matematika 2013-2014. 1. Obor reálných čísel

Mgr. Ladislav Zemánek Maturitní okruhy Matematika 2013-2014. 1. Obor reálných čísel Mgr. Ladislav Zemánek Maturitní okruhy Matematika 2013-2014 1. Obor reálných čísel - obor přirozených, celých, racionálních a reálných čísel - vlastnosti operací (sčítání, odčítání, násobení, dělení) -

Více

Dopadová studie č. 31

Dopadová studie č. 31 Dopadová studie č. 31 BOZP, stres na pracovišti a jeho specifika v odvětví zdravotnictví Vytvořeno pro Projekt reg.č.: CZ.1.04/1.1.01/02.00013 Název projektu: Posilování bipartitního dialogu v odvětvích

Více

Metodický návod. pro tvůrce didaktických podpor k cizojazyčným odborným filmům

Metodický návod. pro tvůrce didaktických podpor k cizojazyčným odborným filmům Metodický návod pro tvůrce didaktických podpor k cizojazyčným odborným filmům Tento metodický návod je určen pro tvůrce didaktických podpor pro cizojazyčné odborné filmy (dále jen Tvůrce ). Didaktické

Více

pouze u některých typů rovnic a v tomto textu se jím nebudeme až na

pouze u některých typů rovnic a v tomto textu se jím nebudeme až na Matematika II 7.1. Zavedení diferenciálních rovnic Definice 7.1.1. Rovnice tvaru F(y (n), y (n 1),, y, y, x) = 0 se nazývá diferenciální rovnice n-tého řádu pro funkci y = y(x). Speciálně je F(y, y, x)

Více

Řešení. Hledaná dimenze je (podle definice) rovna hodnosti matice. a 1 2. 1 + a 2 2 1

Řešení. Hledaná dimenze je (podle definice) rovna hodnosti matice. a 1 2. 1 + a 2 2 1 Příklad 1. Určete všechna řešení následující soustavy rovnic nad Z 2 : 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 Gaussovou eliminací převedeme zadanou soustavu na ekvivalentní soustavu v odstupňovaném

Více

Reálná čísla. Sjednocením množiny racionálních a iracionálních čísel vzniká množina

Reálná čísla. Sjednocením množiny racionálních a iracionálních čísel vzniká množina Reálná čísla Iracionální číslo je číslo vyjádřené ve tvaru nekonečného desetinného rozvoje, ve kterém se nevyskytuje žádná perioda. Při počítání je potřeba iracionální číslo vyjádřit zaokrouhlené na určitý

Více

16. DEFINIČNÍ OBORY FUNKCÍ

16. DEFINIČNÍ OBORY FUNKCÍ 6 DEFINIČNÍ OBORY FUNKCÍ 6 Urči definiční obor funkce 7 46 0 7 46 = 0 46 ± 5, = = 7; = 4 7 D ( f ) = ( ; 7 ; ) 7 f : y = 7 46 Funkce odmocnina je definována pro kladná reálná čísla a pro nulu Problematické

Více

Témata absolventského klání z matematiky :

Témata absolventského klání z matematiky : Témata absolventského klání z matematiky : 1.Dělitelnost přirozených čísel - násobek a dělitel - společný násobek - nejmenší společný násobek (n) - znaky dělitelnosti 2, 3, 4, 5, 6, 8, 9,10 - společný

Více

09. seminář logika (úvod, výroková).notebook. November 30, 2011. Logika

09. seminář logika (úvod, výroková).notebook. November 30, 2011. Logika Logika 1 Logika Slovo logika se v češtině běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je formální věda, zkoumající právě onen způsob vyvozování závěrů. Za zakladatele

Více

1 Linearní prostory nad komplexními čísly

1 Linearní prostory nad komplexními čísly 1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)

Více

R E C E N Z I E. Bertrand Russell: Jazyk a poznanie. Přeložil Marián Zouhar. Kalligram, Bratislava 2005, 784 s.

R E C E N Z I E. Bertrand Russell: Jazyk a poznanie. Přeložil Marián Zouhar. Kalligram, Bratislava 2005, 784 s. R E C E N Z I E Bertrand Russell: Jazyk a poznanie Přeložil Marián Zouhar. Kalligram, Bratislava 2005, 784 s. Představit stručně v úvodu recenze autora recenzované knihy patří bezesporu k dobrým mravům

Více

4.9.70. Logika a studijní předpoklady

4.9.70. Logika a studijní předpoklady 4.9.70. Logika a studijní předpoklady Seminář je jednoletý, je určen pro studenty posledního ročníku čtyřletého studia, osmiletého studia a sportovní přípravy. Cílem přípravy je orientace ve formální logice,

Více

Která tvrzení jsou pravdivá nezávisle na tom, který den v týdnu byla vyslovena? Tvrzení trosečníka Dana.

Která tvrzení jsou pravdivá nezávisle na tom, který den v týdnu byla vyslovena? Tvrzení trosečníka Dana. Trosečníci Adam, Barry, Code a Dan zapoměli po čase kalendář. Začali se dohadovat, který den v týdnu vlastně je. Každý z nich řekl svůj názor: A: Dnes je úterý nebo zítra je neděle B: Dnes není úterý nebo

Více

9. Soustavy rovnic DEFINICE SOUSTAVY LINEÁRNÍCH ROVNIC O DVOU NEZNÁMÝCH. Soustava lineárních rovnic o dvou neznámých je:

9. Soustavy rovnic DEFINICE SOUSTAVY LINEÁRNÍCH ROVNIC O DVOU NEZNÁMÝCH. Soustava lineárních rovnic o dvou neznámých je: 9. Soustavy rovnic Správný nadpis této kapitoly by měl znít soustavy lineárních rovnic o dvou neznámých, z důvodu přehlednosti jsem jej zkrátil. Hned v úvodu čtenáře potěším teorie bude tentokrát krátká.

Více

Řešení úloh TSP MU prezentace k výkladům na prezenčních kurzech ZKRÁCENÁ UKÁZKA PRO WEB Analytické myšlení ročník 2011, var. 07

Řešení úloh TSP MU prezentace k výkladům na prezenčních kurzech ZKRÁCENÁ UKÁZKA PRO WEB Analytické myšlení ročník 2011, var. 07 Řešení úloh TSP MU prezentace k výkladům na prezenčních kurzech ZKRÁCENÁ UKÁZKA PRO WEB Analytické myšlení ročník 2011, var. 07 var. 07, úloha č. 51 Úloha č. 51 Víme, že polovina trasy z A do B měří na

Více

O čem je řeč v partikulárních větách

O čem je řeč v partikulárních větách O čem je řeč v partikulárních větách Stanislav Sousedík Univerzita Karlova, Praha V časopisu Organon F si vyměňuje již déle než rok několik autorů názory na problematiku intencionálních jsoucen. Pokusím

Více

Jaký je rozdíl v definicicíh VARCHAR2(20 BYTE) a VARCHAR2(20 CHAR):

Jaký je rozdíl v definicicíh VARCHAR2(20 BYTE) a VARCHAR2(20 CHAR): Mezi příkazy pro manipulaci s daty (DML) patří : 1. SELECT 2. ALTER 3. DELETE 4. REVOKE Jaké vlastnosti má identifikující relace: 1. Je relace, která se využívá pouze v případě modelovaní odvozených entit

Více

[1] Motivace. p = {t u ; t R}, A(p) = {A(t u ); t R} = {t A( u ); t R}

[1] Motivace. p = {t u ; t R}, A(p) = {A(t u ); t R} = {t A( u ); t R} Vlastní číslo, vektor motivace: směr přímky, kterou lin. transformace nezmění invariantní podprostory charakteristický polynom báze, vzhledem ke které je matice transformace nejjednodušší podobnost s diagonální

Více

Logika pro informatiky (a příbuzné obory)

Logika pro informatiky (a příbuzné obory) VŠB Technická univerzita Ostrava Logika pro informatiky (a příbuzné obory) učební text Doc. RNDr. Marie Duží, CSc. Ostrava 2012 Vydavatelství VŠB-TU Ostrava Vydání této publikace je spolufinancováno Evropským

Více

3. Rekvizity úřadů a vlastností

3. Rekvizity úřadů a vlastností 3. Rekvizity úřadů a vlastností S filosofickým pojmem úřadu Pavel Tichý vázal pojem rekvizity. Jeho názory jsou (neformálně) podány v textu Existence and God (Tichý 1979). Po technické stránce i v některých

Více

Logické úlohy, vč. řešení. Marta Volfová

Logické úlohy, vč. řešení. Marta Volfová Logické úlohy, vč. řešení Marta Volfová Centrum talentů M&F&I, Univerzita Hradec Králové, 2010 Logické úlohy 1. Muž cestuje s (částečně ochočeným) vlkem, kozou a pytlem zelí. Dojde k dosti široké a hluboké

Více

Fuzzy regulátory. Miloš Schlegel. schlegel@kky.zcu.cz

Fuzzy regulátory. Miloš Schlegel. schlegel@kky.zcu.cz 5 Fuzzy regulátory Miloš Schlegel schlegel@kky.zcu.cz Několik výroků o přesnosti Přesnost a pravdivost neznamená totéž. (Henri Matisse) Věřím, že nic není bezpodmínečně pravdivé a proto jsem v opozici

Více

Stěžejní funkce MS Excel 2007/2010, jejich ovládání a možnosti využití

Stěžejní funkce MS Excel 2007/2010, jejich ovládání a možnosti využití Stěžejní funkce MS Excel 2007/2010, jejich ovládání a možnosti využití Proč Excel? Práce s Excelem obnáší množství operací s tabulkami a jejich obsahem. Jejich jednotlivé buňky jsou uspořádány do sloupců

Více

Sémantický web a extrakce

Sémantický web a extrakce Sémantický web a extrakce informací Martin Kavalec kavalec@vse.cz Katedra informačního a znalostního inženýrství FIS VŠE Seminář KEG, 11. 11. 2004 p.1 Přehled témat Vize sémantického webu Extrakce informací

Více

Maturitní otázky z předmětu MATEMATIKA

Maturitní otázky z předmětu MATEMATIKA Wichterlovo gymnázium, Ostrava-Poruba, příspěvková organizace Maturitní otázky z předmětu MATEMATIKA 1. Výrazy a jejich úpravy vzorce (a+b)2,(a+b)3,a2-b2,a3+b3, dělení mnohočlenů, mocniny, odmocniny, vlastnosti

Více

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů.

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů. Modely datové Existují různé úrovně pohledu na data. Nejvyšší úroveň je úroveň, která zachycuje pouze vztahy a struktury dat samotných. Konceptuální model - E-R model. Další úrovní je logická úroveň Databázové

Více

Karnaughovy mapy. Pravdivostní tabulka pro tři vstupní proměnné by mohla vypadat například takto:

Karnaughovy mapy. Pravdivostní tabulka pro tři vstupní proměnné by mohla vypadat například takto: Karnaughovy mapy Metoda je použitelná již pro dvě vstupní proměnné, své opodstatnění ale nachází až s větším počtem vstupů, kdy návrh takového výrazu přestává být triviální. Prvním krokem k sestavení logického

Více

FILOSOFIE ČLOVĚKA a VĚDY

FILOSOFIE ČLOVĚKA a VĚDY FILOSOFIE ČLOVĚKA a VĚDY Filosofie.. Vznik v antickém Řecku - KRITICKÉ, SAMOSTATNÉ myšlení - V SOUVISLOSTECH - sobě vlastní otázky, které neřeší speciální vědy - člověk ve VZTAHU k přírodě, společnosti

Více

Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první

Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první PRACOVNÍ VERZE TEXTU, KTERÁ BUDE DÁLE UPRAVOVÁNA TEXT SLOUŽÍ PRO POTŘEBY ÚČASTNÍKŮ EMAILOVÉHO SEMINÁŘE RESENI-TSP.CZ

Více

Disjunktivní a konjunktivní lní tvar formule. 2.přednáška

Disjunktivní a konjunktivní lní tvar formule. 2.přednáška Disjunktivní a konjunktivní normáln lní tvar formule 2.přednáška Disjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v disjunktivním normálním tvaru (formě), zkráceně v DNF, jestliže je

Více

M - Příprava na 1. zápočtový test - třída 3SA

M - Příprava na 1. zápočtový test - třída 3SA M - Příprava na 1. zápočtový test - třída 3SA Autor: Mgr. Jaromír JUŘEK Kopírování a jakékoliv další využití výukového materiálu je povoleno pouze s uvedením odkazu na www.jarjurek.cz. VARIACE 1 Tento

Více

Limita a spojitost funkce

Limita a spojitost funkce Limita a spojitost funkce Základ všší matematik Dana Říhová Mendelu Brno Průřezová inovace studijních programů Lesnické a dřevařské fakult MENDELU v Brně (LDF) s ohledem na disciplin společného základu

Více

Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda.

Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda. m_1_vyrok_priklady 6.5.011 1/9 m_1_vyrok_priklady 6.5.011 /9 Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda. A: Číslo 6 je dělitelné 5-ti. (nepravda)

Více

Vlastní číslo, vektor

Vlastní číslo, vektor [1] Vlastní číslo, vektor motivace: směr přímky, kterou lin. transformace nezmění invariantní podprostory charakteristický polynom báze, vzhledem ke které je matice transformace nejjednodušší podobnost

Více

Úvod do informačních technologií

Úvod do informačních technologií Úvod do informačních technologií přednášky Jan Outrata září prosinec 2009 (aktualizace září prosinec 2012) Jan Outrata (KI UP) Úvod do informačních technologií září prosinec 2012 1 / 58 Binární logika

Více

LOGICA LUDUS Jaroslav Peregrin, FLÚ AV ČR a FF UK, Praha www.cuni.cz/~peregrin

LOGICA LUDUS Jaroslav Peregrin, FLÚ AV ČR a FF UK, Praha www.cuni.cz/~peregrin LOGICA LUDUS Jaroslav Peregrin, FLÚ AV ČR a FF UK, Praha www.cuni.cz/~peregrin Vymezení logického kalkulu, či vymezení nějaké teorie vyjádřené v jeho rámci se obvykle skládá ze tří součástí: (1) Syntaktická

Více

Funkce - pro třídu 1EB

Funkce - pro třídu 1EB Variace 1 Funkce - pro třídu 1EB Autor: Mgr. Jaromír JUŘEK Kopírování a jakékoliv využití výukového materiálu je povoleno pouze s odkazem na www.jarjurek.cz. 1. Funkce Funkce je přiřazení, které každému

Více

Autor: Mgr. Lukáš Saulich Název školy: Gymnázium Jana Nerudy, škola hl. města Prahy. Předmět, mezipředmětové vztahy: matematika a její aplikace

Autor: Mgr. Lukáš Saulich Název školy: Gymnázium Jana Nerudy, škola hl. města Prahy. Předmět, mezipředmětové vztahy: matematika a její aplikace Název: Logika Autor: Mgr. Lukáš Saulich Název školy: Gymnázium Jana Nerudy, škola hl. města Prahy Předmět, mezipředmětové vztahy: matematika a její aplikace Ročník: 3. (1. ročník vyššího gymnázia) Tématický

Více

Maturitní témata profilová část

Maturitní témata profilová část Seznam témat Výroková logika, úsudky a operace s množinami Základní pojmy výrokové logiky, logické spojky a kvantifikátory, složené výroky (konjunkce, disjunkce, implikace, ekvivalence), pravdivostní tabulky,

Více

TEZE K SYSTEMICKÉMU PORADENSTVÍ ORGANIZACÍM

TEZE K SYSTEMICKÉMU PORADENSTVÍ ORGANIZACÍM VOGEL, HANS-CHRISTOPH TEZE K SYSTEMICKÉMU PORADENSTVÍ ORGANIZACÍM překlad: HANNA WINKLER [pozn. překl.: odborný termín doslova přeložen jako poradenství oganizacím je v dalším textu z důvodu lepší čitelnosti

Více

Euklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost.

Euklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost. Euklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost. Vyšší matematika, Inženýrská matematika LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a

Více

Práce se skupinou. Mgr. Monika Havlíčková. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Práce se skupinou. Mgr. Monika Havlíčková. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Práce se skupinou Mgr. Monika Havlíčková Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Sociální skupina je sociologický pojem označující sociální útvar, o němž platí: 1. je tvořen

Více

9.4. Rovnice se speciální pravou stranou

9.4. Rovnice se speciální pravou stranou Cíle V řadě případů lze poměrně pracný výpočet metodou variace konstant nahradit jednodušším postupem, kterému je věnována tato kapitola. Výklad Při pozorném studiu předchozího textu pozornějšího studenta

Více

Seznam literatury. Původně otištěno v Proceedings of the Aristotelian Society 38, 1964.

Seznam literatury. Původně otištěno v Proceedings of the Aristotelian Society 38, 1964. Seznam literatury ALLAIRE, Edwin B. (1963): Bare Particulars. Philosophical Studies 14, 1-2, 1-8. ALLAIRE, Edwin B. (1965): Another Look at Bare Particulars. Philosophical Studies 16, 1/2, 16-21. ALSTON,

Více

2.6. VLASTNÍ ČÍSLA A VEKTORY MATIC

2.6. VLASTNÍ ČÍSLA A VEKTORY MATIC .6. VLASTNÍ ČÍSLA A VEKTORY MATIC V této kapitole se dozvíte: jak jsou definována vlastní (charakteristická) čísla a vektory čtvercové matice; co je to charakteristická matice a charakteristický polynom

Více

Závěrečné stanovisko

Závěrečné stanovisko I. Vlastník veřejně přístupné účelové komunikace není oprávněn vybírat žádné platby od jejích uživatelů, byť by se zároveň jednalo o pozemek určený k plnění funkcí lesa ( 3 odst. 1 písm. b/ lesního zákona).

Více

Matematika. ochrana životního prostředí analytická chemie chemická technologie Forma vzdělávání:

Matematika. ochrana životního prostředí analytická chemie chemická technologie Forma vzdělávání: Studijní obor: Aplikovaná chemie Učební osnova předmětu Matematika Zaměření: ochrana životního prostředí analytická chemie chemická technologie Forma vzdělávání: denní Celkový počet vyučovacích hodin za

Více

BAYESOVSKÉ ODHADY. Michal Friesl V NĚKTERÝCH MODELECH. Katedra matematiky Fakulta aplikovaných věd Západočeská univerzita v Plzni

BAYESOVSKÉ ODHADY. Michal Friesl V NĚKTERÝCH MODELECH. Katedra matematiky Fakulta aplikovaných věd Západočeská univerzita v Plzni BAYESOVSKÉ ODHADY V NĚKTERÝCH MODELECH Michal Friesl Katedra matematiky Fakulta aplikovaných věd Západočeská univerzita v Plzni Slunce Řidiči IQ Regrese Přežití Obvyklý model Pozorování X = (X 1,..., X

Více