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

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

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

Transkript

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

2 Disjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v disjunktivním normálním tvaru (formě), zkráceně v DNF, jestliže je disjunkcí jedné nebo několika formulí, z nichž každá je literálem nebo konjunkcí literálů ( K i ) - minterm. Literál ( L j ) je logická proměnná nebo negace logické proměnné A = K K i K n K i = L... L j L m 2

3 Konjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v konjunktivním normálním tvaru (formě), zkráceně v KNF, jestliže je konjunkcí jedné nebo několika formulí, z nichž každá je literálem nebo disjunkcí literálů ( D i ) - maxterm. Literál ( L j ) je logická proměnná nebo negace logické proměnné A = D D i D n D i = L L j L m 3

4 Věty o DNF a KNF Ke každé formuli A existuje formule B v DN tvaru, která je s ní ekvivalentní ( A B ). Pokud k formuli A nalezneme ekvivalentní formuli B v DN tvaru, říkáme také, že jsme formuli A převedli do DN tvaru. Ke každé formuli A existuje formule B v KN tvaru, která je s ní ekvivalentní ( A B ). Pokud k formuli A nalezneme ekvivalentní formuli B v KN tvaru, říkáme také, že jsme formuli A převedli do KN tvaru. 4

5 Převod formule do DNF ( KNF ) Převedení formule do DNF ( KNF ) lze provést těmito způsoby: pomocí pravdivostní tabulky. ekvivalentními úpravami. pomocí Karnaughovy mapy. 5

6 Převod do DNF pomocí pravdivostní tabulky Předpokládejme, že formule A obsahuje výrokové proměnné p, p 2,..., p n. Potom: K formuli A sestrojíme pravdivostní tabulku. Pro každý řádek i pravdivostní tabulky, jehož výsledná pravdivostní hodnota je, vytvoříme konjunkci K i = L... L m, kde L j = p j pokud proměnná p j nabývá v tomto řádku L j = p j pokud proměnná p j nabývá v tomto řádku j =,..., m Konjunkce K i spojíme disjunkcemi. 6

7 Převod do DNF pomocí pravdivostní tabulky příklad Pravdivostní tabulka: Konjunkce: K = ( p q ) K 2 = ( p q ) K K 2 = ( p q ) ( p q ) ř. (p q) ( p q). 2. Zjednodušení DNF (pomocí ekvivalentních úprav): ( p q ) ( p q ) p ( q q ) p T p 7

8 Převod do DNF pomocí ekvivalentních úprav příklad ( p q ) ( p q ) { a b a b } ( p q ) ( p q ) { ( a b ) ( a b ) } ( p q ) ( p q ) { distributivní zákon } p ( q q ) { a a T } p T { a T a } p 8

9 Převod do KNF pomocí pravdivostní tabulky Postup je stejný jako u DNF, jen vytvoříme konjunkci pro každý řádek i pravdivostní tabulky, jehož výsledná pravdivostní hodnota je K i = L... L m, kde L j = p j pokud proměnná p j nabývá v tomto řádku L j = p j pokud proměnná p j nabývá v tomto řádku j =,..., m Konjunkce K i spojíme disjunkcemi. Provedeme negaci výsledného tvaru ( K K i K n ) Pomocí De Morganových zákonů převedeme na KNF K K i K n D D i D n 9

10 Převod do KNF pomocí pravdivostní tabulky příklad Pravdivostní tabulka: Konjunkce: K = ( p q ) K 2 = ( p q ) Disjunkce K i : K K 2 = ( p q ) ( p q ) Negace výsledku: ř. (p q) ( p q). 2. (( p q ) ( p q )) ( p q ) ( p q ) ( p q ) ( p q ) Zjednodušení KNF (pomocí ekvivalentních úprav): ( p q ) ( p q ) p ( q q ) p F p

11 Převod do KNF pomocí ekvivalentních úprav příklad ( p q ) ( p q ) { a b a b } ( p q ) ( p q ) { ( a b ) ( a b ) } (( p q ) ( p q )) (( p q ) ( p q )) { distributivní zákon } ( p ( q q )) { a a F } ( p F ) { a F a } p

12 Karnaughovy mapy

13 Karnaughovy mapy Definice Nechť je dán seznam logických proměnných a,,, a n obsažených ve formuli A. Pravdivostní tabulka formule A má potom 2 n řádků. Dvourozměrné tabulce (matici) říkáme Karnaughova mapa, jestliže platí: na svislé a vodorovné osy nanášíme ohodnocení jednotlivých proměnných (souřadnice) sousedí přesně ty souřadnice, které se liší právě v jedné položce výsledná matice obsahuje právě 2 n políček, do kterých se zapíší příslušné hodnoty z pravdivostní tabulky 3

