Téma 1 - Matematická logika - konzultace - 5.12.
Abschnittsübersicht
-
Téma 1 – Matematická logika
Pojmy, definice, věty: matematický výraz, konstanta, proměnná, axióm, definice, věta, výrok, výroková forma, hypotéza, pravdivostní hodnota, tabulka pravdivostních hodnot, logické spojky, nutná a postačující podmínka, kvantifikátory, negování složených výroků, číslo, číslice, číselné soustavy, dekadický poziční systém, prvočísla a čísla složená, základní věta aritmetiky, násobek, dělitel, nejmenší společný násobek a největší společný dělitel, čísla soudělná a nesoudělná, kritéria dělitelnosti, důkazy matematických vět, věty existenční, všeobecné, unicita, důkaz přímý, nepřímý, důkaz sporem, Dirichletův princip, důkaz matematickou indukcí, důkazové úlohy o dělitelnosti, zbytkové třídy modulo, kongruence, malá Fermatova věta.
Důkazy: kritéria dělitelnosti dvěma až deseti, Euklidův důkaz o nekonečnosti množiny všech prvočísel