Logika

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra inženýrské pedagogiky

Anotace:

Inženýrský úsudek a logická dedukce, jazyk výrokové logiky, řešení logických úkolů zadaných v tomto jazyku, jazyk predikátové logiky 1. řádu, řešení logických úkolů zadaných v jazyku predikátové logiky.

Požadavky:

nestanoveny

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Cílem předmětu je vyložit logický základ odůvodněného usuzování přesného jazyka, zvláště jezyka matematiky. Srovnat některé typické rysy tohoto jazyka s přirozeným jazykem na pozadí inženýrského úsudku.

Studijní materiály:

Holeček, T.: Úvod do logiky. (učební text), dostupné na www.ojrech.cz/logika. Vzorové úlohy tamtéž.

Poznámka:

Konzultace: po 13:00 - 14:00 (FHS UK, U kříže 8, P5, č. 5015)

Další informace:

www.ojrech.cz/logika

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů: