Chemistry education students’ perception toward their learning outcomes during online learning

This study aims to determine the self-perception of chemistry education students related to online learning in the UIN Ar-Raniry. This descriptive research involved chemistry education students of the 2019 batch. Their perception was obtained using an online questionnaire with 15 questions. It can be concluded that implementing the online learning system does not entirely affect students' learning outcomes. REFERENCESAl-Idrus, S. W., Muti’ah, M., & Rahmawati, R. (2021). Analisis Proses Pembelajaran Daring Selama Pandemi Covid-19 pada Mahasiswa Program Studi Pendidikan Kimia FKIP UNRAM. PENSA, 3(1 SE-Articles). https://ejournal.stitpn.ac.id/index.php/pensa/article/view/1246Arisandi, Y., Dasna, I. W., Sumari, S., Habiddin, H., Ibnu, S., & Subandi. (2021). Promoting vocational students' perception and achievement towards Chemistry: SPARE Learning Strategy for students majoring in Automotive Engineering. Turkish Journal of Computer and Mathematics Education (TURCOMAT), 12(13), 6357–6365.Belawati, T. (2019). Pembelajaran Online. Universitas Terbuka.Habiddin, H., Yahmin, Y., Retnosari, R., Muarifin, M., Aziz, A. N., Husniah, I., & Anwar, L. (2020). Chemistry students' attitude towards chemistry. AIP Conference Proceedings, 2215(1), 20005. https://doi.org/10.1063/5.0000496Mandailina, V., Pramita, D., & Haifaturrahmah, H. (2021). Pembelajaran Daring Dalam Meningkatkan Motivasi dan Hasil Belajar Peserta Didik Selama Pandemi Covid-19: Sebuah Meta-Analisis. Indonesian Journal of Educational Science (IJES), 3(2), 120–129.Pratiwi, N. N., & Puspasari, D. (2021). PENGARUH PENGGUNAAN PEMBELAJARAN DARING TERHADAP HASIL BELAJAR SISWA. JAMP : Jurnal Administrasi Dan Manajemen Pendidikan; Vol 4, No 4 (2021): Volume 4 No 4 Desember 2021. https://doi.org/10.17977/um027v4i42021p320Purwanto, A., Pramono, R., Asbari, M., Hyun, C. C., Wijayanti, L. M., Putri, R. S., & Santoso,  priyono B. (2020). Studi Eksploratif Dampak Pandemi COVID-19 Terhadap Proses Pembelajaran Online di Sekolah Dasar. EduPsyCouns: Journal of Education, Psychology and Counseling, 2(1), 1–12.Putri, M., & Kurniawati, Y. (2021). Students' learning interest using computer and android in acid base teaching. J-PEK (Jurnal Pembelajaran Kimia), 6(2), 63–71. http://dx.doi.org/10.17977/um026v6i22021p063Putria, H., Maula, L. H., & Uswatun, D. A. (2020). Analisis Proses Pembelajaran dalam Jaringan (DARING) Masa Pandemi Covid- 19 Pada Guru Sekolah Dasar. Jurnal Basicedu, 4(4), 861–872.Riyana, C. (2019). Produksi Bahan Pembelajaran Berbasis Online. Universitas Terbuka.Wardani, S., Haryani, S., Harmiasri, R., & Sari, N. N. (2022). Implementation of Online Learning to Prepare the Youth Generation in the Disruptive Era. J-PEK (Jurnal Pembelajaran Kimia), 7(1), 9–21. https://doi.org/http://dx.doi.org/10.17977/um026v7i12022p00

Partial Correctness of a Power Algorithm

