http://hdl.handle.net/11716/7640 Wed, 29 Apr 2026 15:02:11 GMT 2026-04-29T15:02:11Z http://hdl.handle.net/11716/7656 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". Wed, 01 Jan 1992 00:00:00 GMT http://hdl.handle.net/11716/7656 1992-01-01T00:00:00Z http://hdl.handle.net/11716/7655 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". Wed, 01 Jan 1992 00:00:00 GMT http://hdl.handle.net/11716/7655 1992-01-01T00:00:00Z http://hdl.handle.net/11716/7654 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". Wed, 01 Jan 1992 00:00:00 GMT http://hdl.handle.net/11716/7654 1992-01-01T00:00:00Z http://hdl.handle.net/11716/7653 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". Wed, 01 Jan 1992 00:00:00 GMT http://hdl.handle.net/11716/7653 1992-01-01T00:00:00Z