Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

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ů:
Platnost dat k 27. 3. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet25028105.html