This work continues a formal verification of algorithms written in terms of simple-named complex-valued nominative data [6],[8],[15],[11],[12],[13]. In this paper we present a formalization in the Mizar system [3],[1] of the partial correctness of the algorithm: i := val.1 j := val.2 b := val.3 n := val.4 s := val.5 while (i n) i := i + j s := s * b return s computing the natural n power of given complex number b, where variables i, b, n, s are located as values of a V-valued Function, loc, as: loc/.1 = i, loc/.3 = b, loc/.4 = n and loc/.5 = s, and the constant 1 is located in the location loc/.2 = j (set V represents simple names of considered nominative data [17]).The validity of the algorithm is presented in terms of semantic Floyd-Hoare triples over such data [9]. Proofs of the correctness are based on an inference system for an extended Floyd-Hoare logic [2],[4] with partial pre- and post-conditions [14],[16],[7],[5].Institute of Informatics, University of Białystok, PolandGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.R.W. Floyd. Assigning meanings to programs. Mathematical aspects of computer science, 19(19–32), 1967.Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.C.A.R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10): 576–580, 1969.Ievgen Ivanov and Mykola Nikitchenko. On the sequence rule for the Floyd-Hoare logic with partial pre- and post-conditions. In Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14–17, 2018, volume 2104 of CEUR Workshop Proceedings, pages 716–724, 2018.Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics, 25(3):205–216, 2017. doi:10.1515/forma-2017-0020.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Implementation of the composition-nominative approach to program formalization in Mizar. The Computer Science Journal of Moldova, 26(1):59–76, 2018.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On an algorithmic algebra over simple-named complex-valued nominative data. Formalized Mathematics, 26(2):149–158, 2018. doi:10.2478/forma-2018-0012.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. An inference system of an extension of Floyd-Hoare logic for partial predicates. Formalized Mathematics, 26(2): 159–164, 2018. doi:10.2478/forma-2018-0013.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Partial correctness of GCD algorithm. Formalized Mathematics, 26(2):165–173, 2018. doi:10.2478/forma-2018-0014.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On algebras of algorithms and specifications over uninterpreted data. Formalized Mathematics, 26(2):141–147, 2018. doi:10.2478/forma-2018-0011.Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the algebra of nominative data in Mizar. In Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3–6, 2017., pages 237–244, 2017. ISBN 978-83-946253-7-5. doi:10.15439/2017F301.Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the nominative algorithmic algebra in Mizar. In Leszek Borzemski, Jerzy Świątek, and Zofia Wilimowska, editors, Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 – Part II, Szklarska Poręba, Poland, September 17–19, 2017, volume 656 of Advances in Intelligent Systems and Computing, pages 176–186. Springer, 2017. ISBN 978-3-319-67228-1. doi:10.1007/978-3-319-67229-8_16.Artur Korniłowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. An approach to formalization of an extension of Floyd-Hoare logic. In Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav Kharchenko, Vladimir Peschanenko, Mariya Shyshkina, Mykola Nikitchenko, and Aleksander Spivakovsky, editors, Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15–18, 2017, volume 1844 of CEUR Workshop Proceedings, pages 504–523. CEUR-WS.org, 2017.Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics, 26(1):11–20, 2018. doi:10.2478/forma-2018-0002.Andrii Kryvolap, Mykola Nikitchenko, and Wolfgang Schreiner. Extending Floyd-Hoare logic for partial pre- and postconditions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19–22, 2013, Revised Selected Papers, pages 355–378. Springer International Publishing, 2013. ISBN 978-3-319-03998-5. doi:10.1007/978-3-319-03998-5_18.Volodymyr G. Skobelev, Mykola Nikitchenko, and Ievgen Ivanov. On algebraic properties of nominative data and functions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications – 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9–12, 2014, Revised Selected Papers, volume 469 of Communications in Computer and Information Science, pages 117–138. Springer, 2014. ISBN 978-3-319-13205-1. doi:10.1007/978-3-319-13206-8_6.27218919

The Year in C-SPAN Archives Research

C-SPAN is the network of record for US political affairs, broadcasting live gavel-to-gavel proceedings of the House of Representatives and the Senate, and to other forums where public policy is discussed, debated, and decided––without editing, commentary, or analysis and with a balanced presentation of points of view. The C-SPAN Archives, located adjacent to Purdue University, is the home of the online C-SPAN Video Library. The Archives has copied all of C-SPAN's television content since 1987. Extensive indexing, captioning, and other enhanced online features provide researchers, policy analysts, students, teachers, and public officials with an unparalleled chronological and internally cross-referenced record for deeper study. The Year in C-SPAN Archives Research presents the finest interdisciplinary research utilizing tools of the C-SPAN Video Library. Each volume highlights recent scholarship and comprises leading experts and emerging voices in political science, journalism, psychology, computer science, communication, and a variety of other disciplines. Each section within each volume includes responses from expert discussants. Developed in partnership with the Brian Lamb School of Communication and with support from the C-SPAN Education Foundation, C-SPAN Insights is guided by the ideal that all experimental outcomes, including those from our American experiment, can be best improved by directed study driving richer engagement and better understanding. The Year in C-SPAN Archives Research—Volume 4, edited by Robert X. Browning, advances our understanding of the framing of mental health, HIV/AIDS, policing, and public health, and explores subjects such as audience reactions in C-SPAN covered debates, the Twitter presidency of Donald Trump, and collaborative learning using the C-SPAN Video Library

The Year in C-SPAN Archives Research: Volume 4

C-SPAN is the network of record for US political affairs, broadcasting live gavel-to-gavel proceedings of the House of Representatives and the Senate, and to other forums where public policy is discussed, debated, and decided––without editing, commentary, or analysis and with a balanced presentation of points of view. The C-SPAN Archives, located adjacent to Purdue University, is the home of the online C-SPAN Video Library. The Archives has copied all of C-SPAN\u27s television content since 1987. Extensive indexing, captioning, and other enhanced online features provide researchers, policy analysts, students, teachers, and public officials with an unparalleled chronological and internally cross-referenced record for deeper study. The Year in C-SPAN Archives Research presents the finest interdisciplinary research utilizing tools of the C-SPAN Video Library. Each volume highlights recent scholarship and comprises leading experts and emerging voices in political science, journalism, psychology, computer science, communication, and a variety of other disciplines. Each section within each volume includes responses from expert discussants. Developed in partnership with the Brian Lamb School of Communication and with support from the C-SPAN Education Foundation, C-SPAN Insights is guided by the ideal that all experimental outcomes, including those from our American experiment, can be best improved by directed study driving richer engagement and better understanding. The Year in C-SPAN Archives Research—Volume 4, edited by Robert X. Browning, advances our understanding of the framing of mental health, HIV/AIDS, policing, and public health, and explores subjects such as audience reactions in C-SPAN covered debates, the Twitter presidency of Donald Trump, and collaborative learning using the C-SPAN Video Library

Teaduse ja kõrgkooli ajaloo labori tegevus ülikooli ajaloo uurimisel aastatel 1984–1996

Activities of the Laboratory of History of Science and Higher Education in the field of researching the university’s history from 1984-1996 Milvi Hirvlaane, cand. hist., Head of Laboratory   Systematic research into the history of the University of Tartu commenced when Arnold Koop (1922-88) was rector, i.e. from 1970-1988. For this purpose, the University History Commission was established in 1972, supervised by Professor Karl Siilivask (Milvi Hirvlaane was secretary of the commission from 1976-1980) and entrusted with the tasks of organising the process of research into the university’s history, compiling an overview of the scientific history of the university, conducting scientific sessions and publishing the research results in a series of publications entitled “Issues of the history of the University of Tartu”. The University History Commission also worked to facilitate the founding of the History Museum of the University of Tartu in 1976. As a result of the commission’s activities the 350th anniversary of the University of Tartu was marked by a three-volume publication entitled “History of the University of Tartu (1632-1982)” (in Estonian), deemed worthy of an Estonian SSR State Prize. There were also single-volume editions in Estonian, English and Russian, the latter receiving a USSR State Prize, 3rd category. The commission was liquidated in 1984, its tasks adopted by the Scientific Council of the History Museum. The council continued to organise university-based history conferences and publication of the “Issues of the history of the University of Tartu” under the auspices of the museum. Hirvlaane participated in the planning, preparation and conducting of the activities dedicated to the 175th anniversary of the re-opening of the university, the 350th anniversary of its foundation and the 70th anniversary of the Estonian University. In 1984 a rector’s decree established a Sector of History of Science and Higher Education (4 employees) as part of the Laboratory of Higher Educational Science in the Department of Sociology. The sector was later reorganised by the Science Department into an independent state-budget laboratory tasked with conducting research in the field defined as “The role of higher educational establishments in the development of science and culture in the XIX and XX centuries”. The sector was included in the Science Department but was directly subordinate to the rector. The sector was engaged in close cooperation with the Republican Association of Science History Researchers. The sector’s scientific supervisor, Professor Siilivask, was head of the republican association. Two of the sector’s employees, Hirvlaane and Hain Tankler, delivered speeches at conferences organised by the History Museum and Baltic science history researchers. As instructed by the rector, compilation began of yearbooks chronicling the university’s current activities. Only one, titled “The University of Tartu in 1985”, was eventually published (1989), with draft copies covering 1986 and 1987 only surviving on computer diskettes. One important task was to compile the biographical lexicon of the university’s lecturers and research staff. This was published in 1987 under the title “Tartu State University: Biographical and bibliographical list of lecturers and research staff from 1944-1980”. The manuscript covering the next period (1980-1995, with 2270 biographies) was never published but its entries about the university lecturers served as the basis for the “Lexicon of the history of Estonian science”, just as Tankler’s unfinished biographical lexicon (1902-1918) manuscript did. The laboratory prepared the manuscript of the compilation dedicated to the 350th anniversary of the University of Tartu (the printing house made the proof in 1989) but it was never published either. Nor did the manuscript of the compilation dedicated to the 70th anniversary of the Estonian University (1990) reach publication stage. The reforms that followed the restoration of the independent Republic of Estonia included liquidation of the Laboratory of Higher Educational Science, with the Sector of History of Science and Higher Education continuing its work as an independent lab for a while longer, only to be closed down in 1992. The head of the laboratory performed its unfinished work until 1996, employed on the basis of annual contracts. In summing up it should be noted that quite a lot was achieved with limited resources. During the existence of the sector/laboratory or at a later date all of the members of its research staff successfully defended their theses. The head of the laboratory handed over to the History Museum of the University of Tartu a detailed chronicle of the Laboratory of History of Science and Higher Education. The university today might yet again need a special unit to research its history.