• polski
    • English
  • English 
    • polski
    • English
  • Login
View Item 
  •   DSpace Home
  • Czasopisma Naukowe
  • Rocznik Naukowo-Dydaktyczny
  • Rocznik Naukowo-Dydaktyczny. Prace z Zastosowań Informatyki w Nauczaniu
  • View Item
  •   DSpace Home
  • Czasopisma Naukowe
  • Rocznik Naukowo-Dydaktyczny
  • Rocznik Naukowo-Dydaktyczny. Prace z Zastosowań Informatyki w Nauczaniu
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
MIZAR - narzędzie wspomagające... (601.4Kb)
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
  • Rocznik Naukowo-Dydaktyczny. Prace z Zastosowań Informatyki w Nauczaniu

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Deklaracja dostępności
Theme by 
Atmire NV
Logo
Budowa Repozytorium Uniwersytetu Komisji Edukacji Narodowej w Krakowie została sfinansowana ze środków Ministerstwa Nauki i Szkolnictwa Wyższego na działalność upowszechniającą naukę.

Image
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Deklaracja dostępności
Theme by 
Atmire NV
Logo
Budowa Repozytorium Uniwersytetu Komisji Edukacji Narodowej w Krakowie została sfinansowana ze środków Ministerstwa Nauki i Szkolnictwa Wyższego na działalność upowszechniającą naukę.

Image