Fakulta elektrotechnická

České vysoké učení technické v Praze

ČVUT v Praze

Popis předmětu - AE0B01LGR

Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
AE0B01LGR Logic and Graph Theory Rozsah výuky:3+2
Garanti:  Role:P,V Zakončení:Z,ZK
Vyučující: 
Zodpovědná katedra:13101 Kreditů:6 Semestr:L

Anotace:

The course covers basics of logic and theory of graphs. Propositional logic contains: truth validation, semantical consequence and tautological equivalence of formulas, CNF and DNF, complete systems of logical connectives, and resolution method in propositional logic. In predicate logic the stress is put on formalization of sentences as formulas of predicate logic, and resolution method in predicate logic. Next topic is an introduction to the theory of graphs and its applications. It covers connectivity, strong connectivity, trees and spanning trees, Euler?s graphs, Hamilton?s graphs, independent sets, and colourings.

Výsledek studentské ankety předmětu je zde: AE0B01LGR

Osnovy přednášek:

1. Formulas of propositional logic, truth validation, tautology, contradiction, satisfiable formulas.
2. Semantical consequence and tautological equivalence in propositional logic.
3. CNF and DNF, Boolean calculus.
4. Resolution method in propositional logic.
5. Predicate logic, syntactically correct formulas
6. Interpretation, sematical consequence and tautological equivalence.
7. Resilution method in predicate logic.
8. Directed and undirected graphs.
9. Connectivity, trees, spanning trees.
10. Strong connectivity, acyclic graphs.
11. Euler?s graphs and their application.
12. Hamilton?s graphs and their application.
13. Independent sets, cliques in graphs.
14. Colourings.

Osnovy cvičení:

1. Formulas of propositional logic, truth validation, tautology, contradiction, satisfiable formulas.
2. Semantical consequence and tautological equivalence in propositional logic.
3. CNF and DNF, Boolean calculus.
4. Resolution method in propositional logic.
5. Predicate logic, syntactically correct formulas
6. Interpretation, sematical consequence and tautological equivalence.
7. Resilution method in predicate logic.
8. Directed and undirected graphs.
9. Connectivity, trees, spanning trees.
10. Strong connectivity, acyclic graphs.
11. Euler?s graphs and their application.
12. Hamilton?s graphs and their application.
13. Independent sets, cliques in graphs.
14. Colourings.

Literatura:

[1] M. Demlová: Mathematical Logic. ČVUT Praha, 1999.
[2] R. Diestel: Graph Theory, Springer-Verlag, 1997

Požadavky:

Discrete Mathematics, Linear Algebra

Poznámka:

Rozsah výuky v kombinované formě studia: 21p+6s

Předmět je zahrnut do těchto studijních plánů:

Plán Obor Role Dop. semestr
BEKME3 Aplikovaná elektronika V 2
BEKME5 Komunikace a elektronika V 2
BEKME2 Multimediální technika V 2
BEKME1 Komunikační technika V 2
BEKME_BO Před zařazením do oboru V 2
BEKME4 Síťové a informační technologie V 2
BEKYR1 Robotika P 2
BEKYR3 Systémy a řízení P 2
BEKYR_BO Před zařazením do oboru P 2
BEKYR2 Senzory a přístrojová technika P 2
BEEEM_BO Před zařazením do oboru V 2
BEEEM2 Elektrotechnika a management V 2
BEEEM1 Aplikovaná elektrotechnika V 2
BEOI2 Informatika a počítačové vědy P 2
BEOI1 Počítačové systémy P 2
BEOI_BO Před zařazením do oboru P 2
BEOI3 Softwarové systémy P 2


Stránka vytvořena 17.10.2017 17:49:27, semestry: L/2016-7, Z,L/2017-8, Z/2018-9, 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)
Za obsah odpovídá: doc. Ing. Ivan Jelínek, CSc.