Předmět Jazyk a metody matematiky (KMA / JMM)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMA / JMM - Jazyk a metody matematiky, Fakulta aplikovaných věd, Západočeská univerzita v Plzni (ZČU).

Materiál	Typ	Datum	Počet stažení

Obsah

1. týden: Úvod; nezbytnost formalizace úvah a důkazových prostředků; ukázka a rozbor různých chybných argumentů na příkladech;2. týden: Výroková logika;3. týden: Predikátová logika - základy;4. týden: Predikátová logika - dokončení;5. týden: Základní typy důkazů - vysvětlení principu;6. týden: Procvičení základních typů důkazů; množiny; reálná čísla;7. týden: Vybrané věty matematické analýzy a algebry pod drobnohledem z hlediska struktury;8. týden: Podrobný rozbor některých důkazů z jiných matematických předmětů;9. týden: Logiká výstavba matematiky;10. týden: Procvičení logické výstavby matematiky vybudováním nějaké jednoduché teorie;11. týden: Diskuse na téma intuice a experiment v matematice; publikování výsledků a vědecká etika;12. týden: Počítačové experimenty v matematice a experimentální matematika;13. týden: Rigorózní počítačové důkazy. Opakování.Bližší informace a studijní materiály jsou dostupné na serveru http://analyza.kma.zcu.cz.

Získané způsobilosti

Úspěšný absolvent tohoto předmětu bude schopen především:1. Číst matematický text; 2. Umět pracovat s logickými výroky;3. Chápat rozdíl mezi axiomem, definicí, větou a hypotézou;4. Umět rozlišit a používat základní typy důkazových technik.

Literatura

R.M. Smulyan. Jak se jmenuje tahle knížka. Praha, 1986. R. Thiele. Matematické důkazy. SNTL, Praha, 1986. J. Polák. Přehled středoškolské matematiky. Prometheus, Praha, 2000.

Požadavky

Schopnost číst matematický text; provádět úpravy složených a kvantifikovaných výroků;umět rozlišit a používat základní typy důkazových technik; odhalit chybu v argumentaci.

Garant

Doc. Ing. Petr Girg, Ph.D.

Vyučující

Doc. Ing. Petr Girg, Ph.D.