14 Karnaughovy mapy n = - Karnaughova mapa je shodná s pravdivostní tabulkou n = 2 - Karnaughova mapa tvaru čtverce a f f f a /a f f 2 f 2 f 3 f f 3 4

15 Karnaughovy mapy n = 3 - Karnaughova mapa tvaru válce a a 3 f f f f 2 f 3 f 4 a a 3 /a a 3 f f 4 f 6 f 2 f 5 f f 5 f 7 f 3 f 6 f 7 5

16 Karnaughovy mapy a a 3 a 4 f f f f 2 f 3 n = 4 - Karnaughova mapa tvaru anuloidu a f 4 f 5 f 6 a 3 a 3 a 4 /a a 4 f 7 f f 8 f 2 f 4 f 8 f 9 f f 2 f f 4 f 6 f f 2 f 3 f f 5 f 7 f 3 f 4 f f 9 f 3 f 5 f 5 6

17 Karnaughovy mapy Tvar Karnaughovy mapy pro n = 3 - válec n = 4 - anuloid Mapy vyššího řádu ( n 5 ) nelze zobrazit v E 3 7

18 Bazická matice Definice Bazická matice jedniček (nul) je taková část Karnaughovy mapy, ve které všechny jedničky (nuly) tvoří obdélník ze sousedních políček Rozměr bazické matice musí být mocninou dvojky U kontradikce je rozměr bazické matice jedniček roven nule a rozměr bazické matice nul je roven celé mapě (2 n ) U tautologie je rozměr bazické matice nul roven nule a rozměr bazické matice jedniček je roven celé mapě (2 n ) 8

19 Tvrzení Bazická matice Každá bazická matice jedniček odpovídá právě jedné konjunkci v DNF Každá bazická matice nul odpovídá právě jedné disjunkci v KNF (po znegování odpovídající konjunkce) Pravidlo: K popisu větší plochy na mapě je třeba méně informace (tj. kratší konjunkce/disjunkce) 9

20 Bazické matice pro n=2 2 x a /a K = D = ( ) = a /a K = D = ( ) = 2

21 Bazické matice pro n=2 2 x a /a K = a D = ( a ) = a a /a K = a D = ( a ) = a 2

22 Bazické matice pro n=2 x a /a a /a K = a. K 2 = a. D = (a. ) = a + D 2 = (a. ) = a + K = a. K 2 = a. D = a + D 2 = a + 22

23 Bazické matice pro n=3 2 x 2 a a 3 a 3 /a K = D = ( ) = a a a 3 /a 3 K = D = ( ) = 23

24 Bazické matice pro n=3 2 x 2 a a 3 a 3 /a K = a D = ( a ) = a a a a 3 /a 3 K = a D = ( a ) = a 24

25 Bazické matice pro n=3 4 x a a 3 a 3 /a K = a 3 D = ( a 3 ) = a 3 a a a 3 /a 3 K = a 3 D = ( a 3 ) = a 3 25

26 Bazické matice pro n=3 2 x a K = a. a 3 a 3 /a K 2 = a. D = a + D 2 = a + a a a 3 /a 3 K = a. K 2 = a. D = a + D 2 = a + 26

27 Bazické matice pro n=3 2 x a K = a. a 3 a 3 a 3 /a K 2 = a. a 3 D = a + a 3 D 2 = a + a 3 a a a 3 /a 3 K = a. a 3 K 2 = a. a 3 D = a + a 3 D 2 = a + a 3 27

28 Bazické matice pro n=3 2 x a K =. a 3 a 3 a 3 /a K 2 =. a 3 D = + a 3 D 2 = + a 3 a a a 3 /a 3 K =. a 3 K 2 =. a 3 D = + a 3 D 2 = + a 3 28

29 Bazické matice pro n=3 x a K = a.. a 3 a 3 a 3 /a K 2 = a.. a 3 K 3 = a.. a 3 K 4 = a.. a 3 a a a 3 /a 3 D = a + + a 3 D 2 = a + + a 3 D 3 = a + + a 3 D 4 = a + + a 3 29

30 Bazické matice pro n=4 4 x 2 a K = a 4 a 3 a 3 a 4 /a a 4 D = ( a 4 ) = a 4 3

31 Bazické matice pro n=4 4 x 2 a K = a a 3 a 3 a 4 /a a 4 D = ( a ) = a 3

32 Bazické matice pro n=4 4 x 2 a K = a 3 a 3 a 3 a 4 /a a 4 D = ( a 3 ) = a 3 32

