1. Základy dvouhodnotové logiky, logické spojky, ohodnocování formulí ve výrokovém i predikátovém počtu, principy a metody dokazování matematických vět - přímý důkaz, důkaz sporem, matematická indukce 2. Binární relace mezi množinami a na množině. Operace s binárními relacemi, skládání relací, relační inverze, vlastnosti binárních relací na množině a jejich charakterizace. Relace ekvivalence na množině, indukovaný rozklad. Relace uspořádání na množině - Hasseho diagram, největší, nejmenší prvky 3. Relace zobrazení mezi množinami, základní vlastnosti - surjektivnost, injektivnost, skládání zobrazení, existence inverzního zobrazení, permutace na množině 4. Binární operace na množině a její vlastnosti - komutativita, asociativita, neutrální a inverzní prvky. Základní algebraické struktury, s jednou binární operací - pologrupy, monoidy, grupy, a se dvěma binárními operacemi - okruhy, tělesa, svazy 5. Aritmetický vektorový prostor - konstrukce, lineární závislost a nezávislost vektorů, báze a dimenze, podprostory a jejich struktura 6. Skalární součin v aritmetickém vektorovém prostoru - délka a úhel vektorů, ortogonalita vektorů, ortogonální podprostory, Gramm - Schmidtův ortonormalizační proces 7. Úvod do maticového počtu - typy matic, symbolika, rovnost matic, operace s maticemi, součet, skalární násobek, součin, maticová mocnina, maticová transpozice, okruh čtvercových matic 8. Elementární řádkové transformace, řádkový podprostor matice, Gaussův tvar matice, hodnost matice a její vlastnosti 9. Znaménko permutací, rozklad na transpozice, výpočet determinantu, vlastnosti determinantu plynoucí z definice, determinanty matic ve speciálních tvarech, Laplaceův rozvoj determinantu a jeho důsledky 10. Inverzní matice, existence, 2 způsoby výpočtu - pomocí algebraických doplňků, pomocí elementárních řádkových transformací, vlastnosti maticové inverze 11. Soustavy lineárních rovnic - označení, pojmy, řešitelnost, Gaussova eliminace, Cramerovo pravidlo, aplikace inverzní matice při řešení soustav lineárních rovnic, homogenní soustavy lineárních rovnic, prostor řešení, fundamentální systém řešení 12. Spektrální analýza matic - podobnost matic a její důsledky, kritérium pro posouzení podobnosti matic, charakteristický polynom, vlastní čísla matice a jejich vlastnosti, spektrum matice, vlastní vektory, kořenový podprostor příslušný vlastnímu číslu, Jordanův kanonický tvar matice
|