Logika
Předmět není vypsán Nerozvrhuje se
Kód | Zakončení | Kredity | Rozsah |
---|---|---|---|
11LGI | Z | 0 | 1+0 |
- Garant předmětu:
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra aplikované matematiky
- Anotace:
-
Úloha logiky jako metody odůvodněného usuzování a zvláště matematického myšlení. Základy klasické výrokové logiky a logiky predikátů a jejich využití v praxi. Logická struktura matematiky jako axiomatického systému. Úloha definic a struktura důkazů v matematice. Perspektivy dalšího vývoje logiky.
- Požadavky:
- Osnova přednášek:
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
- Poznámka:
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů: