Statement, variable and constant. Truth values. Equivalent statements, tautology, contradiction. Quantifiers. Negation. Operations with statements.
Intuitive approach to sets. Equality of sets, inclusion. Basic operations with sets. Subsets and their systems. Decomposition of a set.
Number sets: Natural numebrs and mathematics induction; integers, divisibility in the set of integers; real and complex numbers, their line and plane representations.
Binary relations over a set and their properties, esp. equivalence and order. Mappings of sets and their properties.
Binary operations on a set and their basic properties. Basic algebraic structures (group, number field) and their properties.
Algebraic equality and inequality. Algebraic equation and inequation, their solvability and solution in simpler cases.
Last update: Novotná Jarmila, prof. RNDr., CSc. (10.09.2020)
V předmětu budou probírána tato témata:
Výrok, proměnná a konstanta, výroková forma, její definiční obor a obor pravdivosti.
Složené výroky a výrokové formy, určování pravdivostních hodnot u složených výroků.
Ekvivalentní výroky, tautologie, kontradikce.
Výroky s obecným a existenčním kvantifikátorem, jejich negace.
Intuitivní přístup k pojmu množina, prvek množiny a systém množin.
Rovnost množin a inkluze. Základní množinové operace. Systém podmnožin dané množiny, rozklad množiny na bloky (třídy).
Číselné množiny: Přirozená čísla a matematická indukce; celá čísla, dělitelnost v oboru celých čísel; reálná a komplexní čísla, jejich znázornění na přímce a v rovině
Binární relace na množině, vlastnosti binárních relací, spec. ekvivalence a uspořádání na množině. Zobrazení množiny do množiny a jeho vlastnosti.
Binární operace na množině a základní vlastnosti operací. Základní algebraické struktury (grupa, číselné těleso) a jejich vlastnosti.
Algebraická rovnost a nerovnost. Algebraická rovnice a nerovnice, jejich řešitelnost a řešení v jednodušších případech.
V případě přechodu na distanční výuku z důvodu nemožnosti konat prezenční výuku na fakultě:
a) bude posílena distanční složka výuky formou dodatečných úkolů zadávaných e-mailem nebo v Moodle - podrobnější informace budou představeny při prvním distančním setkání;
b) bude organizována online výuka v Adobe Connect nebo MS Teams, přičemž bude vyžadována aktivní účast na této výuce, jejímž předpokladem je přítomnost kamery a mikrofonu na straně studenta.
Online výuka bude probíhat v době, kdy je plánována v rozvrhu. Adresa: https://el.lf1.cuni.cz/jn/
Last update: Novotná Jarmila, prof. RNDr., CSc. (29.09.2020)