Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

Logika

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah
11LGI Z 0 1+0
Přednášející:
Cvičící:
Předmět zajišťuje:
ústav 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ů:
Platnost dat k 18. 10. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet25028105.html