FI:IV028 Zákl. pojmy obecné logiky - Informace o předmětu

IV028 Základní pojmy obecné logiky

Rozsah

2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. PhDr. Pavel Materna, CSc. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.

Rozvrh

Čt 10:00–11:50 B204

Předpoklady

! I028 Zákl. pojmy obecné logiky

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-SO)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS)
• Výpočetní technika (program FI, B-IN)

Cíle předmětu

Výklad základních pojmů z dějin logiky,základů výrokové a predikátové logiky, obecné informace o stavu soudobé logiky.

Osnova

• A semantic characteristics of logic. Traditional, symbolic / mathematical logic, philosophical logic. A brief overview of the history of logic. A general characteristics of classical logic. Propositional (truth-functional) logic, propositional calculus. Definition of calculus. Consistency / correctness, completeness, decidability. Truth-functional tautologies. Propositional entailment. Formal proof. Meta-theorem of deduction. Complete disjunctive and conjunctive normal forms. Predicate logic. The notion of order. 1st order predicate logic. Interpretation of a formal system of 1st order predicate logic. Satisfaction, satisfiability, truth in the interpretation, validity (logical truth), logical & analytic entailment. The notion of a model. Fragment: categorical syllogism. Functions, identity, individual descriptions. 2nd order predicate logic. A theory of types. Non-classical logics. Many-valued, modal, intensioonal logics.

Literatura

• ŠTĚPÁN, Jan. Formální logika. 2. přeprac. vyd. Olomouc: FIN, 1995, 109 s. ISBN 80-7182-004-0. info

Metody hodnocení

Přednáška bez cvičení. Na závěr zkouška.Zkouska se sklada z pisemneho vyreseni prikladu z predikatove logiky (zamereni: semanticke pojmy, duraz na vyplyvani) a z pohovoru o teoretickych zakladech vychazejiciho z prednasky a doporucene literatury.

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (podzim 2005, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2005/IV028