Elektronické testování znalostí výrokové logiky

Michal NOVÁK

Bachelor's thesis

Propositional logic e-testing

Abstract:

Studenti na Ostravské univerzitě v oboru informační a komunikační technologie by měli absolvovat kurz z výrokové logiky. Dosud je systém ověřování znalostí studentů, pomocí tuţky a papíru. Studentům by systém, který je určen na určitou část kurzu měl pomoci s procvičováním příkladů přes počítač. Systém bude generovat jedinečné zadání příkladů. Konkrétně se bude věnovat příkladům z logických spojek a základních pojmů. Dovolí studentovi vloţit odpověď, kterou systém uloţí a vyhodnotí její správnost. Svůj výsledek si budou moct, v systému i ověřit. Systém se můţe pouţívat nejen pro procvičován, ale taky přímo jako test.

Abstract:

Students at the University of Ostrava in the branch of informatik and communication technology should take a course of propositional logic.So far the system is verifying the knowledge of students using pencil and paper. Students of the system, which is designed for a certain part of the course was to help with practicing examples via computer. The system will generace a unique input examples. Specifically, it will focus on examples ofl ogical connections and basic concepts. Allows the student to insert anter that saves systém and evaluace its accuracy. Your reset will beable, in the system and verified. The systém can be used not only practiced, but also directly as a test.

Keywords

PHP, SQL, databáze, výroková logika

Language used: Czech

Date on which the thesis was submitted / produced: 5. 7. 2013

Accessible from:: 5. 7. 2013

Thesis defence

• Date of defence: 29. 8. 2013
• Supervisor: Ing. Michal Burda, Ph.D.

University of Ostrava

Pedagogical Faculty

Bachelor programme / field:
Specialization - Pedagogy / Information Technology in Education