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

Bc. Tomáš Skořepa

Master's thesis

Visual support for teaching subjects dealing with Graph theory and Graph algorithms

Anotácia:

Diplomová práce se zaměřuje na podporu výuky dokazování matematických vět v předmětech zabývajících se teorií grafů a grafovými algoritmy. V posloupnosti seznamuje čtenáře se základy teorie grafů, neformálními metodami dokazování a v jejich souvislosti se soustřeďuje na přínosy a možnosti využití vizualizací ve výuce.Dále jsou uvedeny teoretické zásady tvorby moderních single page aplikací a principy funkcionálního programování, představeny novinky v JavaScriptu specifikace ES6 a porovnány výhody knihovny React s frameworky Angular a Vue.js.Výsledkem vlastní práce autora je tvorba výukových materiálů ve formě webové single page aplikace s využitím principů funkcionálního programování, novodobé JavaScriptové syntaxe a komponentově orientované knihovny React. S podporou dalších moderních nástrojů je popsán proces tvorby interaktivních, dynamických vizualizací grafů a dalších komponent. V závěru práce jsou uvedeny podrobnosti o testování nástroji Jest a Enzyme a shrnuta zpětná vazba z uživatelského testování.

Abstract:

The diploma thesis focuses on the support of teaching proving of mathematical theorems in subjects dealing with the graph theory and graph algorithms. The reader is sequentially acquainted with the fundamentals of graph theory, informal proof methods, and in sequence it concentrates on the benefits and possibilities of using visualizations in teaching.Furthermore, the thesis introduces the theoretical principles of creating modern single page applications, principles of functional programming and innovations of JavaScript ES6 specification and compares the benefits of the React library with frameworks Angular and Vue.js.The author's own work is the creation of teaching materials in the form of a single page web application using the principles of functional programming, the modern JavaScript syntax and the component-oriented React library. With the support of other modern tools, the process of creating interactive dynamic visualizations of graphs and other components is described. In the final chapter of the thesis, test details by Jest and Enzyme tools and a summarized feedback from user experience testing are provided.

Kľúčové slová

vizualizace, teorie grafů, důkazy matematické

Keywords

React, JavaScript ES6, single page application

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 17. 8. 2018

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

• Obhajoba proběhla 10. 9. 2018
• Vedúci: RNDr. Andrea Ševčíková
• Oponent: prof. RNDr. PhDr. Antonín Slabý, CSc.

University of Hradec Králové

Faculty of Informatics and Management

Master programme / odbor:
Aplikovaná informatika / Aplikovaná informatika