Czasopisma Naukowe: Recent submissions
Wyświetlanie pozycji 5041-5060 z 9238
-
System: KRZ i L0GIKA1 komputerowo wspomagane nauczanie logiki na Uniwersytecie Jagiellońskim
(1992)In the paper two didactic computer systems are considered. These systems were developed at the Department of Logic of the Jagiellonian University. -
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 ... -
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 ... -
Informatyka dla logopedii
(1992)The presented packet of computer pragrams is one of the first tentative attempts at employing computer science in logopedie therapy. The packet: LogTerap is designed for the computer ZX Spectrum and ELWRO 800 JUNIOR. It ... -
Możliwości wykorzystania mikrokomputerów w systemie testowego badania wiadomości uczniów
(1992)Ideas of preparing and making knowledge tests with computer aid are described as well as their various posibilities. All these is shown on the base of computer system LESSON, which was elaborated in Computer Science Faculty ... -
Informatyczne środowisko tworzenia dialogów
(1992)YAMES, system which allows dialogues preparation for the various kind of the user (students, patients and so on) is presented in this paper. System structure, current implementation and possible extensions are also covered. -
DAS - system wspomagający proces dydaktyczny
(1992)The system LEFO (tutor’s system for CAT) was build in the Pedagogical University in Dresden. In the paper some modifications and Polish version of this system are presented. -
"SOKRATES" - nowy system informatyczny do półautomatycznego tworzenia programów komputerowego wspomagania nauczania
(1992)Computer systems for intelligent teaching and self-training are still important area of scientific researches. Such systems can be very useful for students, but are very difficult and troublesome for teachers, because ... -
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. -
Miejsce i rola komputera w procesie nauczania
(1992)Paper presents cybernetic approach to the design of educational system and its components. Cybernetic models of the teacher, the pupil and some technical elements for education (for example slide projectors) are given and ... -
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). -
Rocznik Naukowo-Dydaktyczny. Z. 157. Prace z Zastosowań Informatyki w Nauczaniu 1
(Wydawnictwo Naukowe Wyższej Szkoły Pedagogicznej, Kraków, 1992)Rozwój techniki komputerowej, a zwłaszcza pojawienie się i rozpowszechnienie mikrokomputerów, doprowadziły w okresie kończącej się dekady do silnego nasycenia, zwłaszcza na Zachodzie, życia zawodowego, a także i codziennego, ...