33 Bazické matice pro n=4 2 x 2 a K =. a 4 a 3 a 3 a 4 /a a 4 K 2 =. a 4 D = + a 4 D 2 = + a 4 33

34 Bazické matice pro n=4 2 x 2 a 3 a a 3 a 4 /a a 4 K = a. a 3 K 2 = a. a 3 D = a + a 3 D 2 = a + a 3 34

35 Bazické matice pro n=4 2 x a 3 a a 4 a 3 a 4 /a K =. a 3. a 4 K 2 =. a 3. a 4 K 3 =. a 3. a 4 K 4 =. a 3. a 4 D = + a 3 + a 4 D 2 = + a 3 + a 4 D 3 = + a 3 + a 4 D 4 = + a 3 + a 4 35

36 Bazické matice pro n=4 2 x a 3 a a 4 a 3 a 4 /a K = a. a 3. a 4 K 2 = a. a 3. a 4 K 3 = a. a 3. a 4 K 4 = a. a 3. a 4 D = a + a 3 + a 4 D 2 = a + a 3 + a 4 D 3 = a + a 3 + a 4 D 4 = a + a 3 + a 4 36

37 Bazické matice pro n=4 x a 3 a a 4 a 3 a 4 /a K = a.. a 3. a 4 K 2 = a.. a 3. a 4 K 3 = a.. a 3. a 4 D = a + + a 3 + a 4 D 2 = a + + a 3 + a 4 D 3 = a + + a 3 + a 4 37

38 Převod do DNF pomocí Karnaughovy mapy Předpokládejme, že formule A obsahuje výrokové proměnné p, p 2,..., p n. Potom: Sestavíme Karnaughovu mapu formule A Najdeme bazické matice jedniček A,, A n tak, aby: -každámatice A i měla co největší rozměr -počet matic A i (tj. číslo n) byl co nejmenší Každé matici A i přiřadíme příslušnou konjunkci K i Konjunkce K K n spojíme disjunkcemi: A = K K 2 K n 38

39 Převod do KNF pomocí Karnaughovy mapy Předpokládejme, že formule A obsahuje výrokové proměnné p, p 2,..., p n. Potom: Sestavíme Karnaughovu mapu formule A Najdeme bazické matice nul A,, A n tak, aby: -každámatice A i měla co největší rozměr -počet matic A i (tj. číslo n) byl co nejmenší Každé matici A i přiřadíme příslušnou disjunkci D i Disjunkce D D n spojíme konjunkcemi: A = D D 2 D n 39

40 Příklad Převeďte formuli ( a b ) c pomocí Karnaughovy mapy do DNF a KNF a b c f c a b c/ab 4

41 Příklad převod do DNF a b konjunkce: c c / a b K = c K 2 = a. b a b c c / a b A = c + a.b 4

42 Příklad převod do KNF a b disjunkce: c c / a b D = (b. c ) = b + c D 2 = (a. c ) = a + c a b c c / a b A = ( b + c ). ( a + c ) 42

43 Systém ELVYS

44 Systém m ELVYS Elektronický VÝukový Systém elektronické studijní materiály vzájemná komunikace diskusní fóra k probírané problematice plnění a hodnocení průběžných úkolů upozornění na důležité termíny semestru heslo pro registraci do systému: orchidea registrace možná do přístup na adrese: 44

45 Děkuji za pozornost! Příští přednáška: Úplný systém logických spojek Logické obvody

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.  horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 15 Sémantická věta o dedukci Věta Pro

Více

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

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

Více

Výroková logika - opakování

Výroková logika - opakování - opakování ormální zavedení Výroková formule: Máme neprázdnou nejvýše spočetnou množinu A výrokových proměnných. 1. Každá proměnná je výroková formule 2. Když α, β jsou formule, potom ( α), (α β), (α

Více

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška třetí Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika

Více

Úplný systém m logických spojek. 3.přednáška

Úplný systém m logických spojek. 3.přednáška Úplný sstém m logických spojek 3.přednáška Definice Úplný sstém m logických spojek Řekneme, že množina logických spojek S tvoří úplný sstém logických spojek, jestliže pro každou formuli A eistuje formule

Více

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

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

Více

Výroková logika. Teoretická informatika Tomáš Foltýnek

Výroková logika. Teoretická informatika Tomáš Foltýnek Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox

Více

Úvod do logiky (VL): 9. Úplná disjunktivní / konjunktivní normální forma a její minimalizace

Úvod do logiky (VL): 9. Úplná disjunktivní / konjunktivní normální forma a její minimalizace 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): 9. Úplná disjunktivní / konjunktivní normální

