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.
Annotation in English
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.
Keywords
Internetový prehliadač, formálna konceptuálna analýza, usporiadané množiny, teória zväzov, uzáverový operátor, veta o pevnom bode.
Keywords in English
Internet browser, formal concept analysis, ordered sets, the lattice theory, closure operator, fixed point theorem.
Length of the covering note
80 s.
Language
SK
Annotation
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.
Annotation in English
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.
Keywords
Internetový prehliadač, formálna konceptuálna analýza, usporiadané množiny, teória zväzov, uzáverový operátor, veta o pevnom bode.
Keywords in English
Internet browser, formal concept analysis, ordered sets, the lattice theory, closure operator, fixed point theorem.
Research Plan
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čů.
Research Plan
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čů.
Recommended resources
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.
Recommended resources
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.
