Search
Now showing items 1-4 of 4
Wybrane związki informatyki z filozofią
(1992)
The develope of computers makes itself felt in many аггеай of our life. In the paper authors consider an influence of computer science in philosophy (relations between their languages, concepts and methods).
MIZAR - narzędzie wspomagające nauczanie poprawnego formułowania dowodów matematycznych
(1992)
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 ...
Podstawowe informacje o systemie MIZAR
(1992)
The system MIZAR was build in the Branch of Warsaw Uniwersity in Białystok some years ago. This system makes possible to check the "formal" corectness of mathematical proofs which are written in a precise language. The ...
Praktyczne wykorzystanie komputerów w dydaktyce w szkole wyższej
(1992)
The paper contains some observations and suggestions how to use computers in teaching. Authors consider many problems: a choice of hardware and software and concepts of CAT.