Více

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

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod

Více

Základní pojmy matematické logiky

Základní pojmy matematické logiky KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je

Více

Normální formy. (provizorní text)

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

Více

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

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

Více

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.  horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 15 Splnitelnost množin Definice Množina

Více

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

teorie logických spojek chápaných jako pravdivostní funkce Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových

Více

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

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

Více

P4 LOGICKÉ OBVODY. I. Kombinační Logické obvody

P4 LOGICKÉ OBVODY. I. Kombinační Logické obvody P4 LOGICKÉ OBVODY I. Kombinační Logické obvody I. a) Základy logiky Zákony Booleovy algebry 1. Komutativní zákon duální forma a + b = b + a a. b = b. a 2. Asociativní zákon (a + b) + c = a + (b + c) (a.

Více

Binární logika Osnova kurzu

Binární logika Osnova kurzu Osnova kurzu 1) Základní pojmy; algoritmizace úlohy 2) Teorie logického řízení 3) Fuzzy logika 4) Algebra blokových schémat 5) Vlastnosti členů regulačních obvodů 6) Vlastnosti regulátorů 7) Stabilita

Více

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

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

Více

Y36SAP Y36SAP-2. Logické obvody kombinační Formy popisu Příklad návrhu Sčítačka Kubátová Y36SAP-Logické obvody 1.

Y36SAP Y36SAP-2. Logické obvody kombinační Formy popisu Příklad návrhu Sčítačka Kubátová Y36SAP-Logické obvody 1. Y36SAP 26.2.27 Y36SAP-2 Logické obvody kombinační Formy popisu Příklad návrhu Sčítačka 27-Kubátová Y36SAP-Logické obvody Logický obvod Vstupy a výstupy nabývají pouze hodnot nebo Kombinační obvod popsán

Více

průniku podmnožin, spojení je rovno sjednocení podmnožin a komplement je doplněk Obr. 5: Booleovy algebry

průniku podmnožin, spojení je rovno sjednocení podmnožin a komplement je doplněk Obr. 5: Booleovy algebry BOOLEOVY ALGEBRY Připomeňme si, že za Booleovu algebru považujeme každou algebru (B,,, 0, 1, ) s neprázdnou množinou B, binárními operacemi průsek, spojení, s prvky 0, 1 B a unární operací komplement,

Více

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

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

Více

Rezoluce ve výrokové logice

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

Více

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

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

Více

DIGITÁLN LNÍ OBVODY A MIKROPROCESORY 1. ZÁKLADNÍ POJMY DIGITÁLNÍ TECHNIKY

DIGITÁLN LNÍ OBVODY A MIKROPROCESORY 1. ZÁKLADNÍ POJMY DIGITÁLNÍ TECHNIKY DIGITÁLN LNÍ OBVODY A MIKROPROCESORY BDOM Prof. Ing. Radimír Vrba, CSc. Doc. Ing. Pavel Legát, CSc. Ing. Radek Kuchta Ing. Břetislav Mikel Ústav mikroelektroniky FEKT VUT @feec.vutbr.cz

Více

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

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

Více

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

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška: Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní

Více

Úvod do informatiky. Miroslav Kolařík

Úvod do informatiky. Miroslav Kolařík Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky

Více

Úvod do TI - logika Výroková logika (2.přednáška) Marie Duží

Úvod do TI - logika Výroková logika (2.přednáška) Marie Duží Úvod do TI - logika Výroková logika (2.přednáška) Marie Duží marie.duzi@vsb.cz 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íce

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

Úvod do logiky (VL): 8. Negace výroků Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 8. Negace výroků doc. PhDr. Jiří Raclavský,

Více

Základy logiky Logika a logické systémy. Umělá inteligence a rozpoznávání, LS

Základy logiky Logika a logické systémy. Umělá inteligence a rozpoznávání, LS Základy logiky 22. 4. 2015 Umělá inteligence a rozpoznávání, LS 2015 6-1 Logika je naukou, která se zabývá studiem lidského uvažování. Mezi základní úlohy logiky patří nalézání metod správného usuzování,

Více

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

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

Více

fakulty MENDELU v Brně (LDF) s ohledem na disciplíny společného základu http://akademie.ldf.mendelu.cz/cz (reg. č. CZ.1.07/2.2.00/28.

fakulty MENDELU v Brně (LDF) s ohledem na disciplíny společného základu http://akademie.ldf.mendelu.cz/cz (reg. č. CZ.1.07/2.2.00/28. Základy lineárního programování Vyšší matematika, Inženýrská matematika LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF) s ohledem

