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

• Autorzy: Niewiadomski A. , Indrzejczak A.
• Języki publikacji: EN

Abstrakty

EN

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].

Słowa kluczowe

EN

e-learning; e-testing methods; Gentzen's sequent calculus; e-tests evaluating and scoring; decision support

PL

nauczanie na odległość; rachunek sekwencji Gentzena; wspomaganie decyzji

• Wydawca: Wydawnictwo Politechniki Łódzkiej
• Czasopismo: Journal of Applied Computer Science
• Rocznik: 2010
• Tom: Vol. 18, nr 2
• Strony: 57--65
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Niewiadomski A.

autor

Indrzejczak A.

• 1Institute of Information Technology, Technical University of Łódź Wólczańska 215, 90-924 Łódź, Poland,

Bibliografia

• [1] Niewiadomski, A. and Indrzejczak, A., The Gentzen Sequent Calculus in Etesting. Part I: Foundations, Journal of Applied Computer Science, Vol. 18, No. 1, 2010, pp. 39-48.
• [2] Mitra, S. and Acharya, T., Data Mining. Multimedia, Soft Computing, and Bioinformatics, John Wiley & Sons, Inc. Publication, 2003.
• [3] Bandemer, H. and Gottwald, S., Fuzzy Sets, Fuzzy Logic, Fuzzy Methods with Applications, John Wiley & Sons, 1995.
• [4] Niewiadomski, A., Rybusiński, B., Sakowski, K., and Grzybowski, R., An application of multivalued similarity relations in automated evaluation of grammar tests, In: The Online Academy (Akademia On-Line), edited by J. Mischke, WSHE Press, 2005, pp. 149-154, (in Polish).
• [5] Jaśkowski, S., On the Rules of Suppositions in Formal Logic, Studia Logica, Vol. 1, 1934, pp. 5-32.
• [6] Gentzen, G., Untersuchungen Über das Logische Schliessen, Mathematische Zeitschrift, Vol. 39, 1934, pp. 176-210, 405-431.