Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Výstupy z učení

Student bude po absolvování předmětu schopen:
- definovat důležité pojmy výrokové logiky a predikátové logiky.
- převádět výroky z přirozeného jazyka do jazyka logiky.
- aplikovat získané poznatky na konkrétních příkladech.

Výukové metody

Přednáška s aktivizací

Metody hodnocení

Zápočet: Povinná účast na přednáškách min. 75 %. Studenti denního studia píšou na cvičení dva zápočtové testy – 20 bodů každý. Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Výstupy z učení

Student bude po absolvování předmětu schopen:
- definovat důležité pojmy výrokové logiky a predikátové logiky.
- převádět výroky z přirozeného jazyka do jazyka logiky.
- aplikovat získané poznatky na konkrétních příkladech.

Výukové metody

Přednáška s aktivizací

Metody hodnocení

Zápočet: Povinná účast na přednáškách min. 75 %. Studenti denního studia píšou na cvičení dva zápočtové testy – 20 bodů každý. Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Výstupy z učení

Student bude po absolvování předmětu schopen:
- definovat důležité pojmy výrokové logiky a predikátové logiky.
- převádět výroky z přirozeného jazyka do jazyka logiky.
- aplikovat získané poznatky na konkrétních příkladech.

Výukové metody

Přednáška s aktivizací

Metody hodnocení

Zápočet: Povinná účast na přednáškách min. 75 %. Studenti denního studia píšou na cvičení dva zápočtové testy – 20 bodů každý. Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Výstupy z učení

Student bude po absolvování předmětu schopen:
- definovat důležité pojmy výrokové logiky a predikátové logiky.
- převádět výroky z přirozeného jazyka do jazyka logiky.
- aplikovat získané poznatky na konkrétních příkladech.

Výukové metody

Přednáška s aktivizací

Metody hodnocení

Zápočet: Povinná účast na přednáškách min. 75 %. Studenti denního studia píšou na cvičení dva zápočtové testy – 20 bodů každý. Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Výstupy z učení

Student bude po absolvování předmětu schopen:
- definovat důležité pojmy výrokové logiky a predikátové logiky.
- převádět výroky z přirozeného jazyka do jazyka logiky.
- aplikovat získané poznatky na konkrétních příkladech.

Výukové metody

Přednáška s aktivizací

Metody hodnocení

Zápočet: Povinná účast na přednáškách min. 75 %. Studenti denního studia píšou na cvičení dva zápočtové testy – 20 bodů každý. Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Výstupy z učení

Student bude po absolvování předmětu schopen:
- definovat důležité pojmy výrokové logiky a predikátové logiky.
- převádět výroky z přirozeného jazyka do jazyka logiky.
- aplikovat získané poznatky na konkrétních příkladech.

Výukové metody

Přednáška s aktivizací

Metody hodnocení

Zápočet: Povinná účast na přednáškách min. 75 %. Studenti denního studia píšou na cvičení dva zápočtové testy – 20 bodů každý. Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Výstupy z učení

Student bude po absolvování předmětu schopen:
- definovat důležité pojmy výrokové logiky a predikátové logiky.
- převádět výroky z přirozeného jazyka do jazyka logiky.
- aplikovat získané poznatky na konkrétních příkladech.

Výukové metody

Přednáška s aktivizací

Metody hodnocení

Zápočet: Povinná účast na přednáškách min. 75 %. Studenti denního studia píšou na cvičení dva zápočtové testy – 20 bodů každý. Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.