Více

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

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

Více

Základy matematiky pro FEK

Základy matematiky pro FEK Základy matematiky pro FEK 2. přednáška Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 20 Co nás dneska čeká... Závislé a nezávislé

Více

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

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

Více

Minimalizace logické funkce

Minimalizace logické funkce VYSOKÉ UČENÍ TEHNIKÉ V RNĚ FKULT ELEKTROTEHNIKY KOMUNIKČNÍH TEHNOLOGIÍ Ústav mikroelektroniky LORTORNÍ VIČENÍ Z PŘEDMĚTU Digitální integrované obvody Minimalizace logické funkce Michal Krajíček Martin

Více

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu Jiří Raclavský (214): Úvod do logiky: klasická výroková logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.7/2.2./28.216, OPVK) Úvod

Více

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.  horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 18 Příklad Necht L je jazyk obsahující

Více

Lineární algebra Operace s vektory a maticemi

Lineární algebra Operace s vektory a maticemi Lineární algebra Operace s vektory a maticemi Robert Mařík 26. září 2008 Obsah Operace s řádkovými vektory..................... 3 Operace se sloupcovými vektory................... 12 Matice..................................

Více

M - Výroková logika VARIACE

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

Více

LDF MENDELU. Simona Fišnarová (MENDELU) Základy lineárního programování VMAT, IMT 1 / 25

LDF MENDELU. Simona Fišnarová (MENDELU) Základy lineárního programování VMAT, IMT 1 / 25 Základy lineárního programování Vyšší matematika, Inženýrská matematika LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF) s ohledem

Více

7 Jemný úvod do Logiky

7 Jemný úvod do Logiky 7 Jemný úvod do Logiky Základem přesného matematického vyjadřování je správné používání (matematické) logiky a logických úsudků. Logika jako filozofická discipĺına se intenzivně vyvíjí už od dob antiky,

Více

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných 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): 5. Odvození z jiných doc. PhDr. Jiří Raclavský,

Více

PROTOKOL O LABORATORNÍM CVIČENÍ

PROTOKOL O LABORATORNÍM CVIČENÍ STŘENÍ PRŮMYSLOVÁ ŠKOL V ČESKÝH UĚJOVIÍH, UKELSKÁ 3 ÚLOH: ekodér binárního kódu na sedmisegmentový displej 0.. Zadání PROTOKOL O LORTORNÍM VIČENÍ Navrhněte a realizujte dekodér z binárního kódu na sedmisegmentovku.

Více

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

Úvod do logiky (PL): negace a ekvivalence vět mimo logický Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): negace a ekvivalence vět mimo logický čtverec

Více

Základy algoritmizace a programování

Základy algoritmizace a programování Základy algoritmizace a programování Přednáška 1 Olga Majlingová Katedra matematiky, ČVUT v Praze 21. září 2009 Obsah Úvodní informace 1 Úvodní informace 2 3 4 Organizace předmětu Přednášky 1. 5. Základní

Více

Bakalářská matematika I

Bakalářská matematika I do předmětu Mgr. Jaroslav Drobek, Ph. D. Katedra matematiky a deskriptivní geometrie Bakalářská matematika I Podmínky absolvování předmětu Zápočet Zkouška 1 účast na přednáškách alespoň v minimálním rozsahu,

Více

5. Lokální, vázané a globální extrémy

5. Lokální, vázané a globální extrémy 5 Lokální, vázané a globální extrémy Studijní text Lokální extrémy 5 Lokální, vázané a globální extrémy Definice 51 Řekneme, že f : R n R má v bodě a Df: 1 lokální maximum, když Ka, δ Df tak, že x Ka,

Více

Základy číslicové techniky z, zk

Základy číslicové techniky z, zk Základy číslicové techniky 2 + 1 z, zk Doc. Ing. Vlastimil Jáneš, CSc., K620 e-mail: janes@fd.cvut.cz K508, 5. patro, laboratoř, 2 2435 9555 Ing. Vít Fábera, K614 e-mail: fabera@fd.cvut.cz K508, 5. patro,

Více

Přijímací zkouška - matematika

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

Více

1 Základní pojmy. 1.1 Množiny

1 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

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

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

Více

1. 5. Minimalizace logické funkce a implementace do cílového programovatelného obvodu CPLD

1. 5. Minimalizace logické funkce a implementace do cílového programovatelného obvodu CPLD .. Minimalizace logické funkce a implementace do cílového programovatelného obvodu Zadání. Navrhněte obvod realizující neminimalizovanou funkci (úplný term) pomocí hradel AND, OR a invertorů. Zaznamenejte

Více

