Cvičení z logiky I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

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

Download "Cvičení z logiky I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12"

Transkript

1 Cvičení z logiky 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í fond. Praha & EU: Investujeme do vaší budoucnosti RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 1 / 1

2 Cvičení z logiky I. Výroky a formule. Formalizace složených výroků. Pravdivostní tabulky. Ostrov poctivců a padouchů. RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 2 / 1

3 Prvotní výroky Které z následujících vět jsou výroky? 1 Venku prší. 2 Venku neprší. 3 Máš hlad? 4 Peníze jsou když. 5 Choď rovně! RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 3 / 1

4 Formalizace složených výroků Převeďte následující věty do tvaru formuĺı využívajících pouze prvotní formule. T: Do školy jedu tramvají. M: Do školy jedu metrem. 1 Do školy jedu tramvají a metrem. 2 Do školy jedu tramvají nebo metrem. 3 Do školy jedu buď jen metrem nebo jen tramvají. 4 Jestliže jedu do školy tramvají, pak nejedu metrem. 5 Jestliže jedu do školy tramvají, pak jedu i metrem. 6 Tramvají jedu do školy právě tehdy, když nejedu metrem. 7 Tramvají jedu tehdy a jen tehdy, když nejedu metrem. RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 4 / 1

5 Příklady Nalezněte formalizaci následujících výroků. 1 Peníze nebo život. (P, Ž). 2 Nemám ani peníze ani čas.(p, Č). 3 Kdo lže, ten krade. (L, K). 4 Max a Karel přijdou na večírek, ale Terezka nebo Lucie nepřijdou. (M, K, T, L). 5 Kdo nemá geometrické myšlení, ať nevstupuje. (G, V). 6 Jestliže mám horečku, jsem nemocný. Nemám horečku. (H, N). 7 Nutnou podmínkou k možnosti studiu na VŠ je složení maturity. (S, M). 8 Postačující podmínkou k možnosti studia na VŠ je složení maturity. 9 Nutnou a postačující podmínkou k možnosti studia na VŠ je složení maturity. RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 5 / 1

6 Příklady Formalizujte následující výroky. 1 Pokud je pan Novák šťastný, pak paní Nováková není šťastná a pokud pan Novák není šťastný, pak paní Nováková není šťastná. 2 Buď Svatopluk přijde na oslavu a Mojmír nepřijde, nebo Svatopluk na oslavu nepřijde a Mojmír se bude skvěle bavit. 3 Postačující podmínkou pro to, aby x bylo sudé, je aby x bylo prvočíslo. 4 Nutnou podmínkou pro konvergenci posloupnosti s je, aby s byla omezená. 5 Nutnou a postačující podmínkou pro šejkovo štěstí je, aby měl víno, ženy a zpěv. 6 Fiorello jde do kina pouze hrají-li komedii. 7 Poplatek bude zaplacen tehdy a jen tehdy, když bude zboží dodáno. 8 Je-li x kladné, pak x 2 je kladné. 9 Karpov vyhraje šachový turnaj, jen kdyby Kasparov dnes vyhrál. RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 6 / 1

7 Řešení 1 A: Pan Novák je šťastný. B: Paní Nováková je šťastná. (A B) ( A B) 2 A: Svatopluk přijde na oslavu. B: Mojmír přijde na oslavu. (A B) ( A B) 3 A: x je prvočíslo. B: x je liché. A B 4 A: Posloupnost s konverguje. B: Posloupnost s je omezená. A B 5 A: Šejk je šťastný. B: Šejk má víno. C: Šejk má ženy. C: Šejk má zpěv. A (B C D) 6 A: Fiorello jde do kina. B: Hrají komedii. A B. 7 A: Úplatek bude zaplacen. B: Zboží bude dodáno. A B 8 A: x je kladné. B: x 2 je kladné. A B 9 A: Kasparov dnes vyhraje. B: Karpov vyhraje turnaj. A B RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 7 / 1

