Geodesic
System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia, Tome 3 (2010) no. 1, pp. 21-40.

Voir la notice de l'article provenant de la source Library of Science

The MIZAR system is a computer system for representing mathematical proofs in such a way that the computer checks their correctness. The texts written in the MIZAR language are called Mizar articles and are organized into the Mizar Mathematical Library (MML). Since the very beginnig of the development of the MIZAR system, experiments using MIZAR as a tool for teaching mathematics have been conducted. Numerous courses were organized which 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 current version. The first MIZAR-aided classes were introduced in 1975. In this paper we present the MIZAR system and the Mizar language and discusse courses conducted in the Institute of Informatics at the Univesity of Białystok. These courses employ MIZAR as the main tool of instruction. 
@article{AUPCDM_2010_3_1_a1,
     author = {Borak, Ewa},
     title = {System komputerowy {Mizar} narz\k{e}dziem do komputerowego wspomagania nauczania w szkole wy\.zszej},
     journal = {Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia},
     pages = {21--40},
     publisher = {mathdoc},
     volume = {3},
     number = {1},
     year = {2010},
     language = {pl},
     url = {http://geodesic.mathdoc.fr/item/AUPCDM_2010_3_1_a1/}
}
TY  - JOUR
AU  - Borak, Ewa
TI  - System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej
JO  - Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
PY  - 2010
SP  - 21
EP  - 40
VL  - 3
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AUPCDM_2010_3_1_a1/
LA  - pl
ID  - AUPCDM_2010_3_1_a1
ER  - 
%0 Journal Article
%A Borak, Ewa
%T System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej
%J Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
%D 2010
%P 21-40
%V 3
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AUPCDM_2010_3_1_a1/
%G pl
%F AUPCDM_2010_3_1_a1
Borak, Ewa. System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej. Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia, Tome 3 (2010) no. 1, pp. 21-40. http://geodesic.mathdoc.fr/item/AUPCDM_2010_3_1_a1/