MIZAR - narzędzie wspomagające nauczanie poprawnego formułowania dowodów matematycznych

Thumbnail
View/Open
Author:
Koczur, Krzysztof
Moszner, Paweł
xmlui.dri2xhtml.METS-1.0.item-citation: Rocznik Naukowo-Dydaktyczny. 1992, Z. 157, Prace z Zastosowań Informatyki w Nauczaniu 1, s. 153-172
xmlui.dri2xhtml.METS-1.0.item-iso: pl
Date: 1992
Metadata
Show full item record
Description:
Dokument cyfrowy wytworzony, opracowany, opublikowany oraz finansowany w ramach programu "Społeczna Odpowiedzialność Nauki" - modułu "Wsparcie dla bibliotek naukowych" przez Ministerstwo Nauki i Szkolnictwa Wyższego w projekcie nr rej. SONB/SP/465103/2020 pt. "Organizacja kolekcji czasopism naukowych w Repozytorium UP wraz z wykonaniem rekordów analitycznych".
Abstract
The system MIZAR makes possible to check the "formal" corectness of mathematical proofs which are written in a precise language. The paper presents how to use this system in teaching of the art of proving with many examples and remarks.
URI
http://hdl.handle.net/11716/7653
Collections