Prednášky: Algebra a diskrétna matematika
Skryť detaily | Obľúbený- Kvalita:89,2 %
- Typ:Prednášky
- Univerzita:Slovenská technická univerzita v Bratislave
- Fakulta:Fakulta informatiky a informačných technológií
- Kategória:Technika
- Podkategória:Informatika
- Predmet:Algebra a diskrétna matematika
- Ročník:1. ročník
- Rozsah A4:62 strán
- Zobrazené:2 621 x
- Stiahnuté:6 x
- Veľkosť:0,4 MB
- Formát a prípona:PDF dokument (.pdf)
- Jazyk:slovenský
- ID projektu:10668
- Posledna úprava:11.06.2019
Význam dôkazu v matematike
V matematike, podobne ako aj v informatike, vystupujú do popredia dve otázky:
(1) Za akých podmienok je matematický argument korektný a
(2) aké metódy môžu byť použité pri konštrukcii matematických argumentov.
Veta (teorém, výrok, skutočnosť, fakt, alebo výsledok) je výrok o ktorom môže byť ukázané, že je pravdivý.
Dôkaz vety - je postupnosť argumentov, ktoré sú odvodené buď z množiny jednoduchých argumentov - postulátov, nazývaných axiómy, alebo z predchádzajúcich argumentov (pomocných viet, často nazývané lemy) danej postupnosti.
Postupnosť argumentov môže byť podstatne skrátená, keď bude obsahovať už dokázané vety, ktoré sú založené na rovnakej množine axióm.
V matematike, podobne ako aj v informatike, vystupujú do popredia dve otázky:
(1) Za akých podmienok je matematický argument korektný a
(2) aké metódy môžu byť použité pri konštrukcii matematických argumentov.
Veta (teorém, výrok, skutočnosť, fakt, alebo výsledok) je výrok o ktorom môže byť ukázané, že je pravdivý.
Dôkaz vety - je postupnosť argumentov, ktoré sú odvodené buď z množiny jednoduchých argumentov - postulátov, nazývaných axiómy, alebo z predchádzajúcich argumentov (pomocných viet, často nazývané lemy) danej postupnosti.
Postupnosť argumentov môže byť podstatne skrátená, keď bude obsahovať už dokázané vety, ktoré sú založené na rovnakej množine axióm.