Skip to main content

Mathematics 2 - AI

Content


- Propositional Logic, propositional variables and connectives.
- Tautologies, Contradictions, Contingency formulas, and Propositional Equivalences.
- Normal Forms: Conjunctive normal form, and Disjunctive normal form.
- Graphs (definítion, types of graphs, connectivity of graphs, matrix expression of graphs).
- Trees, and Spanning trees.
- Euler, and Hamiltonian graphs.
- Planar graphs, and coloring graphs.
- Digraphs - Oriented graphs (definition, types of graphs, strong connectivity, matrix expression of graphs).
- Acyclic digraphs.
- Oriented trees, spanning tree of digraph, and binary trees.
- Some applications of graphs. Graph algorithms.

Lecturer


Instructor


Year


Bc. - I. LS

Extent


3P / 3CV

Credits


6

Recommended Literature


[1] Klešč Marián - Plavka Ján: Matematika 2 - Diskrétna matematika a formálna logika
[2] Demlová Marie: Mathematical logic, FEL ČVUT
[3] Johnsonbaugh: Discrete mathematics

Examples and Templates


Conditions for obtaining prerequisites/examination

Credit test:

získanie minimálne 16 bodov z 30 možných

Exam:

získanie minimálne 36 bodov zo 70 možných

Attachments


Drupal theme by Adaptivethemes - Design by Kodamera