Logika

Přednášející:

Pavel Andres (gar.), Wendy Drozenová (gar.), Tomáš Holeček (gar.)

Cvičící:

Pavel Andres (gar.), Wendy Drozenová (gar.), Tomáš Holeček (gar.)

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:

Tematické okruhy:

-Úsudek a logická dedukce

-Výroková logika

-Jazyk predikátové logiky 1. řádu

Tematický plán výuky:

-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

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ě jazyka matematiky. Srovnat některé typické rysy tohoto jazyka s přirozeným jazykem na pozadí inženýrského úsudku.

Studijní materiály:

Učební text je dostupný na stránce www.ojrech.cz/logika, tamtéž najdete vzorové úlohy.

Poznámka:

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

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ů: