http://hdl.handle.net/11716/7640 2026-04-29T15:03:25Z 2026-04-29T15:03:25Z Niepielski, Michał Gruchała, Krzysztof Taraszka, Wojciech Żmuda, Dariusz Migdałek, Jacek http://hdl.handle.net/11716/7656 2020-09-24T19:40:29Z 1992-01-01T00:00:00Z

Propozycja zestawu programów komputerowych wspomagających nauczanie fizyki atomowej w szkole wyższej Niepielski, Michał; Gruchała, Krzysztof; Taraszka, Wojciech; Żmuda, Dariusz; Migdałek, Jacek A package of four computer programs is described aimed to support lecturing of atomic physics at university level. The programs, written in BASIC programming language for Amstrad computers, deal with some special topics of quantum and atomic physics such as relativistic effects in hydrogenlc systems, energy structure of helium-like systems, Zeeman and Stark effects in strong and weak external fields. The authors hope that the programs presented here could be of some help to university teachers during their courses and tutorials in quantum theory and atomic physics. 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".

1992-01-01T00:00:00Z Magdoń, Maria Pasznicka, Agata http://hdl.handle.net/11716/7655 2020-09-24T19:34:25Z 1992-01-01T00:00:00Z

O koncepcji mikroświata - propozycja nauczania wybranych elementów matematyki z uwzględnieniem języka LOGO Magdoń, Maria; Pasznicka, Agata Some research, carried out by Richard Noss and Celia Hoyles in order to explore their idea of "microworld" – teaching mathematics in a structured Logo environment, are described and compared with results obtained in one of Polish schools. Three easy examples, connected with that idea, are added as a suggestion for teachers to use them during lessons of mathematics. 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".

1992-01-01T00:00:00Z Suchoń, Wojciech http://hdl.handle.net/11716/7654 2020-09-24T19:30:16Z 1992-01-01T00:00:00Z

System: KRZ i L0GIKA1 komputerowo wspomagane nauczanie logiki na Uniwersytecie Jagiellońskim Suchoń, Wojciech In the paper two didactic computer systems are considered. These systems were developed at the Department of Logic of the Jagiellonian University. 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".

1992-01-01T00:00:00Z Koczur, Krzysztof Moszner, Paweł http://hdl.handle.net/11716/7653 2020-09-24T19:25:46Z 1992-01-01T00:00:00Z

MIZAR - narzędzie wspomagające nauczanie poprawnego formułowania dowodów matematycznych Koczur, Krzysztof; Moszner, Paweł 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. 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".

1992-01-01T00:00:00Z