Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: partial evaluation

Sortuj według:

Ogranicz wyniki do:

Aktywizacja studentów na zajęciach wykładowych z Metrologii

Makal Jarosław

Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej

2019

Nr 65

77--80

W artykule przedstawiono sposób prowadzenia wykładu z metrologii wymuszający aktywną pracę studentów podczas zajęć. Szczególnie podkreślono znaczenie odpowiedniego przeprowadzenia pierwszego wykładu w semestrze, na którym zazwyczaj są obecni prawie wszyscy zapisani studenci. Zwrócono uwagę na rolę testów motywujących studentów do aktywnego uczestniczenia w zajęciach. Porównano wyniki testu wykonanego w dwóch różnych grupach: jeden z dwukrotnym podejściem – na początku i na końcu zajęć; drugi tylko na zakończenie zajęć. W podsumowaniu wskazano na dodatkowe elementy zwiększające zainteresowanie studentów i aktywizujące ich postawę.

The paper presents the way of conducting a lecture on metrology that forces the active work of students during classes. The importance of proper conducting of the first lecture in a semester, which is usually attended by almost all enrolled students, has been especially emphasized. Attention was drawn to the role of tests motivating students to actively participate in classes. The two methods of providing the test are presented and their results of the test carried out in two different groups were compared. One with a two-fold approach - at the beginning and end of the course; the other only at the end of the class. The students’ attendance at the classes together with the tests results at subsequent lectures has been discussed. Author draws attention to the great interest of students in historical references and showing the links between the content of the lecture and current events. In the summary, the additional elements increasing students' interest and activating their attitudes were pointed out.

Revisiting the Futamura Projections: A Diagrammatic Approach

Williams B. M., Perugini S.

Theoretical and Applied Informatics

2016

Vol. 28, No. 4

15--32

The advent of language implementation tools such as PyPy and Truffle/Graal have reinvigorated and broadened interest in topics related to automatic compiler generation and optimization. Given this broader interest, we revisit the Futamura Projections using a novel diagram scheme. Through these diagrams we emphasize the recurring patterns in the Futamura Projections while addressing their complexity and abstract nature. We anticipate that this approach will improve the accessibility of the Futamura Projections and help foster analysis of those new tools through the lens of partial evaluation.