Mizar course in logic and set theory
E Borak, A Zalewska - International Conference on Mathematical …, 2007 - Springer
E Borak, A Zalewska
International Conference on Mathematical Knowledge Management, 2007•SpringerFrom 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 …
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 …
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
Showing the best result for this search. See all results