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: learning theory

Sortuj według:

Ogranicz wyniki do:

lnspirowana i spontaniczna edukacja konektywna w internetowym środowisku uczenia się

Stolińska A.

Studia Informatica Pomerania

2017

Nr 2 (44)

33--42

W artykule podjęto problematykę organizacji procesu uczenia się w oparciu o nową filozofię edukacji - konektywizm, na przykładzie studentów Uniwersytetu Pedagogicznego w Krakowie. Twórcy tej koncepcji uważają, że ze względu na ogromny wzrost ilości informacji w internecie oraz nowe możliwości komunikowania się w globalnej sieci konieczne stało się opracowanie nowej teorii uczenia się. W artykule przedstawiono wybrane aspekty konektywizmu, omówiono wyniki badań własnych autora oraz zaprezentowano analizę wynikających z nich wniosków.

The article presents the problem of organizing the learning process based on the new philosophy of education - connectivism taking as the example students of University of Cracow. The author of this concept think that a new learning theory is required, due to the huge growth information available on the Internet and new possibilities for people to communicate on global networks. The article presents selected aspects of connectivity, discusses the results of the author's own research and presents an analysis of the resulting conclusions.

Can Proofs be Animated by Games?

Hayashi S.

Fundamenta Informaticae

2007

Vol. 77, nr 4

331-343

Proof animation is a way of executing proofs to find errors in the formalization of proofs. It is intended to be "testing in proof engineering". Although the realizability interpretation as well as the functional interpretation based on limit-computations were introduced as means for proof animation, they were unrealistic as an architectural basis for actual proof animation tools. We have found a game theoretic semantics corresponding to these interpretations, which is likely to be the right architectural basis for proof animation.