• polski
    • English
Lodz University of Technology Repository
TUL Repository
  • English 
    • polski
    • English
  • Login
View Item 
  •   Home
  • Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej / Faculty of Technical Physics, Information Technology and Applied Mathematics / W7
  • Artykuły (WFTIiMS)
  • View Item
  •   Home
  • Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej / Faculty of Technical Physics, Information Technology and Applied Mathematics / W7
  • Artykuły (WFTIiMS)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
The_Gentzen_sequent_Niewiadomski_2010.pdf (438.2Kb)
Date
2010
Author
Niewiadomski, Adam
Indrzejczak, Andrzej
Metadata
Show full item record
Abstract
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.
URI
http://hdl.handle.net/11652/443
Collections
  • Artykuły (WFTIiMS) [207]

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV