Tato bakalářská práce je zaměřena na zpracování základních poznatků z teorie množin a množinových operací. První část práce je zaměřená na definování práce s výroky a výrokovými formulemi, které jsou základním kamenem pro práci s množinami. Využití pravdivostních tabulek umožňuje názorné zobrazení vztahů mezi výroky a výrokovými formulemi.
Následující kapitoly se zabývají teorií množin, jejich vztahy popsanými pomocí symbolů a operátorů i názorně pomocí Vennových diagramů.
Poslední kapitola zahrnuje praktické příklady využití nabytých poznatků.
Anotace v angličtině
This bachelor's thesis is focused on processing basic knowledge from set theory and set operations. The first part of the work is focused on defining work with statements and statement formulas, which are the cornerstone for working with sets. The use of truth tables enables a visual display of relations between propositions and propositional formulas.
The following chapters deal with the theory of sets, their relationships described using symbols and operators and illustrated using Venn diagrams.
The last chapter includes practical examples of the use of acquired knowledge.
Klíčová slova
výroky, výroková logika, množiny, vlastnosti množin, zobrazení množin, operace s množinami, Vennovy diagramy
Klíčová slova v angličtině
propositions, propositional logic, sets, set properties, set representations, set operations, Venn diagrams
Rozsah průvodní práce
59 s. (55 500)
Jazyk
CZ
Anotace
Tato bakalářská práce je zaměřena na zpracování základních poznatků z teorie množin a množinových operací. První část práce je zaměřená na definování práce s výroky a výrokovými formulemi, které jsou základním kamenem pro práci s množinami. Využití pravdivostních tabulek umožňuje názorné zobrazení vztahů mezi výroky a výrokovými formulemi.
Následující kapitoly se zabývají teorií množin, jejich vztahy popsanými pomocí symbolů a operátorů i názorně pomocí Vennových diagramů.
Poslední kapitola zahrnuje praktické příklady využití nabytých poznatků.
Anotace v angličtině
This bachelor's thesis is focused on processing basic knowledge from set theory and set operations. The first part of the work is focused on defining work with statements and statement formulas, which are the cornerstone for working with sets. The use of truth tables enables a visual display of relations between propositions and propositional formulas.
The following chapters deal with the theory of sets, their relationships described using symbols and operators and illustrated using Venn diagrams.
The last chapter includes practical examples of the use of acquired knowledge.
Klíčová slova
výroky, výroková logika, množiny, vlastnosti množin, zobrazení množin, operace s množinami, Vennovy diagramy
Klíčová slova v angličtině
propositions, propositional logic, sets, set properties, set representations, set operations, Venn diagrams
Zásady pro vypracování
1. Zaměřit se na teoretické znalosti množin
2. Zaměřit se na základní operace s množinami s využitím predikátové a výrokové logiky včetně praktických příkladů
Zásady pro vypracování
1. Zaměřit se na teoretické znalosti množin
2. Zaměřit se na základní operace s množinami s využitím predikátové a výrokové logiky včetně praktických příkladů
Seznam doporučené literatury
BALCAR, Bohuslav. Teorie množin. Vyd. 2., opr. a rozš. Praha: Academia, 2001. 462 s.
BEČVÁŘ, Jindřich. Seznamujeme se s množinami. Vyd. 1. Praha: SNTL, 1982. 176 s. Polytechnická knižnice. Ř. 2., Příručky, Sv. 94.
FUCHS, Eduard. Teorie množin pro učitele. Vyd. 1. Brno: Masarykova univerzita, 1999. 200 s.
Seznam doporučené literatury
BALCAR, Bohuslav. Teorie množin. Vyd. 2., opr. a rozš. Praha: Academia, 2001. 462 s.
BEČVÁŘ, Jindřich. Seznamujeme se s množinami. Vyd. 1. Praha: SNTL, 1982. 176 s. Polytechnická knižnice. Ř. 2., Příručky, Sv. 94.
FUCHS, Eduard. Teorie množin pro učitele. Vyd. 1. Brno: Masarykova univerzita, 1999. 200 s.