Vizuální podpora výuky předmětů zabývajících se teorií grafů a grafovými algoritmy

Bc. Markéta Růtová Šťastná

Diplomová práce

Visual learning support for courses dealing with graph theory and graph algorithms

Anotace:

Diplomová práce se zabývá tvorbou aplikace vhodné pro výuku důkazů matematických vět a související výrokové logiky. Aplikace se skládá z vizualizací důkazů z teorie grafů, ale její součástí jsou také vizualizace pro podporu výuky negací výroků a vět. Práce nejdříve představuje teorii související s důkazy v diskrétní matematice, poté obsahuje analýzu aplikace a ukázku podobných nástrojů. Následně popisuje technologie použité k implementaci aplikace a výsledné řešení.

Abstract:

This Diploma Thesis focuses on creation of application suitable for learning proofs of mathematical theorems and related propositional calculus. The application consists of theory of graphs proofs visualization, but it also includes visualizations to support teaching of propositions and theorems negations. The thesis first introduces the theory related to discrete mathematics proofs. Then it contains an analysis of application and shows similar tools as well. The paper also describes technologies used to implement the application and the final solution.

Klíčová slova

Bobril, teorie grafů, důkazy matematické, vizualizace

Keywords

TypeScript, SVG

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 10. 5. 2017

Obhajoba závěrečné práce

• Obhajoba proběhla 20. 9. 2017
• Vedoucí: RNDr. Andrea Ševčíková
• Oponent: prof. RNDr. PhDr. Antonín Slabý, CSc.

Univerzita Hradec Králové

Fakulta informatiky a managementu

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika