Univerzitní knihovna OU - Úplné zobrazení záznamu

1. Pojmy a vztahy mezi nimi 9 // 1.1 Úvod 9 // 1.2 Konkrétní a abstraktní 11 // 1.3 Konkrétnost a abstraktnost v matematice 12 // 1.4 Pojem 16 // 1.4.1 Obsah a rozsah pojmu 17 // 1.4.2 Syntéza a analýza 20 // 1.4.3 Vztahy mezi pojmy 21 // 2. Matematický objekt a jeho název 28 // 2.1 Abstraktnost matematického objektu a kon- // krétnost jeho názvu 28 // 2.2 Je zlomek číslo ? 36 // 2.3 Jeden zdroj školáckých chyb 40 // 2.4 Pojem rovnosti v matematice 43 // 2.5 Pojem ekvivalence 53 // 2.6 Pojem identity v logice 59 // 3. Matematický jazyk 61 // 3.1 Co je to jazyk 61 // 3.2 Jazyk školské matematiky 63 // 3.3 Gramatika matematického jazyka 68 // 3.4 Proměnná 72 // 3.5 Matematický výraz 77 // 3.6 Otázky terminologické 84 // 3.6.1 Synonymní názvy 85 // 3.6.2 Problémy překladu 89 // 3.6.3 Mnohoznačnost a neurčitost názvů - 91 // 4. Úvod do výrokové a predikátové logiky 95 // 4.1 Co je to výrok 95 // 4.2 Logické operace 98 // 74.3 Negace 105 // 4.4 Konjunkce 109 // 4.5 Disjunkce 111 // 4.6 Implikace 114 // 4.7 Ekvivalence 118 // 4.8 Ekvivalentní výroky 121 // 4.9 Negování složených výroků 129 // 4.10 Výroková forma neboli výroková funkce- 132 // 4.11 Operace s výrokovými formami 139 // 4.12 Kvantifikace 143 // 4.13 Souhrn 148 // 5. Deduktivní stavba matematiky 150 // 5.1 Nedefinovaná slova 150 // 5.2 Definovaná slova 153 // 5.3 Axiómy 155 // 5.4 Metody důkazu 158 // 5.4.1 Důkaz v matematice 159 // 5.4.2 Použití obecné věty к důkazu jednot- // livého případu 165 // 5.4.3 Důkaz výčtem všech možných // případů 165 // 5.4.4 Přímý důkaz 168 // 5.4.5 Nepřímý důkaz 169 // 5.4.6 Protipříklad 171 // 5.4.7 Matematická indukce 172 // Výsledky 178 // Matematické symboly 194 // Rejstřík 197

Anotace

Annotation