Search
Now showing items 1-3 of 3
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.
Koncepcja nauczania informatyki poza kierunkami ścisłymi i technicznymi
(1992)
Utilization of computer becomes more general in all fields. Because of this it is necessary to teach computer science in all lines of study. Unfortunately, the methodology of teaching does not change quickly. It is very ...
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 ...