Diskrétní matematika a logika

Diskrétní matematika a logika České Vysoké Učení Technické v Praze Fakulta elektrotechnická Diskrétní matematika a logika Text k přednášce Jiří Velebil katedra matematiky APraha, 2006 velebil@math.feld.cvut.cz http://math.feld.cvut.cz/velebil

Více

ČÍSLICOVÁ TECHNIKA UČEBNÍ TEXTY

ČÍSLICOVÁ TECHNIKA UČEBNÍ TEXTY Číslicová technika- učební texty. (HS určeno pro SPŠ Zlín) Str.: - - ČÍSLIOVÁ TEHNIK UČENÍ TEXTY (Určeno pro vnitřní potřebu SPŠ Zlín) Zpracoval: ing. Kovář Josef, ing. Hanulík Stanislav Číslicová technika-

Více

Jiří Neubauer. Katedra ekonometrie FEM UO Brno

Jiří Neubauer. Katedra ekonometrie FEM UO Brno Přednáška č. 11 Katedra ekonometrie FEM UO Brno Jedná se o speciální případ dopravních úloh, řeší např. problematiku optimálního přiřazení strojů na pracoviště. Příklad Podnik má k dispozici 3 jeřáby,

Více

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

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

Více

Základy číslicové techniky. 2 + 1 z, zk

Základy číslicové techniky. 2 + 1 z, zk Základy číslicové techniky 2 + 1 z, zk Ing. Vít Fábera, K614 e-mail: fabera@fd.cvut.cz K508, 5. patro, laboratoř, 2 2435 9555 Ing. Tomáš Musil, Ph.D., K620 e-mail: musil@asix.cz K508, 5. patro, laboratoř,

Více

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

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka Celkové hodnocení BI-MLO (nevyplňujte!) Semestr Zkouška Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka BI-MLO Písemná zkouška 9. února 2016 Matematická logika FIT ČVUT v Praze Varianta B

Více

Operační výzkum. Přiřazovací problém.

Operační výzkum. Přiřazovací problém. Operační výzkum Operační program Vzdělávání pro konkurenceschopnost Název projektu: Inovace magisterského studijního programu Fakulty ekonomiky a managementu Registrační číslo projektu: CZ..7/2.2./28.326

Více

Výrok je buď pravdivý nebo nepravdivý, třetí možnost neexistuje. Výrok nemůže být současně pravdivý i nepravdivý.

Výrok je buď pravdivý nebo nepravdivý, třetí možnost neexistuje. Výrok nemůže být současně pravdivý i nepravdivý. Výroková logika. Pokud bychom měli definovat pojem logika, asi bychom nejvýstižněji mohli říci, že je to studium argumentace. Logika se snaží kodifikovat správné postupy, pomocí nichž vyvozujeme platné

Více

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

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

Více

ZÁKLADY LOGIKY A METODOLOGIE

ZÁKLADY LOGIKY A METODOLOGIE ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie

Více

2.5 Rezoluční metoda v predikátové logice

2.5 Rezoluční metoda v predikátové logice 2.5. Rezoluční metoda v predikátové logice [101104-1520] 19 2.5 Rezoluční metoda v predikátové logice Rezoluční metoda v predikátové logice je obdobná stejnojmenné metodě ve výrokové logice. Ovšem vzhledem

Více

2.7 Binární sčítačka. 2.7.1 Úkol měření:

2.7 Binární sčítačka. 2.7.1 Úkol měření: 2.7 Binární sčítačka 2.7.1 Úkol měření: 1. Navrhněte a realizujte 3-bitovou sčítačku. Pro řešení využijte dílčích kroků: pomocí pravdivostní tabulky navrhněte a realizujte polosčítačku pomocí pravdivostní

Více

1. MATEMATICKÁ LOGIKA A MNOŽINY

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

Více

α β ) právě tehdy, když pro jednotlivé hodnoty platí β1 αn βn. Danou relaci nazýváme relace

