UDL 2004/2005 Cvičení č.6 řešení Strana 1/5
|
|
- Simona Kopecká
- před 5 lety
- Počet zobrazení:
Transkript
1 UDL 2004/2005 Cvičení č.6 řešení Strana 1/5 Opakování pojmů relace a funkce Relace R nad množinami A, B je podmnožina kartézského součinu: R A B Kartézský součin množin A = {a 1, a 2,, a 4 }, B = {b 1, b 2,, b 5 } se rovná A B = {<a 1, b 1 >, <a 1, b 2 >, <a 1, b 3 >, <a 1, b 4 >, <a 1, b 5 >, <a 2, b 1 >, <a 2, b 2 >, <a 2, b 3 >, <a 2, b 4 >, <a 2, b 5 >,, <a 4, b 5 >} a 1 b 1 Relace je podmnožinou kartézského součinu AxB a 2 b 2 a 3 b 3 R A B = {<a 1, b 1 >, <a 1, b 2 >, <a 3, b 3 >, <a 3, b 4 >, <a 3, b 5 >, <a 4, b 4 >} a 4 b 4 b 5 Zobrazení (parciální) f z množiny A do množiny B je binární relace [f A B] o níž platí, že každému prvku a A je přiřazen nejvýše jeden prvek b B, že <a, b> f, zapisuje se často b = f(a) F: A B (zobrazení F z množiny A do množiny B) a b c [(b = f(a) c = f(a)) (b = c)] zobrazení je zprava jednoznačné vzor (def.obor) obraz (obor hodnot) a 1 b 1 není zobrazení, není zprava jednoznačné b 2 a 1 b 1 je zobrazení, zobrazení je zprava jednoznačné a 2 b 2 F(a 1 ) = b 1, F(a 2 ) = b 1, F(a 3 ) = b 3 a 3 b 3 V PL1 používáme jako interpretaci funkčních symbolů formulí pouze totální funkce: ke každému prvku a A existuje právě jeden prvek b B. a b [F(a) = b] a b c [((f(a) = b) (f(a) = c)) (b = c)] Srovnání role predikátových P a funkčních f symbolů symbol ve formuli vyhodnocení Arita aplikován na arg. tvoří: interpretace symbolu formule / termu atomickou formuli n = 2 P(x,y) vztah (binární relace) n = 1 P(x) vlastnost (podmnož. universa) pravdivostní hodnota n = 0 T, F logic.konstanta 0 nebo1
2 term n = 2 f(x,y) binární funkce: U U U n = 1 f(x) unární funkce: U U prvek universa n = 0 a, b (ind. konstanty) prvek universa UDL 2004/2005 Cvičení č.6 řešení Strana 2/5 1. Relace a funkce Promyslete příklady na relace a funkce s různou aritou nad určitým universem. (Např.: universum U = množina individuí, relace být starší, být větší, mít rád,..., funkce otec, matka,... universum U = množina reálných čísel, relace >, <,,, funkce druhá odmocnina, součet, podíl, atd.) 2. Vyjádřete slovně následující skutečnosti za předpokladu, že predikát P znamená mít rád (kdo, koho), individuová konstanta a znamená Marie a individuová konstanta b Karel. a) x y P(x,y) Někdo má rád všechny. b) y x P(x,y) Někoho mají rádi všichni. c) x y P(x,y) Každý má někoho rád. d) x y P(x,y) Všichni mají rádi všechny. e) x P(x,a) Všichni mají rádi Marii. f) y P(b,y) Karel má rád všechny. g) x y P(x,y) Někdo má někoho rád. 3. Rozhodněte, zda vyjádříme následující skutečnosti pomocí predikátového nebo funkčního symbolu a) Otec f(x) f U : U U (funkce otec ) b) Být rodičem P(x, y) P U U x U (vztah být rodič : x je rodičem y)
3 c) Mít hodinu(předmět) v jaké místnosti, který den, s kterým učitelem P(x, y, z, z ) P U U x U x U x U (relace rozvrh ) d) Součet dvou čísel f(x, y) f U : U x U U (funkce sčítání ) e) Být spokojen s čím P(x, y) P U U x U (vztah být spokojen, x je spokojen s y) UDL 2004/2005 Cvičení č.6 řešení Strana 3/5 f) Sudá čísla P(x) P U U (množina sudých čísel) g) Dělitelnost dvěma P(x, a) P U U x U (relace být dělitelný : x je dělitelné a), a U (konstanta 2) h) Modulo 2 (zbytek po dělení 2) f(x, a) f U : U x U U (funkce modulo : vrací zbytek po dělení čísla x číslem a), a U (konstanta 2) i) Násobek dvou čísel je dělitelný dvěma P(f(x, y), a) P U U x U (relace být dělitelný : P(x,y) x je dělitelné y), f U : U x U U (funkce násobení ), a U (konstanta 2) j) Být větší P(x, y) P U U x U (vztah být větší ) k) Následník, tj. přičtení 1 f(x) f U : U U (funkce následník ) 4. Dokažte, že následující formule nejsou ekvivalentní (tj. najděte interpretaci, ve které je pravdivá jedna z nich, ale ne druhá): x y P(x,y) y x P(x,y) Jaký je mezi těmito formulemi vztah?
4 Toto je model obou formulí 1. U = přirozená čísla N 2. P U = existuje nejmenší přirozené číslo (1. formule) a ke každému číslu y existuje x takové, že y x (2. formule) Toto je model formule y x P(x,y) 1. U = přirozená čísla N 2. P U = na nekonečné množině přirozených čísel ke každému číslu y existuje nějaké číslo x, které je větší než y, x y. Toto není model formule x y P(x,y) 1. U = přirozená čísla N 2. P U = neexistuje největší přirozené číslo UDL 2004/2005 Cvičení č.6 řešení Strana 4/5 Další modely: U = množina lidí ve firmě, P U = být nadřízeným (je modelem pro obě formule: existuje jeden šéf, který je nadřízen všem ostatním 1. formule, a každý ve firmě má svého nadřízeného) U = množina lidí, P U = být rodičem (je modelem pro formuli y x P(x,y), ale ne pro formuli x y P(x,y) každý člověk má rodiče, ale neexistuje jeden rodič pro všechny lidi. Je možno říct, že pokud existuje nějaké x takové že pro všechna y je P(x,y), pak ke každému y existuje x takové, že P(x,y), tedy platí x y P(x,y) = y x P(x,y), ale ne obráceně. 5. Zapište v jazyce PL1 následující výroky a najděte jejich modely a také interpretace, ve kterých nejsou pravdivé : Množiny A a B mají neprázdný průnik. Některá A jsou B. (model: U= N, A U = sudá čísla, B U = prvočísla Pro e(x)=2 platí, že je sudé číslo a prvočíslo. x(a(x) B(x)) nepravdivá interpretace: Existuje číslo, které je zároveň sudé a liché. )
5 Všechna čísla jsou sudá nebo lichá. x(a(x) B(x)) (model: U= N, A U = sudá čísla, B U = lichá čísla nepravdivá interpretace: U=R Všechna reálná čísla jsou sudá nebo lichá.) Množina A je podmnožinou množiny B. x(a(x) B(x)) Všechna A jsou B. (model: U= reálná čísla, A U = přirozená čísla, B U = racionální čísla nebo Všichni vodníci jsou prezidenti, tedy A U = Φ. nepravdivá interpretace: U= reálná čísla, A U = racionální čísla, B U = přirozená čísla) Žádné A není B. x(a(x) B(x)) Množina A je podmnožinou komplementu množiny B. (model:, A U = sudá čísla, B U = lichá čísla nepravdivá interpretace: Žádné prvočíslo není sudé.) Některá A nejsou B. x(a(x) B(x)) (model: U= reálná čísla, A U = racionální čísla, B U = přirozená čísla nepravdivá interpretace: U= reálná čísla, A U = přirozená čísla, B U = racionální čísla) UDL 2004/2005 Cvičení č.6 řešení Strana 5/5 6. Najděte model pro následující formule a) x R(x, f(x)) R U U x U (relace být menší ) f U : U U (funkce druhá mocnina ) b) x R(x, f(x)) R U U x U (relace být menší nebo rovno ) f U : U U (funkce následník x + 1 ) c) x y [P(x, y) Q(f(x), y)] P U U x U (relace větší nebo rovno ) Q U U x U (relace být větší nebo rovno ) f U : U U (funkce druhá mocnina )
6 d) x y [P(x,y) Q(f(x), y)] P U U x U (relace rovno ) Q U U x U (relace být menší ), f U : U U (funkce následník, x + 1 ) e) x y [V(x,y)] V U U x U (relace ) (nejmenší přirozené číslo) f) y x [ V(x,y)] V U U x U (relace < ) (neexistuje největší přirozené číslo)
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í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í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íceÚvod do logiky (presentace 2) Naivní teorie množin, relace a funkce
Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce Marie Duží marie.duzi@vsb.cz 1 Úvod do teoretické informatiky (logika) Naivní teorie množin Co je to množina? Množina je soubor prvků
VíceMarie Duží
Marie Duží marie.duzi@vsb.cz Co je to množina? Množina je soubor prvků a je svými prvky plně určena; množinu s prvky a, b, c značíme: {a, b, c}. Prvkem množiny může být opět množina, množina nemusí mít
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ícePřednáška 2: Formalizace v jazyce logiky.
Přednáška 2: Formalizace v jazyce logiky. Marie Duží marie.duzi@vsb.cz Úvod do teoretické informatiky (logika) Dva základní logické systémy: Výroková logika a predikátová logika. řádu. Výroková logika
VíceÚvod do teoretické informatiky(2017/2018) cvičení 6 1
Úvod do teoretické informatiky(2017/2018) cvičení 6 1 Cvičení 6 Příklad 1: Pro každou z následujících sekvencí symbolů rozhodněte, zda se jedná o a) term, b) formuli predikátové logiky(používejte běžné
VíceMatematická 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 / 20 Predikátová logika Motivace Výroková
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í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íceMatematická logika. Miroslav Kolařík
Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
VíceRovnost lze vyjádřit jako predikát, např. můžeme zvolit, že P(x, y) reprezentujetvrzení xjerovnoy.
Rovnost Jedním z nejdůležitějších druhů relací je rovnost(identita). Prvkyxayjsousirovny,cožzapisujeme x =y, jestližesejednáojedenatentýžprvek. Rovnost lze vyjádřit jako predikát, např. můžeme zvolit,
VíceKód trezoru 1 je liché číslo.
1 Kód trezoru 1 je liché číslo. Kód trezoru 1 není prvočíslo. Každá číslice kódu trezoru 1 je prvočíslo. Ciferný součet kódu trezoru 1 je 12. Druhá cifra kódu trezoru 1 je sudá, ostatní jsou liché. Jeden
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íceVýroková a predikátová logika - VI
Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá
Více1 Lineární prostory a podprostory
Lineární prostory a podprostory Přečtěte si: Učebnice AKLA, kapitola první, podkapitoly. až.4 včetně. Cvičení. Které z následujících množin jsou lineárními prostory s přirozenými definicemi operací?. C
VícePredikátová logika. Teoretická informatika Tomáš Foltýnek
Predikátová logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz strana 2 Opakování z minulé přednášky Z čeho se skládá jazyk výrokové logiky? Jaká jsou schémata pro axiomy VL? Formulujte
VíceZákladní pojmy teorie množin Vektorové prostory
Základní pojmy teorie množin Přednáška MATEMATIKA č. 1 Katedra ekonometrie FEM UO Brno kancelář 69a, tel. 973 442029 email:jiri.neubauer@unob.cz 7. 10. 2010 Základní pojmy teorie množin Základní pojmy
Více2.1 Formule predikátové logiky. větám. Použijte k tomu predikátových symbolu uvedených v textu.
6 Kapitola 2 Příklady z predikátové logiky 2.1 Formule predikátové logiky 2.1.1 Příklad. Napište formule predikátové logiky odpovídající následujícím větám. Použijte k tomu predikátových symbolu uvedených
Víceplatné nejsou Sokrates je smrtelný. (r) 1/??
Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice
VíceSémantika predikátové logiky
Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem
VíceÚvod do logiky (PL): analýza vět přirozeného jazyka
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): analýza vět přirozeného jazyka doc. PhDr.
VícePredikátová logika. prvního řádu
Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)
VíceSvobodná chebská škola, základní škola a gymnázium s.r.o. Dušan Astaloš. samostatná práce, případně skupinová práce. pochopení znaků vztahů mezi čísly
METODICKÝ LIST DA6 Název tématu: Autor: Předmět: Dělitelnost dělitel a násobek, sudá a lichá čísla, prvočísla a čísla složená Dušan Astaloš Matematika Ročník: 6. Učebnice: Kapitola, oddíl: Metody výuky:
VícePojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace
RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,
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í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íce2.2 Sémantika predikátové logiky
14 [101105-1155] 2.2 Sémantika predikátové logiky Nyní se budeme zabývat sémantikou formulí, tj. jejich významem a pravdivostí. 2.2.1 Interpretace jazyka predikátové logiky. Interpretace predikátové logiky
VíceBakalářská matematika I
1. Funkce Diferenciální počet Mgr. Jaroslav Drobek, Ph. D. Katedra matematiky a deskriptivní geometrie Bakalářská matematika I Některé užitečné pojmy Kartézský součin podrobnosti Definice 1.1 Nechť A,
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íce6. Bez použití funkcí min a max zapište formulí predikátového počtu tvrzení, že každá množina
Instrukce: Příklady řešte výhradně elementárně, bez použití nástrojů z diferenciálního a integrálního počtu. Je-li součástí řešení úlohy podmnožina reálných čísel, vyjádřete ji jako disjunktní sjednocení
Více2. V Q[x] dělte se zbytkem polynomy:
Sbírka příkladů z polynomů pro předmět Cvičení z algebry I Dělení v okruzích polynomů 1. V Q[x] dělte se zbytkem polynomy a) (x 5 + x 3 2x + 1) : ( x 3 + x + 1), b) (3x 3 + 10x 2 + 2x 3) : (5x 2 + 25x
VíceUčební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008
Učební texty k státní bakalářské zkoušce Matematika Algebra študenti MFF 15. augusta 2008 1 8 Algebra Požadavky Grupa, okruh, těleso definice a příklady Podgrupa, normální podgrupa, faktorgrupa, ideál
Více1 Pravdivost formulí v interpretaci a daném ohodnocení
1 Pravdivost formulí v interpretaci a daném ohodnocení Než uvedeme konkrétní příklady, zopakujme si definici interpretace, ohodnocení a pravdivosti. Necht L je nějaký jazyk. Interpretaci U, jazyka L tvoří
VíceB i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík
B i n á r n í r e l a c e Patrik Kavecký, Radomír Hamřík Obsah 1 Kartézský součin dvou množin... 3 2 Binární relace... 6 3 Inverzní relace... 8 4 Klasifikace binární relací... 9 5 Ekvivalence... 12 2 1
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í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íceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška sedmá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Čísla a číselné obory 2 Princip indukce 3 Vybrané
VíceKapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...
Kapitola 1 Úvod 1.1 Značení N... přirozená čísla (1, 2, 3,...). Z... celá čísla ( 3, 2, 1, 0, 1, 2,...). Q... racionální čísla ( p, kde p Z a q N) q R... reálná čísla C... komplexní čísla 1.2 Výroky -
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íce1 Zobrazení 1 ZOBRAZENÍ 1. Zobrazení a algebraické struktury. (a) Ukažte, že zobrazení f : x
1 ZOBRAZENÍ 1 Zobrazení a algebraické struktury 1 Zobrazení Příklad 1.1. (a) Ukažte, že zobrazení f : x na otevřený interval ( 1, 1). x x +1 je bijekce množiny reálných čísel R (b) Necht a, b R, a < b.
Více1 Báze a dimenze vektorového prostoru 1
1 Báze a dimenze vektorového prostoru 1 Báze a dimenze vektorového prostoru 1 2 Aritmetické vektorové prostory 7 3 Eukleidovské vektorové prostory 9 Levá vnější operace Definice 5.1 Necht A B. Levou vnější
VícePoznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.
2. ZOBRAZENÍ A FUNKCE 2.1 Zobrazení 2. 1. 1 Definice: Nechť A a B jsou množiny. Řekneme že f je zobrazení množiny A do množiny B jestliže (i) f A B (ii) ke každému z množiny A eistuje právě jedno y z množiny
VíceÚ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íceMoravské gymnázium Brno s.r.o.
Číslo projektu CZ.1.07/1.5.00/34.0743 Název školy Autor Tematická oblast Moravské gymnázium Brno s.r.o. Mgr. Marie Chadimová Mgr. Věra Jeřábková Matematika1.ročník Elementární teorie čísel. Ročník 1. Datum
Více1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU
Obsah 1. Pojmy... 2 1.1. Formule výrokového počtu... 2 1.2. Množina... 3 1.2.1. Operace s množinami... 3 1.2.2. Relace... 3 2. Číselné obory... 5 2.1. Uzavřenost množiny na operaci... 5 2.2. Rozšíření
VíceCvič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íce1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU
Obsah 1. Pojmy... 2 1.1. Formule výrokového počtu... 2 1.2. Množina... 3 1.2.1. Operace s množinami... 3 1.2.2. Relace... 3 2. Číselné obory... 5 2.1. Uzavřenost množiny na operaci... 5 2.2. Rozšíření
VíceALGEBRA. Téma 4: Grupy, okruhy a pole
SLEZSKÁ UNIVERZITA V OPAVĚ Matematický ústav v Opavě Na Rybníčku 1, 746 01 Opava, tel. (553) 684 611 DENNÍ STUDIUM Téma 4: Grupy, okruhy a pole Základní pojmy unární operace, binární operace, asociativita,
VíceTeorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.
Teorie množin V matematice je všechno množina I čísla jsou definována pomocí množin Informatika stojí na matematice Znalosti Teorie množin využijeme v databázových systémech v informačních systémech při
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 2015
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 05 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia
VícePřednáška 3: rozhodování o platnosti úsudku
Přednáška 3: rozhodování o platnosti úsudku Marie Duží marie.duzi@vsb.cz 1 Úvod do teoretické informatiky Úsudky Úsudek je platný, jestliže nutně, za všech okolností, tj. při všech interpretacích, ve kterých
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ícePredikátová logika dokončení
Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen
VíceÚlohy k procvičování textu o svazech
Úlohy k procvičování textu o svazech Číslo za pomlčkou v označení úlohy je číslo kapitoly textu, která je úlohou procvičovaná. Každá úloha je vyřešena o několik stránek později. Kontrolní otázky - zadání
VíceKaždé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α
1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny
Vícematiceteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést
Úlohy k zamyšlení 1. Zdůvodněte, proč třetí řádek Hornerova schématu pro vyhodnocení polynomu p v bodě c obsahuje koeficienty polynomu r, pro který platí p(x) = (x c) r(x) + p(c). 2. Dokažte, že pokud
VíceOkruhy, podokruhy, obor integrity, těleso, homomorfismus. 1. Rozhodněte, zda daná množina M je podokruhem okruhu (C, +, ): f) M = { a
Sbírka příkladů z okruhů a polynomů Algebra I Okruhy, podokruhy, obor integrity, těleso, homomorfismus 1. Rozhodněte, zda daná množina M je podokruhem okruhu (C, +, ): a) M = {a + i a R}, b) M = {a + i
VíceDalší (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20
Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:
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í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í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í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íceLogika, výroky, množiny
Logika, výroky, množiny Martina Šimůnková 23. srpna 2017 Učební text k předmětu Matematická analýza pro studenty FP TUL Jazyk matematiky Budeme používat dva jazyky: jazyk matematiky a běžně používaný jazyk.
VícePredikátová logika [Predicate logic]
Predikátová logika [Predicate logic] Přesněji predikátová logika prvého řádu. Formalizuje výroky o vlastnostech předmětů (entit) a vztazích mezi předměty, které patří do dané předmětné oblasti univerza.
VíceÚlohy k procvičování textu o univerzální algebře
Úlohy k procvičování textu o univerzální algebře Číslo za pomlčkou v označení úlohy je číslo kapitoly textu, která je úlohou procvičovaná. Každá úloha je vyřešena o několik stránek později. Kontrolní otázky
VíceMatematická funkce. Kartézský součin. Zobrazení. Uspořádanou dvojici prvků x, y označujeme [x, y] Uspořádané dvojice jsou si rovny, pokud platí:
Matematická funkce Kartézský součin Uspořádanou dvojici prvků x, y označujeme [x, y] Uspořádané dvojice jsou si rovny, pokud platí: [x, y] = [u, v] x = u y = v Pokud K, L jsou libovolné množiny, pak množinu
VíceMoravské gymnázium Brno s.r.o.
Číslo projektu CZ.1.07/1.5.00/34.0743 Název školy Moravské gymnázium Brno s.r.o. Autor Tematická oblast Mgr. Marie Chadimová Mgr. Věra Jeřábková Matematika Elementární teorie čísel Ročník 1. Datum tvorby
VíceParadoxy nekonečna. Co analyzuje Matematická analýza? Nekonečné procesy. n(n + 1) + = n 2 + = π2 6
Přednáška 1, 3. října 2014 Přednáška z Matematické analýzy I má pět částí: 1. Úvod, opakování, reálná čísla. 2. Limita nekonečné posloupnosti. 3. Nekonečné řady. 4. Limita funkce v bodě a spojitost funkce.
VíceMnožiny. Množina je soubor objektů, o kterých můžeme rozhodnout, zda do množiny patří nebo ne. Tyto objekty nazýváme prvky.
Množiny Množina je soubor objektů, o kterých můžeme rozhodnout, zda do množiny patří nebo ne. Tyto objekty nazýváme prvky. Množiny označujeme velkými písmeny např. A, B, N, R.. Množinu lze určit a) výčtem
VíceDoporučené příklady k Teorii množin, LS 2018/2019
Doporučené příklady k Teorii množin, LS 2018/2019 1. přednáška, 21. 2. 2019 1. Napište množina x je prázdná (přesněji množina x nemá žádné prvky ) formulí základního jazyka teorie množin. 2. Dokažte ((x
VíceÚvod do logiky (PL): analýza vět mimo logický čtverec
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): analýza vět mimo logický čtverec doc. PhDr.
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie
VícePomocný text. Polynomy
Pomocný text Polynomy Tato série bude o polynomech a to zejména o polynomech jedné proměnné (pokud nebude uvedeno explicitně, že jde o polynom více proměnných). Formálně je někdy polynom jedné proměnné
VíceFuzzy množiny, Fuzzy inference system. Libor Žák
Fuzzy množiny, Fuzzy inference system Proč právě fuzzy množiny V řadě případů jsou parametry, které vstupují a ovlivňují vlastnosti procesu, popsané pomocí přibližných nebo zjednodušených pojmů. Tedy
VíceMgr. Ladislav Zemánek Maturitní okruhy Matematika 2013-2014. 1. Obor reálných čísel
Mgr. Ladislav Zemánek Maturitní okruhy Matematika 2013-2014 1. Obor reálných čísel - obor přirozených, celých, racionálních a reálných čísel - vlastnosti operací (sčítání, odčítání, násobení, dělení) -
VíceKapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.
1 Kapitola 1 Množiny 11 Základní množinové pojmy Pojem množiny nedefinujeme, pouze připomínáme, že množina je souhrn, nebo soubor navzájem rozlišitelných objektů, kterým říkáme prvky 111 Princip rovnosti
Více1. Základy logiky a teorie množin
1. Základy logiky a teorie množin A. Logika Matematická logika vznikla v 19. století. Jejím zakladatelem byl anglický matematik G. Boole (1815 1864). Boole prosadil algebraické pojetí logiky a zavedl logické
VíceVěta o dělení polynomů se zbytkem
Věta o dělení polynomů se zbytkem Věta. Nechť R je okruh, f, g R[x], přičemž vedoucí koeficient polynomu g 0 je jednotka okruhu R. Pak existuje jediná dvojice polynomů q, r R[x] taková, že st(r) < st(g)
VícePrincip rozšíření a operace s fuzzy čísly
Center for Machine Perception presents Princip rozšíření a operace s fuzzy čísly Mirko Navara Center for Machine Perception Faculty of Electrical Engineering Czech Technical University Praha, Czech Republic
VíceUčitelství 1. stupně ZŠ tématické plány předmětů matematika
Učitelství 1. stupně ZŠ tématické plány předmětů matematika Povinné předměty: Matematika I aritmetika (KMD/MATE1) 2 Matematika 3 aritmetika s didaktikou (KMD/MATE3) 3 Matematika 5 geometrie (KMD/MATE5)
VíceAplikovaná 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íceTeorie grup 1 Příklad axiomatické teorie
Teorie grup 1 Příklad axiomatické teorie Alena Šolcová 1 Binární operace Binary operation Binární operací na neprázdné množině A rozumíme každé zobrazení kartézského součinu A x A do A. Multiplikativní
VícePolynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30
Počítání modulo polynom 3. přednáška z algebraického kódování Alena Gollová, TIK Počítání modulo polynom 1/30 Obsah 1 Polynomy nad Zp Okruh Zp[x] a věta o dělení se zbytkem 2 Kongruence modulo polynom,
VíceDIGITÁLNÍ ARCHIV VZDĚLÁVACÍCH MATERIÁLŮ
DIGITÁLNÍ ARCHIV VZDĚLÁVACÍCH MATERIÁLŮ Číslo projektu Číslo a název šablony klíčové aktivity Tematická oblast CZ.1.07/1.5.00/34.0963 IV/2 Inovace a zkvalitnění výuky směřující k rozvoji matematické gramotnosti
VíceMnožinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ
Abecedou se rozumí libovolná konečná množina Σ. Prvky abecedy nazýváme znaky (symboly) Slovo (řetězec) v nad abecedou Σ je libovolná konečná posloupnost znaků této abecedy. Prázdné posloupnosti znaků odpovídá
VícePřijímací zkouška z matematiky 2017
Fakulta informačních technologií ČVUT v Praze Přijímací zkouška z matematiky 2017 Kód uchazeče ID:.................. Varianta: 14 Příklad 1. (3b) Mějme dvě čísla zapsaná v pětkové soustavě: 4112 5 a 2443
VíceRelace. R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace
Relace 1. Nechť A = {n N; n < 10}, B = {m N; m 12}, R = {[m, n] A B; m + 1 = n}, S = {[m, n] A B; m 2 = n}. Zapište relace R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace R R, S S,
VíceTeoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno
Tomáš Foltýnek foltynek@pef.mendelu.cz Teorie čísel Nekonečno strana 2 Opakování z minulé přednášky Jak je definována podmnožina, průnik, sjednocení, rozdíl? Jak je definována uspořádaná dvojice a kartézský
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2018/2019 1 / 15 Platnost (pravdivost) Platnost ve struktuře
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 jara 2016
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 jara 206 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia
Více1 Základní pojmy. 1.1 Množiny
1 Základní pojmy V této kapitole si stručně připomeneme základní pojmy, bez jejichž znalostí bychom se v dalším studiu neobešli. Nejprve to budou poznatky z logiky a teorie množin. Dále se budeme věnovat
VíceÚvod do logiky (PL): ekvivalence a negace výroků logického
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): ekvivalence a negace výroků logického čtverce
VíceLogika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová
VíceÚ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í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íceMatematická logika. Miroslav Kolařík
Matematická logika přednáška pátá 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í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íceÚvod, základní pojmy, funkce
Úvod, základní pojmy, funkce Michal Fusek Ústav matematiky FEKT VUT, fusekmi@feec.vutbr.cz 1. přednáška z ESMAT Michal Fusek (fusekmi@feec.vutbr.cz) 1 / 69 Obsah 1 Matematická logika 2 Množiny 3 Funkce,
Více