8 Výrokové formule I. Které z následujících výrokových formuĺı jsou správně sestavené? 1 A B 2 A B C 3 A (B C) 4 A A 5 A B II. Nalezněte, jak jsou následující formule postupně sestaveny z prvotních formuĺı. 1 ((A B) C) ((A B) (A C)) 2 (A B) (A B) 3 ((A B) A) B 4 ((P Q) (P R)) (Q R) RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 8 / 1

9 Pravdivostní tabulky 1 Napište pravdivostní tabulky pro tyto dva výroky: (a) (A B) A, (b) (A (B C)) ((A B) (A C)). 2 Napište pravdivostní tabulky pro tyto dva výroky: (a) (A B) A, (b) (A C) B. 3 Nechť značí operaci exkluzivní disjunkce. A B tedy znamená A nebo B, ale nikoliv oba najednou. Napište pravdivostní tabulku pro operaci. RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 9 / 1

10 Ostrov poctivců a padouchů Poctivci mluví vždy pravdu, padouši vždy lžou. 1 Zde máme dva obyvatele ostrova A,B. A prohlásí: Alespoň jeden z nás je padouch. 2 Tentokrát A řekne: Buď já jsem padouch nebo B je poctivec. 3 Dejme tomu, že A řekne: Já jsem padouch, ale B ne. 4 Rozšířila se pověst, že je na ostrově poklad (P). Přijedete tam a ptáte se A, je-li na ostrově poklad. Odpoví: Je zde poklad, právě když jsem poctivec. Je A poctivec nebo padouch? Je na ostrově poklad? 5 Potkal jsem dva, kteří odpočívali pod stromem. Zeptal jsem se: Je mezi vámi poctivec? Odpověděl, a já znal správnou odpověď na svou otázku. Kdo byl ten, kterého jsem se zeptal? A co ten druhý? RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 10 / 1

11 Řešení 1 Zde máme dva obyvatele ostrova A,B. A prohlásí: Alespoň jeden z nás je padouch. - A ( A B). Formule je pravdivá jen tehdy, když v(a) = 1, v(b) = 0. Tedy A je poctivec, B je padouch. 2 Tentokrát A řekne: Buď já jsem padouch nebo B je poctivec. Formule je pravdivá jen tehdy, když v(a) = 1, v(b) = 1. Tedy A i B jsou poctivci. 3 Dejme tomu, že A řekne: Já jsem padouch, ale B ne. Formule je pravdivá jen tehdy, když v(a) = 0, v(b) = 0. Tedy A i B jsou padouši. 4 Na ostrově je poklad (P). Ptáme se A. - A (A P). Formule je pravdivá právě tehdy, když v(a) = 1, v(p) = 1, anebo. když v(a) = 0, v(p) = 1. Tedy na ostrově je poklad, ale jestli je A je poctivec nebo padouch, nevíme. 5 Ptal jsem se A. Kdyby řekl ano, A (A B), byla by dvě možná řešení: v(a) = 1, v(b) = 1 nebo v(a) = v(b) = 0. Nevíme, které je správné. Pokud řekl ne, A (A B), je jen jedno řešení: A je padouch a B je poctivec. RNDr. Kateřina Trlifajová PhD. (FIT ČVUT) Cvičení z logiky I. BI-MLO, ZS 2011/12 11 / 1

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íı 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í

Více

Logika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Logika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12 Logika XI. 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í

Více

Seminář III. Základy logiky a matematiky. Martin Štrobl // Vojtěch Fučík ISS FSV UK

Seminář III. Základy logiky a matematiky. Martin Štrobl // Vojtěch Fučík ISS FSV UK Seminář III. Základy logiky a matematiky Martin Štrobl // Vojtěch Fučík ISS FSV UK 24.10.2016 Základy logiky a matematiky (ISS FSV UK) Seminář III. 24.10.2016 1 / 12 Téma výroková logika Základy logiky

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

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

λογος - LOGOS slovo, smysluplná řeč )

λογος - LOGOS slovo, smysluplná řeč ) MATA P1: Výroky, množiny a operace s nimi Matematická logika (z řeckého slova λογος - LOGOS slovo, smysluplná řeč ) Výrok primitivní pojem matematické logiky. Tvrzení, pro které má smysl otázka o jeho

