5 resultados para Education, Higher -- Victoria -- Computer-assisted instruction
em Bulgarian Digital Mathematics Library at IMI-BAS
Resumo:
An approach to a specialized website creation – club of distance courses authors – on the basis of Virtual Learning Space “Web-Class KhPI” is implemented and suggested in the article.
Resumo:
В статье рассматривается сценарный подход для определения количественной оценки эргономичности интерфейса обучающих систем. Описаны метод декомпозиции и метод сценарной композиции.
Resumo:
We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.
Resumo:
The article examines the main approaches to external evaluation and accreditation in higher education. It also presents COMPASS-OK: a social network for electronic evaluation and management of the quality of education, which utilizes mechanisms for management of documentation flows and supports tools for modeling of evaluation methods and procedures.
Resumo:
ACM Computing Classification System (1998): G.1.1, G.1.2.
