Marek Mensík
Silesian University
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Marek Mensík.
digital enterprise and information systems | 2011
Marie Duží; Marek Mensík; Martina Cíhalová; Ludmila Dostálová
In this paper we introduce two e-learning systems, namely eLogika and (LMS) ORGANON. Both systems are apt for teaching logic and should improve the quality of the teaching. The ORGANON system is primarily aimed at solving tasks and practicing logical formalisms by means of interactive exercises. The eLogika system is intended to support effective automated testing of students’ knowledge together with automatic generation of suitable exam tests. We also describe the application of data-mining methods which can contribute to the improvement of e-learning systems by adjusting particular tests in accordance with students’ capabilities and needs.
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI | 2010
Martina Cíhalová; Nikola Ciprich; Marie Duží; Marek Mensík
INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2016) | 2017
Marie Duží; Michal Fait; Marek Mensík
European Journal of Combinatorics | 2017
Marek Mensík; Marie Duzí; Jakub Kermaschek
17th International Multidisciplinary Scientific GeoConference SGEM2017 | 2017
Marek Mensík; Jakub Kermaschek; Luděk Cienciala
European Journal of Combinatorics | 2016
Marie Duzí; Marek Mensík
European Journal of Combinatorics | 2014
Marek Mensík; Marie Duzí; Jakub Gerlich
European Journal of Combinatorics | 2013
Martina Cíhalová; Marie Duzí; Marek Mensík
RASLAN | 2012
Marie Duzí; Marek Mensík; Lukás Vích
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII | 2011
Marie Duží; Martina Cíhalová; Marek Mensík