Logické úlohy, vč. řešení. Marta Volfová
|
|
- Julie Emilie Bednářová
- před 8 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ý
VíceMatematický 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
Více[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.
VíceModulá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
VíceMatematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
VíceKALENDÁŘ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í
VícePř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
VíceÚ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:
VíceUnární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
VíceI) 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íceLOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
VíceNá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:
VíceI. 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
VíceZvyš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
VíceÚ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é
VícePŘ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
Více1 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
VíceSTUDIJNÍ 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.
VícePro 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í
VícePří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.
VíceModulá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é
VíceÚ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
VíceFUNKCE 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í
VíceÚ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íceVÝ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ícePozná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?
Více4.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
VíceSé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.
Více0. Ú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íceTest žá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é
VíceKvantita (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íceCí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Ú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é
VíceProhláš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íceVý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ý
VíceM - 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íceMIŠ 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
VíceDigitá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
VíceOkruh č.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ý
VícePří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.
VíceZkouš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
VíceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
VíceVýroková logika syntaxe a sémantika
syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být
VícePř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é
VíceTest žá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ý,
VíceÚ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á
VíceMetodika 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
VíceMATEMATIKA 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í
VíceÚ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
VícePř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íceCvič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/
VíceCVIČ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í
VíceMatematika 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
VíceKategorie: 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
Vícepř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í,
VíceLogika. 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:
VíceKapitola 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
VíceMetodické 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
VíceLogický č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
VíceOkruh č.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
VíceMATEMATIKA 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íceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2015/2016 1 / 18 Základní syntax Jazyk Výroková logika je logikou
VíceAplikač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
VíceKvantifikované 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íceNAIVNÍ 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.
VíceSOUBOR 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
Více4 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í
VícePodkruš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
Víceλογος - 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Ú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íceSedm 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í
VíceÚ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:
VíceBible 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
Více1. 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íceMatematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
VíceVý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íceSOUHRNNÝ 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.
VíceNá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ý
VíceÚ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íceVý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íce1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7
1 Výroková logika 1 Výroková logika 1 2 Predikátová logika 3 3 Důkazy matematických vět 4 4 Doporučená literatura 7 Definice 1.1 Výrokem rozumíme každé sdělení, o kterém má smysl uvažovat, zda je, či není
VíceBible 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íceVýroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
VíceSPORTOVNÍ 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
VíceVZOROVÝ 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í
VíceMatematická 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
VíceMATEMATIKA 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
VíceLogika 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
VíceBů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
VíceÚ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ří
VíceSpojová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
VíceJedná 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ží
VíceZadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 204 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia
VíceStonož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í
VíceISŠ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,
VíceOrganizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část
Matematika I 1/15 2/15 Organizace Zápočet: test 6. + 11. týden semestru (pátek) 80 bodů 50 79 bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část www.vscht.cz/mat Výuka www.vscht.cz/mat/jana.nemcova
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
Více