• polski
    • English
Repozytorium Politechniki Łódzkiej
Repozytorium PŁ
  • polski 
    • polski
    • English
  • Zaloguj
Zobacz pozycję 
  •   Strona główna
  • Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej / Faculty of Technical Physics, Information Technology and Applied Mathematics / W7
  • Artykuły (WFTIiMS)
  • Zobacz pozycję
  •   Strona główna
  • Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej / Faculty of Technical Physics, Information Technology and Applied Mathematics / W7
  • Artykuły (WFTIiMS)
  • Zobacz pozycję
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
Oglądaj/Otwórz
The_Gentzen_sequent_Niewiadomski_2010.pdf (438.2KB)
Data wydania
2010
Autor
Niewiadomski, Adam
Indrzejczak, Andrzej
Metadane
Pokaż pełny rekord
Abstrakt
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
Zbiory
  • Artykuły (WFTIiMS) [207]

DSpace software copyright © 2002-2016  DuraSpace
Kontakt z nami | Wyślij uwagi
Theme by 
Atmire NV
 

 

Przeglądaj

Całe repozytoriumZbiory i kolekcje Daty wydaniaAutorzyTytułySłowa kluczoweTa kolekcjaDaty wydaniaAutorzyTytułySłowa kluczowe

Moje konto

Zaloguj

DSpace software copyright © 2002-2016  DuraSpace
Kontakt z nami | Wyślij uwagi
Theme by 
Atmire NV