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

Thumbnail
Oglądaj/Otwórz
Autor:
Koczur, Krzysztof
Moszner, Paweł
Źródło: Rocznik Naukowo-Dydaktyczny. 1992, Z. 157, Prace z Zastosowań Informatyki w Nauczaniu 1, s. 153-172
Język: pl
Data: 1992
Metadata
Pokaż pełny rekord
Opis:
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".
Streszczenie
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
Pozycja umieszczona jest w następujących kolekcjach