The Gentzen sequent calculus in e-testing. Pt. 1: Foundations

Uproszczony widok
dc.contributor.authorNiewiadomski, Adam
dc.contributor.authorIndrzejczak, Andrzej
dc.date.accessioned2015-06-03T11:15:59Z
dc.date.available2015-06-03T11:15:59Z
dc.date.issued2010
dc.description.abstractModern 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.en_EN
dc.formatapplication/pdf
dc.identifier.citationJournal of Applied Computer Science., 2010 Vol.18 nr 1 s.39-48
dc.identifier.issn1507-0360
dc.identifier.other0000026681
dc.identifier.urihttp://hdl.handle.net/11652/443
dc.language.isoen
dc.publisherWydawnictwo Politechniki Łódzkiejpl_PL
dc.publisherLodz University of Technology. Pressen_EN
dc.relation.ispartofseriesJournal of Applied Computer Science., 2010 Vol.18 nr 1en_EN
dc.titleThe Gentzen sequent calculus in e-testing. Pt. 1: Foundations
dc.typeArtykuł

Pliki

Oryginalne pliki
Teraz wyświetlane 1 - 1 z 1
Brak miniatury
Nazwa:
The_Gentzen_sequent_Niewiadomski_2010.pdf
Rozmiar:
438.29 KB
Format:
Adobe Portable Document Format
Pobierz

Kolekcje

Artykuły (WFTIiMS)