Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Journal of Applied Computer Science

2 2010

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: rachunek sekwencji Gentzena

Sortuj według:

Ogranicz wyniki do:

The Gentzen Sequent Calculus in E-Testing. Part II: Algorithms and Implementation

Niewiadomski A., Indrzejczak A.

Journal of Applied Computer Science

2010

Vol. 18, nr 2

57-65

This paper contains the description of algorithms and their implementations, the foundations and background of which are presented in Part I of this paper [1].

The Gentzen Sequent Calculus in E-Testing. Part I: Foundations

Niewiadomski A., Indrzejczak A.

Journal of Applied Computer Science

2010

Vol. 18, nr 1

39-48

Modern methods and trends in education, especially the so-called e-learning, are undeniably more and more popular and widely applied in recent years. The paper is focused on the subdomain of the e-learning area which is named e-testing and it concerns the problem of replacing the manual checking and evaluating of distance exams with automated and intelligent procedures run by dedicated computer systems. A popular system of automated theorem proving by Gentzen [1] is applied to mechanise the process of checking and evaluating e-tests in set theory and logics. The paper presents the general rules according to which such an e-test should be built, then the evaluating algorithm based on the Gentzen sequent calculus is presented and exemplified, finally the detailed comments on the implementation and the results are given.