Více

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010 Základní pojmy prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky České vysoké učení technické v Praze c Čestmír Burdík, Edita Pelantová 2009 Základy matematické analýzy

Více

Výroková logika se zabývá výroky.

Výroková logika se zabývá výroky. ARIP 2 Cv. 2 Výroková logika se zabývá výroky. Výroková logika je vyjadřovací prostředek matematiky Výrok je každá dobře srozumitelná oznamovací věta, u které má smysl ptát se, zda je pravdivá nebo nepravdivá.

Více

Nepřijde a nedám 100 Kč měl jsem pravdu, o této

Nepřijde a nedám 100 Kč měl jsem pravdu, o této 1.4.4 Implikace Předpoklady: 010403 Implikace Implikace libovolných výroků a,b je výrok, který vznikne jejich spojením slovním obratem jestliže, pak, píšeme a b a čteme jestliže a, pak b. Výroku a se říká

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

Cvičení 1. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.

Cvičení 1. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. 1 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v

Více

M - Výroková logika VARIACE

M - Výroková logika VARIACE M - Výroková logika Autor: Mgr. Jaromír Juřek Kopírování a další šíření povoleno pouze s uvedením odkazu na www.jarjurek.cz. VARIACE 1 Tento dokument byl kompletně vytvořen, sestaven a vytištěn v programu

Více

Cvičení 3. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.

Cvičení 3. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Cvičení 3 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické

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

Úvod do logiky (PL): negace a ekvivalence vět mimo logický

Úvod do logiky (PL): negace a ekvivalence vět mimo logický 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 (PL): negace a ekvivalence vět mimo logický čtverec

Více

I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů):

I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů): I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů): 1. Všechna prvočísla větší než 2 jsou lichá. Je-li prvočíslo větší než 2, pak je liché.

Více

1.4.6 Negace složených výroků I

1.4.6 Negace složených výroků I 1.4.6 Negace složených výroků I Předpoklady: 010405 Pedagogická poznámka: Dlouho jsem se v počátcích své praxe snažil probrat negace za jednu hodinu. Tvorba negací je skvělým procvičováním schopnosti dodržovat

Více

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka

Cvič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

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

Historie matematiky a informatiky Cvičení 4

Historie matematiky a informatiky Cvičení 4 Historie matematiky a informatiky Cvičení 4 Doc. RNDr. Alena Šolcová, Ph. D., KAM, FIT ČVUT v Praze 2014 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Čísla speciálních tvarů a jejich

Více

Historie matematiky a informatiky Cvičení 2