α β ) právě tehdy, když pro jednotlivé hodnoty platí β1 αn βn. Danou relaci nazýváme relace Monotónní a Lineární Funkce 1. Relace předcházení a to Uvažujme dva vektory hodnot proměnných α = α,, 1 αn ( ) a β = ( β β ) 1,, n x,, 1 xn. Říkáme, že vekto r hodnot α předchází vektor hodnot β (značíme

Více

Jazyk matematiky. 2.1. Matematická logika. 2.2. Množinové operace. 2.3. Zobrazení. 2.4. Rozšířená číslená osa

Jazyk matematiky. 2.1. Matematická logika. 2.2. Množinové operace. 2.3. Zobrazení. 2.4. Rozšířená číslená osa 2. Jazyk matematiky 2.1. Matematická logika 2.2. Množinové operace 2.3. Zobrazení 2.4. Rozšířená číslená osa 1 2.1 Matematická logika 2.1.1 Výrokový počet logická operace zapisujeme čteme česky negace

Více

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

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

Otázka 10 - Y36SAP. Zadání. Logické obvody. Slovníček pojmů. Základní logické členy (hradla)

Otázka 10 - Y36SAP. Zadání. Logické obvody. Slovníček pojmů. Základní logické členy (hradla) Otázka 10 - Y36SAP Zadání Logické obvody. Logické funkce, formy jejich popisu. Kombinační obvody a jejich návrh. Sekvenční systém jako konečný automat. Synchronní a asynchronní sekvenční obvody a jejich

Více

Úvod do informačních technologií

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

Více

Kapitola 4: Extrémy funkcí dvou proměnných 1/5

Kapitola 4: Extrémy funkcí dvou proměnných 1/5 Kapitola 4: Extrémy funkcí dvou proměnných 1/5 Lokální extrémy Definice: Necht f : M R 2 R a (x 0, y 0 ) M. Říkáme, že fce f má v bodě (x 0, y 0 ) lokální maximum (resp. lokální minimum) jestliže existuje

Více

1. Matematická logika

1. Matematická logika MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika

Více

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 2 Výroková logika pokračování Logické vyplývání

Více

Matematická logika cvi ení 47

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

Více

1 Množiny, výroky a číselné obory

1 Množiny, výroky a číselné obory 1 Množiny, výroky a číselné obory 1.1 Množiny a množinové operace Množinou rozumíme každé shrnutí určitých a navzájem různých objektů (které nazýváme prvky) do jediného celku. Definice. Dvě množiny jsou

Více

3. Grafy a matice. Definice 3.2. Čtvercová matice A se nazývá rozložitelná, lze-li ji napsat ve tvaru A =

3. Grafy a matice. Definice 3.2. Čtvercová matice A se nazývá rozložitelná, lze-li ji napsat ve tvaru A = 3 Grafy a matice Definice 32 Čtvercová matice A se nazývá rozložitelná, lze-li ji napsat ve tvaru A = A 11 A 12 0 A 22 kde A 11 a A 22 jsou čtvercové matice řádu alespoň 1 a 0 je nulová matice, anebo lze-li

Více

KMA/MDS Matematické důkazy a jejich struktura

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

Více

Sémantika výrokové logiky

Sémantika výrokové logiky Sémantika výrokové logiky Matematická logika, LS 2012/13, přednáška 4 7 Libor Běhounek www.cs.cas.cz/behounek/teaching/malog12 PřF OU, 4. 25. 3. 2013 Osnova 1 Pravdivostní hodnoty v klasické výrokové logice

Více

Gymnázium Jiřího Ortena, Kutná Hora

Gymnázium Jiřího Ortena, Kutná Hora Předmět: Náplň: Třída: Počet hodin: Pomůcky: Matematika Základní poznatky, Rovnice a nerovnice, Planimetrie 1. část 1. ročník a kvinta 4 hodiny týdně PC a dataprojektor, učebnice Základní poznatky Číselné

Více

Číselné vektory, matice, determinanty

Číselné vektory, matice, determinanty Číselné vektory, matice, determinanty Základy vyšší matematiky LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF) s ohledem na discipĺıny

Více

Sezimovo Ústí. na VOŠ. Jirka Roubal

Sezimovo Ústí. na VOŠ. Jirka Roubal Vyšší odborná škola, Střední škola, Centrum odborné přípravy Sezimovo Ústí Přednášky a příklady k předmětům na VOŠ Jirka Roubal Poslední aktualizace: 16. března 2012 Autor: Jirka Roubal Pokud v tomto textu

