This thesis explores algorithmic thinking development on a high school student level. In the introduction algorithmic thinking as well as current practices of teaching algorithmic thinking are examined. A closer look on programming languages, programming methods and tools which can be utilised to develop algorithmic thinking (such as robotic kits, personal computers and mobile devices with touch screens) follows. After analyzing general properties of these tools one mobile device is selected and its programming possibilities are then explored in the empirical part of this paper. As part of the selected proactive action research a number of activities as well as overall process approach is first designed following by their practical verification in a high school. Final results are summarised as suggestions for improvements for further teaching.

Praktická implementace simplexové metody, metody větvení a mezí a především algoritmů spojitého vícekriteriálního rozhodování v jazyce Pascal

The aim of this Diploma thesis is to get acquitained with the approaches to parallel programming and possibilities of their practical implementation, including possibilities of their usage in management. An important part of the Diploma thesis is the practical implementation of parallel program in a PC cluster environment, which was implemented in computer laboratory of Faculty of Management VŠE. The practical part consists of an example of decision-making under uncertainty (risk) which is solved with the employment of the Monte Carlo method.

This thesis deals with trading strategy development on foreign market exchange (FOREX) from a perspective of technical analysis. A hypothesis that price data can be used for stable profitable decision making is analyzed. For that purpose, financial data preparation and derived indicators are described in detail. At first, strategies are randomly constructed. Afterward, they are improved iteratively by means of evolution principles. Genetic programming is used in particular. Special attention is devoted to fitness functon definition, on which the progress of strategies depends. Besides usual criterion - profit, other aspects are taken into account. Transactional costs are included in strategy evaluation. Costs have even been increased in comparison with declared values. Some of the best strategies are tested on data, which has not been used for their development. Obtained results did not support the hypothesis. However, process of a strategy search can be improved.

The thesis deals with correctness of a compiler of a simple language featuring exceptions. We present formal semantics, both denotational semantics of a~high-level language and operational semantics of a low-level language for a~simple stack machine. We study the method of stack unwinding and then iteratively, improving upon a naive solution, we present a different method that is structurally recursive and thus suitable for implementation in total dependently typed languages. Finally, we provide an implementation of the compiler in the dependently typed functional programming language Agda, along with a mechanically verifiable proof of adherence of the implementation to the semantics.

This thesis addresses the problem of automated graphical user interface generation for functional programs. First an analysis of current state in the field of automated GUI generation is performed. Based on the analysis the concept of Functionally Structured User Interface (FSUI) is introduced. Meta-data system for code annotation is then specified for the Clojure programming language and a transformation from this system to FSUI data model is implemented. Finally a graphical layer for displaying the actual interface is implemented in Clojure. Benefits of this approach are demonstrated by proof-of-concept case study.

The diploma thesis deals with the teaching of programming at elementary schools in the Czech Republic. The theoretical part of the thesis focuses on mapping the current state of the teaching of programming at elementary schools. In addition, the currently used resources to support the teaching of algorithmization and programming for children are mapped. These resources are evaluated by selected evaluation criteria. On the theoretical basis of thesis, a teaching model focused on programming is designed as a practical output, including learning materials and a methodological manual for teachers. The design of the model of teaching is verified in practice.

The diploma thesis deals with problems of algorithmization and programming at elementary schools. It examines the influence of teaching the basics of programming in Scratch on the development of pupils' algorithmic thinking and their ability to develop logical thinking and problem solving. The theoretical part deals with the definition of related concepts and the relation of programming to the key competencies defined by the RVP ZV. The practical part evaluates the experience with the teaching of pupils of the 5th and 6th grades of elementary school within the pedagogical experiment, whose aim was to study the influence of teaching with the use of the visual programming language Scratch on the development of pupils' algorithmic thinking.

The diploma thesis deals with the analysis, development and implementation of software using Qt framework. It reflects the history of the parents´ association and its need to register pupils attending a primary school, respectively members of the association. The diploma thesis goes through the various phases of design and development software using the Open Unified Process methodology and its subsequent processing using UML. The outputs from the analytical and design parts are then used to implement a custom registration system. This paper describes and compares several methods currently used in software development and introduces the reader to the basic principles of object-oriented programming. It provides an overview of the components and principles of processing framework Qt 5, the SDK development environment and the consequences resulting through practical uses when developing applications.

This thesis describes development of real-time reactive portal applications build on Meteor platform. The goal of this thesis is to describe different parts of the platform as a whole and to offer best practices to develop such applications. The theoretical part provides information covering Node.js server, MongoDB document database and their specific features. The beginning of the practical part focuses on the application design and its components implementation. The last chapter summarizes the outcome of this thesis and analyses advantages and disadvantages of Meteor platform over more traditional technology stack. The output and the main value is the Opticube application that is being used in retail. Another plus is the fact, that this thesis is the first to cover Meteor platform at the Czech University of Life Sciences in Prague.