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:

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:

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