Diplomová práca sa zaoberá analýzou internetových prehliadačov metódami formálnej konceptuálnej analýzy. Práca je rozdelená na dve časti. V úvode teoretickej časti je spracovaný stručný prehľad vzniku a vývoja internetových prehliadačov, nasleduje popis a prehľad jedenástich vybraných internetových prehliadačov. Ďalej sa teoretická časť práce sústreďuje na základné pojmy a prvky teórie usporiadaných množín. Posledná časť spracováva základné termíny z odbornej literatúry týkajúce sa hlavne teórie zväzov a sú tu tiež vymedzené pojmy ako uzáverový operátor, alebo veta o pevnom bode. Praktická časť práce sa zaoberá matematickými základmi formálnej konceptuálnej analýzy a spôsobmi jej grafickej reprezentácie, ďalej sa sústreďuje hlavne na rozbor internetových prehliadačov práve pomocou tejto metódy.
Anotace v angličtině
Master thesis describes the analysis of web browsers with methods of formal concept analysis. The work is divided into two parts. In the introduction of theoretical part is treated with a brief overview of the emergence and development of Internet browsers and description and review the eleven selected web browsers. Furthermore, the theoretical part focuses on the basic terms and elements of the theory ordered sets. The last part describes the basic terms of specialized literature regarding to lattice theory and that are also defined terms as closure operator or fixed point theorem. Practical part of thesis deals with the mathematical basics of formal concept analysis and methods of its graphical representation and deals mainly with the analysis of web browsers currently using this method.
Klíčová slova
Internetový prehliadač, formálna konceptuálna analýza, usporiadané množiny, teória zväzov, uzáverový operátor, veta o pevnom bode.
Klíčová slova v angličtině
Internet browser, formal concept analysis, ordered sets, the lattice theory, closure operator, fixed point theorem.
Rozsah průvodní práce
80 s.
Jazyk
SK
Anotace
Diplomová práca sa zaoberá analýzou internetových prehliadačov metódami formálnej konceptuálnej analýzy. Práca je rozdelená na dve časti. V úvode teoretickej časti je spracovaný stručný prehľad vzniku a vývoja internetových prehliadačov, nasleduje popis a prehľad jedenástich vybraných internetových prehliadačov. Ďalej sa teoretická časť práce sústreďuje na základné pojmy a prvky teórie usporiadaných množín. Posledná časť spracováva základné termíny z odbornej literatúry týkajúce sa hlavne teórie zväzov a sú tu tiež vymedzené pojmy ako uzáverový operátor, alebo veta o pevnom bode. Praktická časť práce sa zaoberá matematickými základmi formálnej konceptuálnej analýzy a spôsobmi jej grafickej reprezentácie, ďalej sa sústreďuje hlavne na rozbor internetových prehliadačov práve pomocou tejto metódy.
Anotace v angličtině
Master thesis describes the analysis of web browsers with methods of formal concept analysis. The work is divided into two parts. In the introduction of theoretical part is treated with a brief overview of the emergence and development of Internet browsers and description and review the eleven selected web browsers. Furthermore, the theoretical part focuses on the basic terms and elements of the theory ordered sets. The last part describes the basic terms of specialized literature regarding to lattice theory and that are also defined terms as closure operator or fixed point theorem. Practical part of thesis deals with the mathematical basics of formal concept analysis and methods of its graphical representation and deals mainly with the analysis of web browsers currently using this method.
Klíčová slova
Internetový prehliadač, formálna konceptuálna analýza, usporiadané množiny, teória zväzov, uzáverový operátor, veta o pevnom bode.
Klíčová slova v angličtině
Internet browser, formal concept analysis, ordered sets, the lattice theory, closure operator, fixed point theorem.
Zásady pro vypracování
Zpracujte literární rešerši na internetové prohlížeče, které se nejčastěji používají a uveďte jejich přehled.
V teoretické části zpracujte základní pojmy a tvrzení teorie uspořádaných množin a teorie svazů. Tvrzení formulujte bez důkazů, pouze s odkazem na doporučenou literaturu.
Uveďte definici a základní vlastnosti uzávěrových operátorů a větu o pevném bodě a jejich konkrétní příklady.
V praktické části zpracujte základy formální konceptuální analýzy a formulujte základní reprezentační větu. Uveďte konkrétní příklady kontextů a jejich konceptuálních svazů z dané oblasti.
Metodami formální konceptuální analýzy proveďte rozbor používaných internetových prohlížečů a poskytovaných služeb z hlediska podporovaných protokolů. Aplikujte metody FCA na navigaci v konceptuálním svazu internetových prohlížečů.
Zásady pro vypracování
Zpracujte literární rešerši na internetové prohlížeče, které se nejčastěji používají a uveďte jejich přehled.
V teoretické části zpracujte základní pojmy a tvrzení teorie uspořádaných množin a teorie svazů. Tvrzení formulujte bez důkazů, pouze s odkazem na doporučenou literaturu.
Uveďte definici a základní vlastnosti uzávěrových operátorů a větu o pevném bodě a jejich konkrétní příklady.
V praktické části zpracujte základy formální konceptuální analýzy a formulujte základní reprezentační větu. Uveďte konkrétní příklady kontextů a jejich konceptuálních svazů z dané oblasti.
Metodami formální konceptuální analýzy proveďte rozbor používaných internetových prohlížečů a poskytovaných služeb z hlediska podporovaných protokolů. Aplikujte metody FCA na navigaci v konceptuálním svazu internetových prohlížečů.
Seznam doporučené literatury
G. Birkhoff, S. Mac Lane, Prehľad modernej algebry, Alfa, SNTL, Bratislava, Praha, 1979, 468 stran; z anglického originálu A Surwey of Modern Algebra, The Macmillan Company, Inc., New York, 3. vyd. 1965 (1. vyd. 1941, 2. vyd. 1953), preložili Š. Znám a J. Smítal.
T. Katriňák, M. Gavalec, E. Gedeonová, J. Smítal, Algebra a teoretická aritmetika 1, Alfa, SNTL, Bratislava, Praha, 1985, 349 strán.
Algebra 3. In: ALGEBRA [online]. FMFI UK Bratislava, 19. augusta 2005 [cit. 2013-02-11]. Dostupné z: http://studentmatematiky.own.cz/algebra3/LKD-algebra3.pdf.
The HTML5 test. How well does your browser support HTML5 [online]. 2013 [cit. 2013-02-05]. Dostupné z: http://html5test.com/results/desktop.html.
BEDNÁŘ, Vojtěch. Alternativní webové prohlížeče: Firefox, Opera, Mozilla, Maxthon a další. Vyd. 1. Brno: Computer Press, 2006, 168 s. ISBN 80-251-0566-0.
CASTRO, Elizabeth a Bruce HYSLOP. HTML5 a CSS3: názorný průvodce tvorbou WWW stránek. 1. vyd. Brno: Computer Press, 2012, 439 s. ISBN 978-80-251-3733-8.
GANTER, Bernhard, Rudolf WILLE. Formal concept analysis: mathematical foundations. New York: Springer, c1999, x, 284 p. ISBN 35-406-2771-5.
Seznam doporučené literatury
G. Birkhoff, S. Mac Lane, Prehľad modernej algebry, Alfa, SNTL, Bratislava, Praha, 1979, 468 stran; z anglického originálu A Surwey of Modern Algebra, The Macmillan Company, Inc., New York, 3. vyd. 1965 (1. vyd. 1941, 2. vyd. 1953), preložili Š. Znám a J. Smítal.
T. Katriňák, M. Gavalec, E. Gedeonová, J. Smítal, Algebra a teoretická aritmetika 1, Alfa, SNTL, Bratislava, Praha, 1985, 349 strán.
Algebra 3. In: ALGEBRA [online]. FMFI UK Bratislava, 19. augusta 2005 [cit. 2013-02-11]. Dostupné z: http://studentmatematiky.own.cz/algebra3/LKD-algebra3.pdf.
The HTML5 test. How well does your browser support HTML5 [online]. 2013 [cit. 2013-02-05]. Dostupné z: http://html5test.com/results/desktop.html.
BEDNÁŘ, Vojtěch. Alternativní webové prohlížeče: Firefox, Opera, Mozilla, Maxthon a další. Vyd. 1. Brno: Computer Press, 2006, 168 s. ISBN 80-251-0566-0.
CASTRO, Elizabeth a Bruce HYSLOP. HTML5 a CSS3: názorný průvodce tvorbou WWW stránek. 1. vyd. Brno: Computer Press, 2012, 439 s. ISBN 978-80-251-3733-8.
GANTER, Bernhard, Rudolf WILLE. Formal concept analysis: mathematical foundations. New York: Springer, c1999, x, 284 p. ISBN 35-406-2771-5.
Přílohy volně vložené
1 CD ROM
Přílohy vázané v práci
-
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Student seznámil komisi se svou diplomovou prací. Vedoucí diplomové práce seznámil komisi s posudky vedoucího a oponenta. Student zodpověděl otázky vedoucího a oponenta.
doc. Černohorský: který z prohlížečů je nejvhodnější, existuje věrohodná statistika?
doc. Jašek: ocenil přínos práce, jaké vlastnosti musí relace splňovat aby to skutečně naplnilo analytické vlastnosti.