About: Tutoring and Automatic Evaluation of Logic Proofs

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Tutoring and Automatic Evaluation of Logic Proofs Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Tutoring of logic proofs is an important part of undergraduate courses of logic. Commonly, a tutor trains and tests students’ skills to build correct logic proofs. We introduce a system for training of students’ ability to construct correct proofs in propositional or predicate logic. In addition to common techniques including presentations supported by slides and exercises we use animations which are based on carefully selected demonstrative examples and their step-by-step solutions. Animations are interactive so that a student may choose a particular step, a sequence of steps, and/or a particular task. In order to test students’ knowledge, we prepared a questionnaire that captures the entire process of a logic proof construction. A student constructs a proof and then answers questions from the questionnaire. We describe the design of the questionnaire and discuss its dis/advantages. Tutoring of logic proofs is an important part of undergraduate courses of logic. Commonly, a tutor trains and tests students’ skills to build correct logic proofs. We introduce a system for training of students’ ability to construct correct proofs in propositional or predicate logic. In addition to common techniques including presentations supported by slides and exercises we use animations which are based on carefully selected demonstrative examples and their step-by-step solutions. Animations are interactive so that a student may choose a particular step, a sequence of steps, and/or a particular task. In order to test students’ knowledge, we prepared a questionnaire that captures the entire process of a logic proof construction. A student constructs a proof and then answers questions from the questionnaire. We describe the design of the questionnaire and discuss its dis/advantages. (en)
Title	Tutoring and Automatic Evaluation of Logic Proofs Tutoring and Automatic Evaluation of Logic Proofs (en)
skos:prefLabel	Tutoring and Automatic Evaluation of Logic Proofs Tutoring and Automatic Evaluation of Logic Proofs (en)
skos:notation	RIV/00216224:14330/13:00070404!RIV14-MSM-14330___
http://linked.open...avai/riv/aktivita	S
http://linked.open...avai/riv/aktivity	S
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Vaculík, Karel Popelínský, Lubomír Žáčková, Eva Jurčo, Juraj
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	112053
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/13:00070404
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	graph mining; logic proofs; resolution; automatic evaluation; frequent subgraphs; classification (en)
http://linked.open.../riv/klicoveSlovo	classification automatic evaluation resolution frequent subgraphs graph mining logic proofs
http://linked.open...ontrolniKodProRIV	[52BA27E3439F]
http://linked.open...v/mistoKonaniAkce	Sophia Antipolis, France
http://linked.open...i/riv/mistoVydani	Sophia Antipolis, France
http://linked.open...i/riv/nazevZdroje	Proceedings of the 12th European Conference on e-Learning ECEL 2013
http://linked.open...in/vavai/riv/obor	JD
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Popelínský, Lubomír Jurčo, Juraj Mráková, Eva Vaculík, Karel
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2013-10-30 (xsd:date)
issn	2048-8645
number of pages	8 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Academic Conferences and Publishing International
https://schema.org/isbn	9781909507845
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software