| dc.contributor.author | Koczur, Krzysztof | pl_PL |
| dc.contributor.author | Moszner, Paweł | pl_PL |
| dc.date.accessioned | 2020-09-24T19:24:57Z | |
| dc.date.available | 2020-09-24T19:24:57Z | |
| dc.date.issued | 1992 | |
| dc.identifier.citation | Rocznik Naukowo-Dydaktyczny. 1992, Z. 157, Prace z Zastosowań Informatyki w Nauczaniu 1, s. 153-172 | pl_PL |
| dc.identifier.uri | http://hdl.handle.net/11716/7653 | |
| dc.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". | pl_PL |
| dc.description.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. | en_EN |
| dc.description.sponsorship | 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". | pl_PL |
| dc.language.iso | pl | pl_PL |
| dc.title | MIZAR - narzędzie wspomagające nauczanie poprawnego formułowania dowodów matematycznych | pl_PL |
| dc.type | Article | pl_PL |
