Logické úlohy, vč. řešení. Marta Volfová
|
|
- Julie Emilie Bednářová
- před 9 lety
- Počet zobrazení:
Transkript
1 Logické úlohy, vč. řešení Marta Volfová Centrum talentů M&F&I, Univerzita Hradec Králové, 2010
2 Logické úlohy 1. Muž cestuje s (částečně ochočeným) vlkem, kozou a pytlem zelí. Dojde k dosti široké a hluboké řece, u níž je loďka k použití. Bohužel se na ni vejde kromě muže buď jen vlk, nebo jen koza, nebo jen zelí. Přitom ale nesmí na břehu zůstat sám (bez lidského dohledu) vlk s kozou ani koza se zelím. Jak (a za kolik jízd) se všichni mohou dostat na druhý břeh? 2. Petr řekl, že na oslavu jeho narozenin přišlo více než 6 hostů a jeho sestra Lenka řekla, že přišlo více než 5 hostů. Kolik tedy přišlo hostů víme-li, že právě jedno sdělení je pravdivé a jedno nepravdivé? 3. Bochník váží půl kilogramu a půl bochníku. Kolik (v kg) váží bochník? 4. Chlapec si chce z půdy donést jeden pár čistých ponožek. Na půdě je ale tma a ponožky jsou a) bílé a černé, b) bílé, černé a šedé, c) bílé, černé, šedivé, béžové. (Ode všech barev je ponožek dostatečný počet, aspoň 8.) Kolik jich musí z půdy přinést, aby byly mezi nimi určitě aspoň dvě stejné barvy? (Na barvě ponožek jinak chlapci nezáleží.) 5. Kolik musí být ve skupině dětí, aby se určitě aspoň dvě narodily a) ve stejném měsíci, b) ve stejném dnu týdne? 6. Úlohy z Ostrova Lhářů a Poctivců. a) Kolik lze dostat odpovědí na otázku: Jsi Lhář nebo Poctivec? b) Jeden člověk řekl: Jsem Lhář. Byl z tohoto ostrova? c) Jeden z dvojice obyvatelů ostrova řekl: My jsme oba Lháři. Kdo byl ten, kdo mluvil a kdo byl druhý z dvojice? d) Stejná situace, stejná otázka, jen jiný výrok: Oba jsme Poctivci. e) Stejná situace, stejná otázka, jen jiný výrok: Aspoň jeden z nás je Poctivec f) Stejná situace, stejná otázka, jen jiný výrok: Právě jeden z nás je Poctivec g) Stejná situace, stejná otázka, jen jiný výrok: Nejvýš jeden z nás je Poctivec 7. Pan Malíř, pan Pekař a pan Zahradník si povídají. Najednou jeden z nich, co pracoval jako pekař, říká: My máme stejná jména jako příjmení, ale nikdo nemá stejné jméno jako povolání. Máte pravdu, pane Malíři, říká další z nich.
3 Řešení úloh z logiky (část pro mladší žáky ) a metodická doporučení k nim ad 1. Jde o velmi starou úlohu, známou v řadě variací. První setkání s ní bývá radostné, vyvolává veselost i opravdovou snahu ji vyřešit. (Nejmladší žáci si mohou situaci a její řešení názorně přehrát.) Řešení: 1. břeh přejíždí 2. břeh M v k z Ø v z M k Ø v z M k v M z k v M k z k M v z k M v z Ø M k v z Ø M v k z ad 2. Úloha je pro starší žáky jednoduchá, mladším se může zdát záhadná. Žáci si mohou vypsat několik možností, které odpovídají tvrzení Petra, tj. {7; 8; 9; } a tvrzení Lenky {6; 7; }. Řešení: přišlo 6 hostů 1 x ad 3. Opět jde o známou úlohu. Řešitelé obeznámení s algebrou ji řeší rovnicí x = 2 + 2, mladší pak jen úsudkem. Lze využít i znázornění situace na rovnoramenné váze. Řešení: 1 kg ad 4. Jde o jednoduché úlohy na tzv. Dirichletův princip. (U mladších dětí lze opět využít dramatizace.) Řešení: a) 3 ponožky, b) 4 ponožky, c) 5 ponožek ad 5. Opět úloha na Dirichletův princip. Řešení: a) 13 dětí (kdyby jich bylo 12, každý by se mohl narodit v jiném měsíci; ten třináctý se musí s někým shodovat) b) 8 dětí ad 6. a), b) Opět si lze situaci přehrát (jeden hraje Lháře, jeden Poctivce) Řešení: a) Jsem Poctivec b) Nemůže být z toho ostrova c) Složení dvojice může být: PP..... pak odpověď nemůže být Jsme oba Lháři (P mluví vždy pravdu!) LL..... pak odpověď nemůže být Jsme oba Lháři (L vždy lže!) PL..... kdyby mluvil P: nemůže být Jsme oba Lháři kdyby mluvil L: Může být Řešení: odpovídal Lhář, druhý z dvojice byl Poctivec d) Opět lze probrat možná složení dvojice
4 PP..... odpověď Jsme oba Poctivci může být LL..... odpověď Jsme oba Poctivci může také být PL..... odpověď Jsme oba Poctivci může také být, odpovídá-li L, ale nemůže, odpovídá-li P Řešení: nelze určit, kdo byl odpovídající a kdo ten druhý V těchto situacích se často doplňuje, že ve dvojici je vždy 1 Lhář, 1 Poctivec. Pak je odpověd: mluvil Lhář, druhý je Poctivec. e) Zní-li výrok: Aspoň jeden z nás je Poctivec, pak pro PP může být vyřčeno, LL může být vyřčeno, odpovídá-li P PL může být vyřčeno, odpovídá-li P Nemůže, odpovídá-li L Řešení: nelze určit jednoznačně Víme-li, že ve dvojici je právě jeden P a jeden L, pak je odpověď: mluvil P, druhý ve dvojici je L. Zní-li však výrok: Aspoň jeden z nás je Lhář, pak pro LL..... nemůže být vyřčeno Řešení: mluvil P, druhý z dvojice je L f) výrok: Právě jeden z nás je Poctivec LL..... může být vyřčeno Řešení: nelze určit mluvčího, druhý z dvojice je Lhář Zní-li výrok: Právě jeden z nás je Lhář LL..... může být řečeno Řešení: nelze určit; víme-li však, že ve dvojici je právě jeden P a jeden L, pak odpovídal Poctivec a druhý je Lhář. g) výrok: Nejvýš jeden z nás je Poctivec LL..... nemůže být vyřčeno Řešení: odpovídal Poctivec, druhý je Lhář Kdyby výrok zněl: Nejvýš jeden z nás je Lhář: PP..... může být LL..... může být PL.....může být, odpovídá-li P, nemůže tak mluvit L (mluvil by pravdu) Řešení nelze určit; víme-li však, že ve dvojici je právě jeden P a jeden L, pak odpovídal Poctivec a druhý je Lhář ad 7. Lze řešit úsudkem. Jako pomoc mladším lze využít tabulku, kde správné přiřazení značíme /, nemožné Malíř Pekař Zahradník malíř pekař / zahradník
5 Z textu lze vyčíst, že pan Malíř je pekařem (nemůže tedy jím být pan Zahradník a ten je proto malířem a pan Pekař je zahradníkem).
Cvičení z logiky I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
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ý
Matematický KLOKAN 2007 kategorie Junior (A) 8 (B) 9 (C) 11 (D) 13 (E) 15 AEF? (A) 16 (B) 24 (C) 32 (D) 36 (E) 48
Matematický KLOKAN 007 kategorie Junior Úlohy za 3 body 1. Lucka, Radek a David mají dohromady 30 míčů. Jestliže Radek dá 5 míčů Davidovi, David dá 4 míče Lucce a Lucka dá míče Radkovi, budou mít oba chlapci
[a) (4 (7 + 5) = 4 12) (4 12 = 48); b) ( 1< 1) (1< 3); c) ( 35 < 18) ( 35 = 18)]
Úloha 1 U každé dvojice výroků rozhodněte, zda výrok uvedený vpravo je negací výroku vlevo. Pokud tomu tak není, zdůvodněte proč. a) p: Mám bílý svetr. q: Mám černý svetr. b) r: Bod A leží vně kruhu K.
Modulární systém dalšího vzdělávání pedagogických pracovníků JmK. v přírodních vědách a informatice CZ.1.07/1.3.10/
Modulární systém dalšího vzdělávání pedagogických pracovníků JmK v přírodních vědách a informatice CZ.1.07/1.3.10/02.0024 Teorie grafů Sbírka cvičení Projekt učitelé Domečkologie Zkuste nakreslit domečky
Matematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
KALENDÁŘOVÉ ÚLOHY PRO TALENTY, vč. metodického listu. doc. PhDr. Marta Volfová, CSc.
KALENDÁŘOVÉ ÚLOHY PRO TALENTY, vč. metodického listu doc. PhDr. Marta Volfová, CSc. Centrum talentů M&F&I, Univerzita Hradec Králové, 2010 Kalendářové úlohy jsou zahaleny určitou tajemností a přitahují
Přepočet přes jednotku - podruhé I
1.2.25 Přepočet přes jednotku - podruhé I Předpoklady: 010224 Pedagogická poznámka: Tato a následující hodina navazují na poslední hodinu úvodní kapitoly. Jde v podstatě o stejné problémy, ale s desetinnými
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška osmá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Kombinatorika: pravidla součtu a součinu 2 Kombinatorika:
Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
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é.
LOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
Název DUM: Úlohy o pohybu
ZŠ a MŠ Štramberk Projekt EU peníze školám Šablona III/2 Inovace a zkvalitnění výuky prostřednictvím ICT Název sady: Poznáváme svět algebry Název DUM: Úlohy o pohybu Vzdělávací oblast: Vzdělávací obor:
I. kolo kategorie Z7
66. ročník Matematické olympiády I. kolo kategorie Z7 Z7 I 1 Čtverec se stranou 4 cm je rozdělen na čtverečky se stranou 1 cm jako na obrázku. Rozdělte čtverec podél vyznačených čar na dva útvary s obvodem
Zvyšování kvality výuky technických oborů
Zvyšování kvality výuky technických oborů Klíčová aktivita V.2 Inovace a zkvalitnění výuky směřující k rozvoji odborných kompetencí žáků středních škol Téma V.2.1 Logické obvody Kapitola 7 Základní pojmy
ÚLOHY SE SPORTOVNÍ TÉMATIKOU PRO MATEMATICKÉ TALENTY, vč. metodického listu. doc. PhDr. Marta Volfová, CSc.
ÚLOHY SE SPORTOVNÍ TÉMATIKOU PRO MATEMATICKÉ TALENTY, vč. metodického listu doc. PhDr. Marta Volfová, CSc. Centrum talentů M&F&I, Univerzita Hradec Králové, 2010 Úlohy se sportovní tematikou pro matematické
PŘIJÍMACÍ ZKOUŠKY 2008
MATEMATIKA Obor: 79-41-K/401 Součet bodů: Opravil: 1. termín Kontroloval: Vítejte v Omské, v následujících 45 minutách budete řešit test z matematiky. Dobře si přečtěte zadání, výpočty uvádějte s celým
1 Výrok a jeho negace
1 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
STUDIJNÍ DOVEDNOSTI DIDAKTICKÝ TEST. Zadání neotvírejte, počkejte na pokyn! SD1ACZZ506DT. Hodnocení výsledků vzdělávání žáků 5.
SD1ACZZ506DT Hodnocení výsledků vzdělávání žáků 5. ročníků ZŠ 2006 STUDIJNÍ DOVEDNOSTI DIDAKTICKÝ TEST A Testový sešit obsahuje 18 úloh. Na řešení úloh máte 40 minut. Odpovědi pište do záznamového archu.
Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.
Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní
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.
Modulární systém dalšího vzdělávání pedagogických pracovníků JmK. v přírodních vědách a informatice CZ.1.07/1.3.10/
Modulární systém dalšího vzdělávání pedagogických pracovníků JmK v přírodních vědách a informatice CZ.1.07/1.3.10/02.0024 Teorie grafů Sbírka cvičení Domečkologie Zkuste nakreslit domečky na obrázku. Které
Úvod do TI - logika 1. přednáška. Marie Duží
Úvod do TI - logika 1. přednáška Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Učební texty: http://www.cs.vsb.cz/duzi Courses Introduction to Logic: Informace pro studenty Učební texty: Kapitoly: Úvod
FUNKCE POJEM, VLASTNOSTI, GRAF
FUNKCE POJEM, VLASTNOSTI, GRAF Zavedení pojmu funkce funkce Funkce f na množině D R je předpis, který každému číslu x z množiny D přiřazuje právě jedno reálné číslo y z množiny R. Množina D se nazývá definiční
Úlohy o počtech prvků
Následující úloh můžeme řešit jednak pomocí soustav lineárních rovnic, jednak pomocí doplňování Vennových diagramů: Ráno bylo na letišti 17 letadel, z nichž během dne odletělo 1 z toho se 3 letadla vrátila.
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á
Poznávání struktury a PROSTŘEDÍ RODINA. Darina Jirotková
Poznávání struktury a PROSTŘEDÍ RODINA Darina Jirotková poznávání struktury Co se vám vybaví v mysli, když se řekne struktura? Jaké struktury v matematice znáte? Jaké struktury se tvoří ve vědomí dítěte?
4.2 Syntaxe predikátové logiky
36 [070507-1501 ] 4.2 Syntaxe predikátové logiky V tomto oddíle zavedeme syntaxi predikátové logiky, tj. uvedeme pravidla, podle nichž se tvoří syntakticky správné formule predikátové logiky. Význam a
Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23
Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.
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í
Test žáka. Zdroj testu: Celoplošná zkouška 2. Školní rok 2012/2013 MATEMATIKA. Jméno: Třída: Škola: Termín provedení testu:
Test žáka Zdroj testu: Celoplošná zkouška 2 Školní rok 2012/2013 MATEMATIKA Jméno: Třída: Škola: Termín provedení testu: Datum vytvoření: 14. 10. 2013 Obtížnost 1 Úloha 1 Na obrázku jsou čtyři červené
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í
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
Úvod do řešení lineárních rovnic a jejich soustav
Úvod do řešení lineárních rovnic a jejich soustav Rovnice je zápis rovnosti dvou výrazů, ve kterém máme najít neznámé číslo (neznámou). Po jeho dosazení do rovnice musí platit rovnost. Existuje-li takové
Prohlášení ú astníka výb rového ízení k výb rovému ízení ís. SBN/020/2015
#@p Jméno / Název:.. Adresa / Sídlo: Datum narození / I :... #@p Jméno / Název:.. Adresa / Sídlo: Datum narození / I :... #@p Jméno / Název:.. Adresa / Sídlo: Datum narození / I :... #@p Jméno / Název:..
Výroková logika. Sémantika výrokové logiky
Výroková logika Výroková logika se zabývá vztahy mezi dále neanalyzovanými elementárními výroky. Nezabývá se smyslem těchto elementárních výroků, zkoumá pouze vztahy mezi nimi. Elementární výrok je takový
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
MIŠ MAŠ. 47 POJEM funkce,d,h notebook. February 04, Základní škola Nýrsko, Školní ulice, příspěvková organizace.
Základní škola Nýrsko, Školní ulice, příspěvková organizace (www.sumavanet.cz/zsskolni/projekt zakladni.asp) Název projektu: MIŠ MAŠ Moderní Interaktivní Škola Možností a Šancí (pro každého žáka) Číslo
Digitální učební materiál
Digitální učební materiál Projekt Šablona CZ.1.07/1.5.00/34.0415 Inovujeme, inovujeme III/2 Inovace a zkvalitnění výuky prostřednictvím ICT (DUM) DUM č. VY_32_INOVACE_CH29_1_14 ŠVP Podnikání RVP 64-41-L/51
Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky
Okruh č.9: sémantické metody dokazování v PL1 Pomocí metody Vennových diagramů a relačních struktur vytváříme grafický model situace, která je úsudkem vyjádřena. Ověřujeme, zda náš graficky znázorněný
Přípravný kurz. k přijímacím zkouškám z matematiky pro uchazeče o studium na gymnáziu (čtyřletý obor) pro
Příjímací zkoušky 01 Přípravný kurz k přijímacím zkouškám z matematiky pro uchazeče o studium na gymnáziu (čtyřletý obor) 1. Číselné obory 1.1. Doplňte číslo do rámečku tak, aby platila rovnost: 1.1.1.
Zkouška z českého jazyka pro cizince. Úroveň B1 POSLECH S POROZUMĚNÍM
Zkouška z českého jazyka pro cizince Úroveň B1 POSLECH S POROZUMĚNÍM Tato část zkoušky má 4 úlohy. Maximální počet bodů je 25. Řešení napište do ZÁZNAMOVÉHO ARCHU. Budete psát obyčejnou tužkou. Můžete
Ú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ý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
Přijímací zkouška na MFF UK v Praze
Přijímací zkouška na MFF UK v Praze pro bakalářské studijní programy fyzika, informatika a matematika 2016, varianta A U každé z deseti úloh je nabízeno pět odpovědí: a, b, c, d, e. Vaším úkolem je u každé
Test žáka. Zdroj testu: Celoplošná zkouška 2. Školní rok 2012/2013 MATEMATIKA. Jméno: Třída: Škola: Termín provedení testu:
Test žáka Zdroj testu: Celoplošná zkouška 2 Školní rok 2012/2013 MATEMATIKA Jméno: Třída: Škola: Termín provedení testu: Datum vytvoření: 14. 10. 2013 Obtížnost 1 Úloha 1 Trojúhelník má jeden úhel tupý,
ÚLOHY VYUŽÍVAJÍCÍ DIRICHLETŮV PRINCIP
ÚLOHY VYUŽÍVAJÍCÍ DIRICHLETŮV PRINCIP Doc. PhDr. Marta Volfová, CSc., Katedra matematiky Název úloh byl zvolen podle významného německého matematika G. L. Dirichleta (1805 59). Dirichletův princip pomáhá
Metodika poradenství. Vypracovali: Jiří Šupa Edita Kremláčková
Metodika poradenství Vypracovali: Jiří Šupa Edita Kremláčková Úvod V následujícím textu je popsán způsob vedení rozhovoru s klientem, jehož cílem je pomoci klientovi prozkoumat jeho situaci, která ho přivedla
MATEMATIKA PŘIJÍMACÍ ZKOUŠKA K 8LETÉMU STUDIU NA SŠ ROK 2013
ILUSTRAČNÍ MATEMATIKA PŘIJÍMACÍ ZKOUŠKA K 8LETÉMU STUDIU NA SŠ ROK 203 POČET TESTOVÝCH POLOŽEK: 6 MAXIMÁLNÍ POČET BODŮ: 50 (00%) ČASOVÝ LIMIT PRO ŘEŠENÍ TESTU: 60 minut POVOLENÉ POMŮCKY ŘEŠITELE: psací
Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou
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): 4. Zjištění průběhu pravdivostních hodnot
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,
Cvičení z logiky II.
Cvičení z logiky II. 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 https://edux.fit.cvut.cz/courses/bi-mlo/lectures/
CVIČNÝ TEST 27. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 13 IV. Záznamový list 15
CVIČNÝ TEST 27 Mgr. Tomáš Kotler OBSAH I. Cvičný test 2 II. Autorské řešení 6 III. Klíč 13 IV. Záznamový list 15 I. CVIČNÝ TEST VÝCHOZÍ TEXT K ÚLOZE 1 Karel povídá: Myslím si celé číslo. Je záporné. Nyní
Matematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY DUBNA 2017
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY Matematika T DUBNA 07 : 9. dubna 07 D : 830 P P P : 30 M. M. : 30 : 8,8 M. :, % S : -7,5 M. P : -,5 :,4 Zopakujte si základní informace ke zkoušce: n Test obsahuje 30 úloh a
Kategorie: U 1 pro žáky 1. ročníků učebních oborů
Kategorie: U 1 pro žáky 1. ročníků učebních oborů 1) Kolika způsoby lze zaplatit částku 50 Kč, smíme-li použít pouze mince v hodnotě 1 Kč, 5 Kč a 10 Kč? ) Umocněte: 1 7 p3 q 3 r + 7pq r 3 = 3) Přeložíme-li
přednáška 2 Marie Duží
Logika v praxi přednáška 2 Marie Duží marie.duzi@vsb.cz 1 1 Výroková logika Analyzuje způsoby skládání jednoduchých výroků do výroků složených pomocí logických spojek. Co je to výrok? Výrok je tvrzení,
Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.
Logika 2. Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216, Logika:
Kapitola Výroky
1 Kapitola 1 Výroková logika 1.1 Výroky 1.1.1 Příklad Rozhodněte, zda následující posloupnosti symbolú jsou výrokové formule. Jde-li o formuli, pak sestrojte její strom, určete její hloubku a uved te všechny
Metodické pokyny k pracovnímu listu č Úlohy o pohybu, společné práci a směsích
Název projektu: Spokojená škola Číslo projektu: OPVK.CZ.1.07/1.2.33/02.0039 Metodické pokyny k pracovnímu listu č. 9.04 Úlohy o pohybu, společné práci a směsích Pracovní list je zaměřen na řešení slovních
Logický čtverec. Tradiční logický čtverec
Logický čtverec Tradiční logický čtverec Logický čtverec je schéma, do kterého lze poměrně přehledně znázornit následující vztahy mezi tvrzeními: Kontradikce je vztah mezi dvěma tvrzeními s přesně opačnými
Okruh č.3: Sémantický výklad predikátové logiky
Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat
MATEMATIKA PŘIJÍMACÍ ZKOUŠKA KE 4LETÉMU STUDIU NA SŠ ROK 2014
ILUSTRAČNÍ MATEMATIKA PŘIJÍMACÍ ZKOUŠKA KE 4LETÉMU STUDIU NA SŠ ROK 2014 POČET TESTOVÝCH POLOŽEK: 16 MAXIMÁLNÍ POČET BODŮ: 50 (100%) ČASOVÝ LIMIT PRO ŘEŠENÍ TESTU: 60 minut POVOLENÉ POMŮCKY ŘEŠITELE: psací
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
Aplikační úlohy z geometrie
Aplikační úlohy z geometrie JANA HROMADOVÁ Matematicko fyzikální fakulta UK, Praha Na Katedře didaktiky matematiky MFF UK v Praze vzniká sbírka aplikačníchúloh 1 zmatematiky.cílemtohotočlánkujepředstavitněkolik
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
NAIVNÍ TEORIE MNOŽIN, okruh č. 5
NAIVNÍ TEORIE MNOŽIN, okruh č. 5 Definování množiny a jejích prvků Množina je souhrn nějakých věcí. Patří-li věc do množiny X, říkáme, že v ní leží, že je jejím prvkem nebo že množina X tuto věc obsahuje.
SOUBOR OTÁZEK. 8. ročník
SOUBOR OTÁZEK 8. ročník 2016 Mezinárodní matematická soutěž Pangea v Evropě Název země Počet registrovaných účastníků Název země Počet registrovaných účastníků 1 Německo 147 000 10 Dánsko 5 068 2 Polsko
4 Rovnice a nerovnice
36 Rovnice a nerovnice 4 Rovnice a nerovnice 4.1 Lineární rovnice a jejich soustavy Požadované dovednosti řešit lineární rovnice o jedné neznámé vyjádřit neznámou ze vzorce užít lineární rovnice při řešení
Podkrušnohorské gymnázium, Most
Aktivita je spolufinancována Evropským sociálním fondem a státním rozpočtem České republiky V rámci projektu Nebojte se matematiky č. CZ.1.07/1.1.34/01.0022 Podkrušnohorské gymnázium, Most 10.-11 11.4.201.2013
λογος - 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
Ú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
Sedm sněhuláků a jiné detektivní případy pro začínající detektivy. Cílem je pozorné čtení textu, sledování obrázků, hledání a dokazování řešení.
Metodický pokyn Text z knihy Svatopluka Hrnčíře Sedm sněhuláků a jiné detektivní případy pro začínající detektivy Pro lepší orientaci jsou části textu očíslovány. Cílem je pozorné čtení textu, sledování
Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1
Úvod do predikátové logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 1 Relace Neuspořádaná vs. uspořádaná dvojice {m, n} je neuspořádaná dvojice. m, n je uspořádaná dvojice. (FLÚ AV ČR) Logika:
Bible pro děti představuje. Narození Ježíše
Bible pro děti představuje Narození Ježíše Napsal: Edward Hughes Ilustrovali: M. Maillot Upravili: E. Frischbutter; Sarah S. Přeložila: Jana Jersakova Vydala: Bible for Children www.m1914.org 2012 Bible
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ě
Matematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
Vý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á.
SOUHRNNÝ PŘEHLED nově vytvořených / inovovaných materiálů v sadě
SOUHRNNÝ PŘEHLED nově vytvořených / inovovaných materiálů v sadě Název projektu Zlepšení podmínek vzdělávání SZŠ Číslo projektu CZ.1.07/1.5.00/34.0358 Název školy Střední zdravotnická škola, Turnov, 28.
Název projektu: Poznáváme sebe a svět, chceme poznat více
Název projektu: Poznáváme sebe a svět, chceme poznat více Registrační číslo projektu: CZ.1.07/1.4.00/21.2970 Identifikátor materiálu Název klíčové aktivity Vzdělávací oblast Vzdělávací předmět / obor Tematický
Úvod do plánování: Zadání úloh PDDL
Ing. Jan Strnad TECHNICKÁ UNIVERZITA V LIBERCI Fakulta mechatroniky, informatiky a mezioborových studií Tento materiál vznikl v rámci projektu ESF CZ.1.07/2.2.00/07.0247 řízení a měření, který je spolufinancován
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
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í
Bible pro děti. představuje. Narození Ježíše
Bible pro děti představuje Narození Ježíše Napsal: Edward Hughes Ilustrovali: M. Maillot Upravili: E. Frischbutter; Sarah S. Přeložila: Jana Jersakova Vydala: Bible for Children www.m1914.org BFC PO Box
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
SPORTOVNÍ HRY DD ČR V TACHOVĚ POŘADATEL: DĚTSKÝ DOMOV TACHOV TERMÍN KONÁNÍ: ČERVNA 2018 MÍSTO KONÁNÍ: SPORTOVIŠTĚ MĚSTA TACHOV
SPORTOVNÍ HRY DD ČR V TACHOVĚ POŘADATEL: DĚTSKÝ DOMOV TACHOV TERMÍN KONÁNÍ: 5. 6. ČERVNA 2018 MÍSTO KONÁNÍ: SPORTOVIŠTĚ MĚSTA TACHOV Ředitel závodu : Mgr. Zdeněk Kropáč Realizační tým : Ing. Jaroslav Jirmus
VZOROVÝ STIPENDIJNÍ TEST Z MATEMATIKY
VZOROVÝ STIPENDIJNÍ TEST Z MATEMATIKY 1. Lyžařského zájezdu se zúčastnilo 44 osob. Mužů bylo o pět méně než žen, dětí o šestadvacet méně než dospělých. Kolik tam bylo mužů, žen a dětí? 2. Vyberte ekvivalentní
Matematická indukce, sumy a produkty, matematická logika
Matematická indukce, sumy a produkty, matematická logika 8.9. -.0.009 Matematická indukce Jde o následující vlastnost přirozených čísel: Předpokládejme:. Nějaké tvrzení platí pro.. Platí-li tvrzení pro
MATEMATIKA 9. TŘÍDA. 0,5 b. Umocnění výrazu (x 2) 2 : 3 hmotnosti nákupu a 2 kg. Kolik kilogramů. Nákup vážil 5
MATEMATIKA 9. TŘÍDA 1. Nechť M je součet druhých mocnin prvních tří přirozených čísel a N součet těchto tří přirozených čísel. Které z následujících tvrzení je pravdivé? (A) M + N = 17 (B) M = 4N (C) M
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
Bůh povznese Josefaotroka
Bible pro děti představuje Bůh povznese Josefaotroka Napsal: Edward Hughes Ilustrovali: M. Maillot; Lazarus Upravili: M. Maillot; Sarah S. Přeložila: Majka Alcantar Vydala: Bible for Children www.m1914.org
Úvod do logiky (PL): sémantika predikátové logiky
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): sémantika predikátové logiky doc. PhDr. Jiří
Spojování výroků (podmínek) logickými spojkami
Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce
Jedná se o slovní úlohy s tématy běžného života. Žáci řeší slovní úlohy pomocí trojčlenky.
Šablona č. I, sada č. 1 Vzdělávací oblast Vzdělávací obor Tematický okruh Téma Matematika a její aplikace Matematika a její aplikace Číslo a proměnná Přímá a nepřímá úměrnost Ročník 7. Materiál slouží
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 204 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia
Stonožka jak se z výsledků dozvědět co nejvíce
Stonožka jak se z výsledků dozvědět co nejvíce Vytvoření Map učebního pokroku umožňuje vyhodnotit v testování Stonožka i dílčí oblasti učiva. Mapy učebního pokroku sledují individuální pokrok žáka a nabízejí
ISŠT Mělník. Integrovaná střední škola technická Mělník, K učilišti 2566, 276 01 Mělník Ing.František Moravec
ISŠT Mělník Číslo projektu Označení materiálu Název školy Autor Tematická oblast Ročník Anotace CZ.1.07/1.5.00/34.0061 VY_32_ INOVACE_C.2.10 Integrovaná střední škola technická Mělník, K učilišti 2566,
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
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