Historie matematiky a informatiky Cvičení 2 Historie matematiky a informatiky Cvičení 2 Doc. RNDr. Alena Šolcová, Ph. D., KAM, FIT ČVUT v Praze 2014 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Číselně teoretické funkce (Number-Theoretic

Více

0. ÚVOD - matematické symboly, značení,

0. ÚVOD - matematické symboly, značení, 0. ÚVOD - matematické symboly, značení, číselné množiny Výroky Výrok je každé sdělení, u kterého lze jednoznačně rozhodnout, zda je či není pravdivé. Každému výroku lze proto přiřadit jedinou pravdivostní

Více

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému BI-AAG (2011/2012) J. Holub: 10. Vlastnosti regulárních jazyků p. 2/22 Pumping lemma - podstata problému BI-AAG (2011/2012) J. Holub: 10. Vlastnosti regulárních jazyků p. 4/22 Automaty a gramatiky(bi-aag)

Více

1. Dvě mince dávají dohromady 3 koruny, i když jedna z nich není koruna. Co je to za mince?

1. Dvě mince dávají dohromady 3 koruny, i když jedna z nich není koruna. Co je to za mince? 1. Dvě mince dávají dohromady 3 koruny, i když jedna z nich není koruna. Co je to za mince? 2. V pokoji je tma a v zásuvce prádelníku je čtyřiadvacet červených a čtyřiadvacet modrých ponožek. Kolik nejméně

Více

Historie matematiky a informatiky Cvičení 1

Historie matematiky a informatiky Cvičení 1 Historie matematiky a informatiky Cvičení 1 Doc. RNDr. Alena Šolcová, Ph. D., KAM, FIT ČVUT v Praze 2014 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Kapitola z teorie čísel Co

Více

Pravděpodobnost a statistika (BI-PST) Cvičení č. 1

Pravděpodobnost a statistika (BI-PST) Cvičení č. 1 Pravděpodobnost a statistika (BI-PST) Cvičení č. 1 Katedra aplikované matematiky Fakulta informačních technologií České vysoké učení technické v Praze ZS 2014/2015 (FIT ČVUT) BI-PST, Cvičení č. 1 ZS 2014/2015

Více

Úvod do informatiky. Miroslav Kolařík

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

VÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá..

VÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá.. VÝROKOVÁ LOGIKA Teorie: Logika je vědní obor zabývající se studiem různých forem vyjadřování a pravidel správného posuzování. (Matematická logika je součástí tohoto vědního oboru a ve velké míře užívá

Více

Cvičení 5. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.

Cvičení 5. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. 5 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v

Více

Složené výroky Jsou tvořeny dvěma nebo více výroky jednoduššími. V : Číslo 8 je liché. V : 0,1 N. V : Paříž je hl. město Španělska.

Složené výroky Jsou tvořeny dvěma nebo více výroky jednoduššími. V : Číslo 8 je liché. V : 0,1 N. V : Paříž je hl. město Španělska. Výrok a jeho negace Výrokem se rozumí sdělení u něhož má smysl otázka zda je či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V : Úhlopříčky čtverce jsou na sebe

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

Základy informatiky. Výroková logika

Základy informatiky. Výroková logika Základy informatiky Výroková logika Zpracoval: Upravila: Ing. Pavel Děrgel Daniela Sztrucová Obsah přednášky Výroková logika Výroky Pravdivostní ohodnocení Logické spojky Výrokově logická analýza Aristotelés

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

1. Matematická logika

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

Kvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát.

Kvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát. Studijní text Hledisko kvality a kvantity, vztahy pravdivostních hodnot Nyní se zaměříme na obecné a částečné výroky se stejným em a em. Kvantita (u u) všechny prvky množiny (všichni, každý, nikdo, žádní

Více

Další příklady. Katedra softwarového inženýrství. Katedra teoretické informatiky, Fakulta informačních technologii, ČVUT v Praze. Karel Müller, 2011

Další příklady. Katedra softwarového inženýrství. Katedra teoretické informatiky, Fakulta informačních technologii, ČVUT v Praze. Karel Müller, 2011 Karel Müller (ČVUT FIT) BI-PA2, 2011, Cvičení 11-13 1/5 Katedra softwarového inženýrství Katedra teoretické informatiky, Fakulta informačních technologii, ČVUT v Praze Karel Müller, 2011 Programování a

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

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

Posloupnosti a řady. 28. listopadu 2015

Posloupnosti a řady. 28. listopadu 2015 Posloupnosti a řady Přednáška 5 28. listopadu 205 Obsah Posloupnosti 2 Věty o limitách 3 Řady 4 Kritéria konvergence 5 Absolutní a relativní konvergence 6 Operace s řadami 7 Mocninné a Taylorovy řady Zdroj

Více

Derivace funkce. prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky BI-ZMA ZS 2009/2010

Derivace funkce. prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky BI-ZMA ZS 2009/2010 Derivace funkce prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky České vysoké učení technické v Praze c Čestmír Burdík, Edita Pelantová 2009 Základy matematické analýzy

Více

1. Výroky a operace s nimi

1. Výroky a operace s nimi 1. Výroky a operace s nimi 1. Rozhodněte, zda se jedná o výrok, případně určete, zda je pravdivý či nepravdivý: a) Úhlopříčky čtverce nejsou navzájem kolmé. b) Existuje trojúhelník, který je rovnoramenný.

Více

Projekt, prezentace, rétorika

Projekt, prezentace, rétorika Projekt, prezentace, rétorika Fakulta informačních technologií BI PPR, přednáška 2 Přednášející: Mgr. Monika Schmidtová FSv ČVUT, katedra společenských věd externě FIT Monika Schmidtová 2011 EVROPSKÝ SOCIÁLNÍ

Více

Posloupnosti a jejich limity

Posloupnosti a jejich limity KMA/MAT Přednáška č. 7, Posloupnosti a jejich ity 5. listopadu 203 Motivační příklady Prozkoumejme, zatím laicky, následující posloupnosti: Posloupnost, 4, 9,..., n 2,... : Hodnoty rostou nade všechny

Více

1 Základní pojmy a vlastnosti 2 1.1 Význačnéřady... 2 1.2 Základnívlastnostiřad... 3

1 Základní pojmy a vlastnosti 2 1.1 Význačnéřady... 2 1.2 Základnívlastnostiřad... 3 VII. Číselné řady Obsah 1 Základní pojmy a vlastnosti 2 1.1 Význačnéřady...... 2 1.2 Základnívlastnostiřad..... 3 2 Řady s nezápornými členy 3 2.1 Kritériakonvergenceadivergence...... 3 3 Řady absolutně

Více

Matematická indukce a správnost programů. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 13

Matematická indukce a správnost programů. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 13 Matematická indukce a správnost programů doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS

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

Testování a spolehlivost. 6. Laboratoř Ostatní spolehlivostní modely

Testování a spolehlivost. 6. Laboratoř Ostatní spolehlivostní modely Testování a spolehlivost ZS 2011/2012 6. Laboratoř Ostatní spolehlivostní modely Martin Daňhel Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze Příprava studijního programu Informatika

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

UNIVERZITA KARLOVA V PRAZE. Pedagogická fakulta. Katedra matematiky a didaktiky matematiky. Metody řešení slovních úloh pomocí logiky

UNIVERZITA KARLOVA V PRAZE. Pedagogická fakulta. Katedra matematiky a didaktiky matematiky. Metody řešení slovních úloh pomocí logiky UNIVERZITA KARLOVA V PRAZE Pedagogická fakulta Katedra matematiky a didaktiky matematiky Metody řešení slovních úloh pomocí logiky Autor: Helena Bartlová Vedoucí práce: Prof. RNDr. Jarmila Novotná, CSc.

Více

prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Pravděpodobnost a statistika Katedra teoretické informatiky Fakulta informačních technologií

prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Pravděpodobnost a statistika Katedra teoretické informatiky Fakulta informačních technologií prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v Praze c Rudolf Blažek, Roman Kotecký, 2011 Pravděpodobnost

Více

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Studijní text Co je singulární výrok SINGULÁRNÍ VÝROKY: PETR Petr je veselý. Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Příklad: Pavel je

Více

Matematické důkazy Struktura matematiky a typy důkazů

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

Matematická logika. Rostislav Horčík. horcik

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

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

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

CVIČNÝ TEST 23. OBSAH I. Cvičný test 2. Mgr. Kateřina Nováková. II. Autorské řešení 6 III. Klíč 13 IV. Záznamový list 15

CVIČNÝ TEST 23. OBSAH I. Cvičný test 2. Mgr. Kateřina Nováková. II. Autorské řešení 6 III. Klíč 13 IV. Záznamový list 15 CVIČNÝ TEST 23 Mgr. Kateřina Nováková OBSAH I. Cvičný test 2 II. Autorské řešení 6 III. Klíč 13 IV. Záznamový list 15 I. CVIČNÝ TEST 1 Určete nulové body následujících výrazů. 1.1 V(a) = 9 a 27 3 a ; a

Více

Úvod do logiky (PL): logický čtverec (cvičení)

Úvod do logiky (PL): logický čtverec (cvičení) 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 (PL): logický čtverec (cvičení) doc. PhDr. Jiří

Více

Matematika B101MA1, B101MA2

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

Více

Zimní semestr akademického roku 2014/ prosince 2014

Zimní semestr akademického roku 2014/ prosince 2014 Cvičení k předmětu BI-ZMA Tomáš Kalvoda Katedra aplikované matematiky FIT ČVUT Matěj Tušek Katedra matematiky FJFI ČVUT Obsah Cvičení Zimní semestr akademického roku 2014/2015 2. prosince 2014 Předmluva

Více

Zápis ze zasedání zastupitelstva obce č. 5/2010

Zápis ze zasedání zastupitelstva obce č. 5/2010 Zápis ze zasedání zastupitelstva obce č. 5/2010 Datum: 21. 9. 2010 Místo: sál hasičské zbrojnice Čas zahájení : 19.30 hod Čas ukončení: 22.00 hod Přítomni: 12 členů dle prezenční listiny Hosté: 22 občanů

Více

POSLOUPNOSTI. 1. Najděte prvních pět členů posloupnosti (a n ) n=1, je-li a) a n = 1 2 (1 + ( 1)n ), b) a n = n + ( 1) n, c) a n = ( 1) n cos πn2

POSLOUPNOSTI. 1. Najděte prvních pět členů posloupnosti (a n ) n=1, je-li a) a n = 1 2 (1 + ( 1)n ), b) a n = n + ( 1) n, c) a n = ( 1) n cos πn2 POSLOUPNOSTI 1. Najděte prvních pět členů posloupnosti (a n ) n=1, je-li a) a n = 1 2 (1 + ( 1)n ), b) a n = n + ( 1) n, c) a n = ( 1) n cos πn2 n+1n, d) a n = n! n n 2. 2. Najděte předpis pro n-tý člen

Více

Body celkem. Øešitel BLOK 2. Vánoèní turnaj HALAS ligy v logice Praha 15. prosinec 2012

Body celkem. Øešitel BLOK 2. Vánoèní turnaj HALAS ligy v logice Praha 15. prosinec 2012 Øešitel Body celkem Vánoèní turnaj HALAS ligy v logice Praha. prosinec 0 BLK Køížky a koleèka Zrcadla Padouši a poctivci Tykadla Bludištì / Mrakodrapy Hvìzdy a mìsíce Lev a Jednorožec Nejbližší úseèka

Více

Matematika vzorce. Ing. Petr Šídlo. verze

Matematika vzorce. Ing. Petr Šídlo. verze Matematika vzorce Ing. Petr Šídlo verze 0050409 Obsah Jazyk matematiky 3. Výrokový počet.......................... 3.. Logické spojky...................... 3.. Tautologie výrokového počtu...............