Více

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru: 3 Maticový počet 3.1 Zavedení pojmu matice Maticí typu (m, n, kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru: a 11 a 12... a 1k... a 1n a 21 a 22...

Více

Učební texty k státní bakalářské zkoušce Matematika Základy lineárního programování. študenti MFF 15. augusta 2008

Učební texty k státní bakalářské zkoušce Matematika Základy lineárního programování. študenti MFF 15. augusta 2008 Učební texty k státní bakalářské zkoušce Matematika Základy lineárního programování študenti MFF 15. augusta 2008 1 15 Základy lineárního programování Požadavky Simplexová metoda Věty o dualitě (bez důkazu)

Více

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

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

Více

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO ÚVOD DO INFORMATIKY VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO ÚVOD DO INFORMATIKY VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO ÚVOD DO INFORMATIKY RADIM BĚLOHLÁVEK VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM ČESKÉ

Více

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

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

Více

STRUKTURA POČÍTAČŮ JIŘÍ HRONEK, JIŘÍ MAZURA KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO

STRUKTURA POČÍTAČŮ JIŘÍ HRONEK, JIŘÍ MAZURA KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO STRUKTURA POČÍTAČŮ JIŘÍ HRONEK, JIŘÍ MAZURA VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM

Více

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

Matematické důkazy Struktura matematiky a typy důkazů Matematické důkazy Struktura matematiky a typy důkazů Petr Liška Masarykova univerzita 18.9.2014 Motto: Matematika je tvořena z 50 procent formulemi, z 50 procent důkazy a z 50 procent představivostí.

Více

B 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 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

MENDELOVA UNIVERZITA V BRNĚ LDF MT MATEMATIKA VEKTORY, MATICE

MENDELOVA UNIVERZITA V BRNĚ LDF MT MATEMATIKA VEKTORY, MATICE MENDELOVA UNIVERZITA V BRNĚ LDF MT MATEMATIKA VEKTORY, MATICE Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF) s ohledem na discipliny společného

Více

Lineární algebra. Soustavy lineárních rovnic

Lineární algebra. Soustavy lineárních rovnic Lineární algebra Operační program Vzdělávání pro konkurenceschopnost Název projektu: Inovace magisterského studijního programu Fakulty ekonomiky a managementu Registrační číslo projektu: CZ.1.07/2.2.00/28.0326

Více

PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITY PALACKÉHO KATEDRA INFORMATIKY BAKALÁŘSKÁ PRÁCE. Program na podporu výuky logiky Mgr.

PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITY PALACKÉHO KATEDRA INFORMATIKY BAKALÁŘSKÁ PRÁCE. Program na podporu výuky logiky Mgr. PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITY PALACKÉHO KATEDRA INFORMATIKY BAKALÁŘSKÁ PRÁCE Program na podporu výuky logiky 2014 Mgr. Iva Navrátilová Anotace Cílem této práce bylo prostudovat téma Výroková logika

Více

Číselné soustavy a převody mezi nimi

Číselné soustavy a převody mezi nimi Číselné soustavy a převody mezi nimi Základní požadavek na počítač je schopnost zobrazovat a pamatovat si čísla a provádět operace s těmito čísly. Čísla mohou být zobrazena v různých číselných soustavách.

Více

Definice 7.1 Nechť je dán pravděpodobnostní prostor (Ω, A, P). Zobrazení. nebo ekvivalentně

Definice 7.1 Nechť je dán pravděpodobnostní prostor (Ω, A, P). Zobrazení. nebo ekvivalentně 7 Náhodný vektor Nezávislost náhodných veličin Definice 7 Nechť je dán pravděpodobnostní prostor (Ω, A, P) Zobrazení X : Ω R n, které je A-měřitelné, se nazývá (n-rozměrný) náhodný vektor Měřitelností

Více

1.4.6 Stavba matematiky, důkazy

1.4.6 Stavba matematiky, důkazy 1.4.6 tavba matematiky, důkazy Předpoklady: 1401, 1404 Pedagogická poznámka: Tato hodina se velmi liší od většiny ostatních neboť jde v podstatě o přednášku. Také ji neprobíráme v prvním ročníku, ale přednáším

Více

Vektory a matice. Petr Hasil. Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF)

Vektory a matice. Petr Hasil. Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF) Vektory a matice Petr Hasil Přednáška z matematiky Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF) s ohledem na discipĺıny společného základu

Více

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

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

Více

Číselné soustavy: Druhy soustav: Počítání ve dvojkové soustavě:

Číselné soustavy: Druhy soustav: Počítání ve dvojkové soustavě: Přednášející : Ing. Petr Haberzettl Zápočet : práce na doma hlavně umět vysvětlit Ze 120 lidí udělá maximálně 25 :D Literatura : Frištacký - Logické systémy Číselné soustavy: Nevyužíváme 10 Druhy soustav:

Více

LOGICKÉ OBVODY J I Ř Í K A L O U S E K

LOGICKÉ OBVODY J I Ř Í K A L O U S E K LOGICKÉ OBVODY J I Ř Í K A L O U S E K Ostrava 2006 Obsah předmětu 1. ČÍSELNÉ SOUSTAVY... 2 1.1. Číselné soustavy - úvod... 2 1.2. Rozdělení číselných soustav... 2 1.3. Polyadcké číselné soustavy... 2

Více