155-0033/01 – Základy formální logiky ()

Garantující katedraKatedra aplikované informatikyKredity2
Garant předmětuRNDr. Jaroslav BěčákGarant verze předmětuRNDr. Jaroslav Běčák
Úroveň studiapregraduální nebo graduálníPovinnostpovinně volitelný
Ročník4Semestr
Jazyk výukyčeština
Rok zavedení1990/1991Rok zrušení2000/2001
Určeno pro fakultyUrčeno pro typy studia
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zápočet 1+1

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

Vyučovací metody

Anotace

Seznámení se základy matematické logiky. Samostatné vystoupení studenta k níže uvedené problematice. Výroková logika. Výrok, jednoduchý a složený výrok. Přehled spojek výrokové logiky. Jazyk výrokové logiky, abeceda, gramatika. Sémantika výrokové logiky. Pravdivostní ohodnocení. Tautologie. Normální formy. Predikátorová logika. Jazyk predikátové logiky. Abeceda, gramatika. Převod z přirozeného do symbolického jazyka. Sémantika predikátové logiky. Tautologie predikátové logiky. Přirozená dedukce. Logický kalkul. Jazyk. Odvozovací pravidla. Dedukce. Důkaz formule. Přirozená dedukce pro výrokovou logiku. Přirozená dedukce pro predikátovou logiku.

Povinná literatura:

Štěpán, J.: Klasická logika. VUP, Olomouc 2001. Štěpán, J.: Logika a logické systémy. VOTOBIA, Olomouc 1992. Tarski, A.: Úvod do logiky. Academia, Praha 1969.

Doporučená literatura:

Forma způsobu ověření studijních výsledků a další požadavky na studenta

E-learning

Další požadavky na studenta

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

Podmínky absolvování předmětu

Prezenční forma (platnost od: 1960/1961 letní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodůMax. počet pokusů
Zápočet Zápočet 85  0 3
Rozsah povinné účasti:

Zobrazit historii

Podmínky absolvování předmětu a účast na cvičeních v rámci ISP:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2005/2006 (M6208) Ekonomika a management (6208T086) Podniková ekonomika a management P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6208) Ekonomika a management (6208T037) Management (02) Management P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6208) Ekonomika a management (6208T062) Marketing a obchod (01) Marketing a obchod P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6208) Ekonomika a management (6208T011) Ekonomika a právo v podnikání P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6209) Systémové inženýrství a informatika (6209T025) Systémové inženýrství a informatika P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6202) Hospodářská politika a správa (6202T055) Veřejná ekonomika a správa P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6202) Hospodářská politika a správa (6210T004) Eurospráva (01) Eurospráva P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6202) Hospodářská politika a správa (6202T010) Finance P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6202) Hospodářská politika a správa (6202T027) Národní hospodářství P čeština Ostrava 4 povinně volitelný stu. plán
2005/2006 (M6202) Hospodářská politika a správa (6202T040) Regionální rozvoj (01) Regionální rozvoj P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6202) Hospodářská politika a správa (6202T027) Národní hospodářství P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6202) Hospodářská politika a správa (6202T010) Finance P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6202) Hospodářská politika a správa (6210T004) Eurospráva (01) Eurospráva P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6202) Hospodářská politika a správa (6202T055) Veřejná ekonomika a správa P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6202) Hospodářská politika a správa (6202T040) Regionální rozvoj (01) Regionální rozvoj P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6208) Ekonomika a management (6208T011) Ekonomika a právo v podnikání P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6208) Ekonomika a management (6208T086) Podniková ekonomika a management P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6208) Ekonomika a management (6208T062) Marketing a obchod (01) Marketing a obchod P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6208) Ekonomika a management (6208T037) Management (02) Management P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6209) Systémové inženýrství a informatika (6209T025) Systémové inženýrství a informatika P čeština Ostrava 4 povinně volitelný stu. plán
2004/2005 (M6209) Systémové inženýrství a informatika (6201T004) Ekonomie P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6202) Hospodářská politika a správa (6202T027) Národní hospodářství P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6202) Hospodářská politika a správa (6202T010) Finance P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6202) Hospodářská politika a správa (6210T004) Eurospráva (01) Eurospráva P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6202) Hospodářská politika a správa (6202T055) Veřejná ekonomika a správa P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6202) Hospodářská politika a správa (6202T040) Regionální rozvoj (01) Regionální rozvoj P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6208) Ekonomika a management (6208T011) Ekonomika a právo v podnikání P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6208) Ekonomika a management (6208T086) Podniková ekonomika a management P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6208) Ekonomika a management (6208T062) Marketing a obchod (01) Marketing a obchod P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6208) Ekonomika a management (6208T037) Management (02) Management P čeština Ostrava 4 povinně volitelný stu. plán
2003/2004 (M6209) Systémové inženýrství a informatika (6209T025) Systémové inženýrství a informatika P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6202) Hospodářská politika a správa (6202T027) Národní hospodářství P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6202) Hospodářská politika a správa (6202T010) Finance P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6202) Hospodářská politika a správa (6210T004) Eurospráva (01) Eurospráva P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6202) Hospodářská politika a správa (6202T055) Veřejná ekonomika a správa P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6202) Hospodářská politika a správa (6202T040) Regionální rozvoj (01) Regionální rozvoj P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6208) Ekonomika a management (6208T011) Ekonomika a právo v podnikání P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6208) Ekonomika a management (6208T086) Podniková ekonomika a management P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6208) Ekonomika a management (6208T062) Marketing a obchod (01) Marketing a obchod P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6208) Ekonomika a management (6208T037) Management (02) Management P čeština Ostrava 4 povinně volitelný stu. plán
2002/2003 (M6209) Systémové inženýrství a informatika (6209T025) Systémové inženýrství a informatika P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6202) Hospodářská politika a správa (6202T027) Národní hospodářství P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6202) Hospodářská politika a správa (6202T010) Finance P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6202) Hospodářská politika a správa (6210T004) Eurospráva (01) Eurospráva P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6202) Hospodářská politika a správa (6202T055) Veřejná ekonomika a správa P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6202) Hospodářská politika a správa (6202T040) Regionální rozvoj (01) Regionální rozvoj P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6208) Ekonomika a management (6208T011) Ekonomika a právo v podnikání P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6208) Ekonomika a management (6208T086) Podniková ekonomika a management P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6208) Ekonomika a management (6208T062) Marketing a obchod (01) Marketing a obchod P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6208) Ekonomika a management (6208T037) Management (02) Management P čeština Ostrava 4 povinně volitelný stu. plán
2001/2002 (M6209) Systémové inženýrství a informatika (6209T025) Systémové inženýrství a informatika P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6202) Hospodářská politika a správa (6202T027) Národní hospodářství P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6202) Hospodářská politika a správa (6202T010) Finance P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6202) Hospodářská politika a správa (6210T004) Eurospráva (01) Eurospráva P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6202) Hospodářská politika a správa (6202T055) Veřejná ekonomika a správa P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6208) Ekonomika a management (6208T011) Ekonomika a právo v podnikání P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6208) Ekonomika a management (6208T086) Podniková ekonomika a management P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6208) Ekonomika a management (6208T062) Marketing a obchod (01) Marketing a obchod P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6208) Ekonomika a management (6208T037) Management (02) Management P čeština Ostrava 4 povinně volitelný stu. plán
2000/2001 (M6209) Systémové inženýrství a informatika (6209T025) Systémové inženýrství a informatika P čeština Ostrava 4 povinně volitelný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku

Hodnocení Výuky

Předmět neobsahuje žádné hodnocení.