Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
01ML Matematická logika Rozsah výuky:2+1
Přednášející (garant):Demlová M., Kalousová A., Nentvich L., Tišer J. Typ předmětu:Z Zakončení:Z,ZK
Zodpovědná katedra:301 Kreditů:3 Semestr:L

Anotace:
Symbolická logika, výrokový počet. Booleovy algebry. Predikátový počet, věta o úplnosti.

Osnovy přednášek:
1. Množiny a zobrazení
2. Množiny stejné mohutnosti
3. Binární relace na množinách. Grafy a stromy
4. Uspořádání, ekvivalence, relace nad množinami
5. Výroková algebra a její ohodnocení. Tautologie a kontradikce
6. Sémantický důsledek
7. Splnitelnost a nesplnitelnost formulí
8. Základní a odvozené výrokové spojky
9. Disjunktivní, resp. konjunktivní normální formy
10. Resoluce ve výrokové logice
11. Dokazatelnost formule z předpokladů. Přirozená dedukce
12. Neformalizovaná predikátová logika
13. Predikátová algebra. Interpretace

Osnovy cvičení:
1. Množiny a zobrazení
2. Množiny stejné mohutnosti
3. Binární relace na množinách. Grafy a stromy
4. Uspořádání, ekvivalence, relace nad množinami
5. Výroková algebra a její ohodnocení. Tautologie a kontradikce
6. Sémantický důsledek
7. Splnitelnost a nesplnitelnost formulí
8. Základní a odvozené výrokové spojky
9. Disjunktivní, resp. konjunktivní normální formy
10. Resoluce ve výrokové logice
11. Dokazatelnost formule z předpokladů. Přirozená dedukce
12. Neformalizovaná predikátová logika
13. Predikátová algebra. Interpretace

Literatura Č:
[1] Demlová, M., Pondělíček, B.: Matematická logika. Skripta ČVUT, Praha 1997.

Literatura A:
[1] M. Demlová: Mathematical Logic. ČVUT Praha, 1999.

Požadavky:

Rozsah výuky v kombinované formě studia: 12+2
Typ cvičení: s
Předmět je nabízen i v anglické verzi.

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
*SELBE Silnoproudá elektrotechnika ZE Není
*DBEB Elektronika a sdělovací technika ZE Není
*VTBEB Výpočetní technika ZE Není
*SELBEB Silnoproudá elektrotechnika ZE Není
*KBEB Kybernetika a měření ZE Není
*VTBE Výpočetní technika ZE Není
*DBE Elektronika a sdělovací technika ZE Není
*KBE Kybernetika a měření ZE Není
*DZE Elektronika a sdělovací technika Z 2
*ZBB Před zařazením do oboru Z 2
*ZB Před zařazením do oboru Z 2
*VTZE Výpočetní technika Z 2
*SELZE Silnoproudá elektrotechnika Z 2
*KZE Kybernetika a měření Z 2


Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)