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

Michal NOVÁK

Bakalářská práce

Propositional logic e-testing

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 5. 7. 2013

Zveřejnit od: 5. 7. 2013

Obhajoba závěrečné práce

• Obhajoba proběhla 29. 8. 2013
• Vedoucí: Ing. Michal Burda, Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Pedagogická fakulta

Bakalářský studijní program / obor:
Specializace v pedagogice / Informační technologie ve vzdělávání