Více

Seminář z matematiky. 2 hodiny ve 3. ročníku, 4 hodiny ve 4. ročníku. Charakteristika předmětu

Seminář z matematiky. 2 hodiny ve 3. ročníku, 4 hodiny ve 4. ročníku. Charakteristika předmětu Seminář z matematiky 2 hodiny ve 3. ročníku, 4 hodiny ve 4. ročníku Charakteristika předmětu Předmět Seminář z matematiky navazuje na základní výuku matematiky. Slouží k rozšiřování a prohlubování již

Více

Studijní text. Co je výroková logika. Výrokem se již od dob staré antiky rozumí věta, která je pravdivá nebo nepravdivá, tj. má pravdivostní hodnotu.

Studijní text. Co je výroková logika. Výrokem se již od dob staré antiky rozumí věta, která je pravdivá nebo nepravdivá, tj. má pravdivostní hodnotu. Studijní text Co je výroková logika Výrokem se již od dob staré antiky rozumí věta, která je pravdivá nebo nepravdivá, tj. má pravdivostní hodnotu. Pravdivostní hodnoty jsou dvě: pravda (označujeme také

Více

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

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

bin arn ı vyhled av an ı a bst Karel Hor ak, Petr Ryˇsav y 23. bˇrezna 2016 Katedra poˇ c ıtaˇ c u, FEL, ˇ CVUT

bin arn ı vyhled av an ı a bst Karel Hor ak, Petr Ryˇsav y 23. bˇrezna 2016 Katedra poˇ c ıtaˇ c u, FEL, ˇ CVUT binární vyhledávání a bst Karel Horák, Petr Ryšavý 23. března 2016 Katedra počítačů, FEL, ČVUT Příklad 1 Naimplementujte binární vyhledávání. Upravte metodu BinarySearch::binarySearch. 1 Příklad 2 Mysĺım

Více

Metoda EVM. Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Ing. Martin Půlpitel, 2011

Metoda EVM. Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Ing. Martin Půlpitel, 2011 Projektové řízení (BI-PRR) Metoda EVM Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Ing. Martin Půlpitel, 2011 Projektové řízení ZS 2011/12, cvičení

Více

Cvičení 10. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.

Cvičení 10. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. 10 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické

Více

Cvičení 11. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.

Cvičení 11. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. 11 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické

Více

Poctivci, lháři a matematici

Poctivci, lháři a matematici Poctivci, lháři a matematici Miroslav Olšák, MFF UK 1 Úložky logické versus matematické Po světě se potulují všelijaké logické hádanky jak převést vlka se zelím, jak rozdělit útvar na stejné kusy, jak

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

Aritmetika s didaktikou I.

Aritmetika s didaktikou I. Katedra matematiky PF UJEP Aritmetika s didaktikou I. KM1 / 0001 Přednáška 10 Dělení se zbytkem O čem budeme hovořit: Binární operace dělení se zbytkem v N Struktury zbytkových tříd podle modulu Seznámíme

Více

Normální formy. (provizorní text)

Normální formy. (provizorní text) Normální formy (provizorní text) Výrokový počet Definice. Jazyk výrokového počtu obsahuje výrokové proměnné p, q, r, s,..., spojky,,,.. a závorky (,). Výrokové proměnné jsou formule. Jestliže a jsou formule,

Více

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. 1.2. Cíle Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. Průvodce studiem Množina je jedním ze základních pojmů moderní matematiky. Teorii množin je možno budovat

Více

Základní pojmy matematické logiky

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

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

Jednoznačné a nejednoznačné gramatiky

Jednoznačné a nejednoznačné gramatiky BI-AAG (2011/2012) J. Holub: 11. Bezkontextové gramatiky p. 2/36 Jednoznačné a nejednoznačné gramatiky BI-AAG (2011/2012) J. Holub: 11. Bezkontextové gramatiky p. 4/36 Automaty a gramatiky(bi-aag) 11.

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

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

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

Historie matematiky a informatiky

Historie matematiky a informatiky Evropský sociální fond Investujeme do vaší budoucnosti Historie matematiky a informatiky 2014 Doc. RNDr. Alena Šolcová, Ph.D. Katedra aplikované matematiky FIT ČVUT v Praze 1 Co je matematika? Matematika

Více

Úvod do výrokové a predikátové logiky

Úvod do výrokové a predikátové logiky Úvod do výrokové a predikátové logiky Eva Ondráčková Na této přednášce se seznámíte se základy výrokové a predikátové logiky. Zjistíte, že podstatou logiky není vyplňování pravdivostních tabulek ani negování

Více

Testování a spolehlivost. 1. Laboratoř Poruchy v číslicových obvodech

Testování a spolehlivost. 1. Laboratoř Poruchy v číslicových obvodech Testování a spolehlivost ZS 2011/2012 1. Laboratoř Poruchy v číslicových obvodech Martin Daňhel Katedra číslicového návrhu Fakulta informačních technologií ČVUT v PRaze Příprava studijního programu Informatika

Více

17. Posloupnosti a řady funkcí

17. Posloupnosti a řady funkcí 17. Posloupnosti a řady funkcí Aplikovaná matematika III, NMAF073 M. Rokyta, KMA MFF UK ZS 2011/12 17.1 Stejnoměrná konvergence posloupnosti funkcí Definice Necht M je množina, f, f n : M R m, m, n N.

Více

STUDENT NAŠÍ ŠKOLY VYHRÁL ELEKTROTECHNICKOU OLYMPIÁDU

STUDENT NAŠÍ ŠKOLY VYHRÁL ELEKTROTECHNICKOU OLYMPIÁDU STUDENT NAŠÍ ŠKOLY VYHRÁL ELEKTROTECHNICKOU OLYMPIÁDU Strouhal Martin Student 2.D Martin je na naší škole něco přes rok a půl, přesto toho již stihl hodně. V roce 2014 se stal druhým nejlepším studentem

Více

KALENDÁŘNÍ PLÁN AKCÍ ŠKOLY

KALENDÁŘNÍ PLÁN AKCÍ ŠKOLY KALENDÁŘNÍ PLÁN AKCÍ ŠKOLY školní rok 2011/2012 ZÁŘÍ 1. 9. Zahájení školního roku VŠ 9. 18. 9 Seznamovací pobyt - Chorvatsko (V.ročník) Šmerdová 12. 9. Zahájení plaveckého výcviku 1.B, 2.r., 3.r. MŠ Kom,

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

Přímá řeč. MODERNÍ A KONKURENCESCHOPNÁ ŠKOLA reg. č.: CZ.1.07/1.4.00/21.2389

Přímá řeč. MODERNÍ A KONKURENCESCHOPNÁ ŠKOLA reg. č.: CZ.1.07/1.4.00/21.2389 Základní škola, Šlapanice, okres Brno-venkov, příspěvková organizace Masarykovo nám. 1594/16, 664 51 Šlapanice www.zsslapanice.cz MODERNÍ A KONKURENCESCHOPNÁ ŠKOLA reg. č.: CZ.1.07/1.4.00/21.2389 Přímá

Více

Utajené vynálezy Nemrtvá kočka

Utajené vynálezy Nemrtvá kočka Nemrtvá kočka Od zveřejnění teorie relativity se uskutečnily tisíce pokusů, které ji měly dokázat nebo vyvrátit. Zatím vždy se ukázala být pevná jako skála. Přesto jsou v ní slabší místa, z nichž na některá

Více

Aplikovaná matematika I, NMAF071

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

Nekonečné číselné řady. January 21, 2015

Nekonečné číselné řady. January 21, 2015 Nekonečné číselné řady January 2, 205 IMA 205 Příklad 0 = 0 + 0 +... + 0 +... =? n= IMA 205 Příklad n= n 2 + n = 2 + 6 + 2 +... + n 2 +... =? + n s = 2 s 2 = 2 3... s 3 = 3 4 IMA 205 Příklad (pokr.) =

Více

1 3Logika XII. RNDr. Kate 0 0ina Trlifajov PhD.

1 3Logika XII. RNDr. Kate 0 0ina Trlifajov PhD. 1 3Logika XII. RNDr. Kate 0 0ina Trlifajov PhD. Katedra teoretick informatiky Fakulta informa 0 0n ch technolog 0 3 0 9esk vysok u 0 0en technick v Praze c ПKate 0 0ina Trlifajov, 2010 BI-MLO, ZS 2011/12

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

Matematická logika. Rostislav Horčík. horcik

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 Splnitelnost množin Definice Množina

Více

Po prostudování této kapitoly byste měli porozumět základním definicím uvedených v této kapitole a měli je umět bezchybně interpretovat,

Po prostudování této kapitoly byste měli porozumět základním definicím uvedených v této kapitole a měli je umět bezchybně interpretovat, 1 Matematická logika 1.1 Výroky, operace s výroky Po prostudování této kapitoly byste měli porozumět základním definicím uvedených v této kapitole a měli je umět bezchybně interpretovat, měli být schopni

Více

1. Schopna zavolat pomoc, i telefonem

1. Schopna zavolat pomoc, i telefonem 1. Schopna zavolat pomoc, i telefonem 1 1. PROHLÉDNĚTE SI OBRÁZKY A KTERÉ TÍSŇOVÉ LINKY K NIM PATŘÍ. ZAPAMATUJTE SI JE. 155 158 150 1 2. PŘIŘAĎTE TELEFONNÍ ČÍSLO KE SPRÁVNÉMU OBRÁZKU 155 158 150 2 3. VYTOČTE

Více

Aplikovaná numerická matematika

Aplikovaná numerická matematika Aplikovaná numerická matematika 6. Metoda nejmenších čtverců doc. Ing. Róbert Lórencz, CSc. České vysoké učení technické v Praze Fakulta informačních technologií Katedra počítačových systémů Příprava studijních

Více