Abstract
From the very beginning of the development of the MIZAR system experiments with using MIZAR as a tool for teaching mathematics have been conducted. Numerous organized courses were based on different versions of the system: starting from the first implementation of its processor, through MIZAR-MSE, MIZAR-4 and PC-MIZAR up till its present version. Now MIZAR with its mathematical library gives us quite new didactic possibilities. The purpose of this paper is to present a certain course on logic and set theory offered by our Institute for freshman students. The course employs MIZAR as the main tool of instruction. In the paper we discuss the organization of this course and describe some examples of students' tasks. Finally, some conclusions and remarks are given. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Borak, E., & Zalewska, A. (2007). Mizar course in logic and set theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4573 LNAI, pp. 191–204). Springer Verlag. https://doi.org/10.1007/978-3-540-73086-6_17
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
