| Název předmětu | Vybrané kapitoly z logiky |
|---|---|
| Kód předmětu | KMT/KVKLQ |
| Organizační forma výuky | Přednáška + On-line aktivity |
| Úroveň předmětu | Bakalářský |
| Rok studia | nespecifikován |
| Semestr | Letní |
| Počet ECTS kreditů | 2 |
| Vyučovací jazyk | Čeština |
| Statut předmětu | nespecifikováno |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Vyučující |
|---|
|
| Obsah předmětu |
|
V kurzu se buduje predikátový kalkul (kvantifikátory, formule, tautologie) a dále pojem matematická teorie (jazyk, axiómy, věty, definice, důkazy matematických vět).
|
| Studijní aktivity a metody výuky |
| Monologická (výklad, přednáška, instruktáž) |
| Výstupy z učení |
|
Cílem kurzu je prohloubit znalosti matematické logiky.
Orientace v oblasti matematické logiky. |
| Předpoklady |
|
Algebra 1.
|
| Hodnoticí metody a kritéria |
|
Seminární práce
Porozumět matematickým teoriím jako takovým, umět využívat teoretických poznatků o důkazech. |
| Doporučená literatura |
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr |
|---|