Matches in SemOpenAlex for { <https://semopenalex.org/work/W3007885864> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3007885864 endingPage "34" @default.
- W3007885864 startingPage "17" @default.
- W3007885864 abstract "Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning to construct such proofs, receiving feedback is important. In this paper we discuss the design of a tutoring system, LogInd, that helps students with constructing stepwise inductive proofs by providing hints, next steps and feedback. As far as we know, this is the first tutoring system for structural induction with this functionality. We explain how we use a strategy to construct proofs for a restricted class of problems. This strategy can also be used to complete partial student solutions, and hence to provide hints or next steps. We use constraints to provide feedback. A pilot evaluation with a small group of students shows that LogInd indeed can give hints and next steps in almost all cases." @default.
- W3007885864 created "2020-03-06" @default.
- W3007885864 creator A5011892251 @default.
- W3007885864 creator A5040746546 @default.
- W3007885864 creator A5071517121 @default.
- W3007885864 date "2020-02-28" @default.
- W3007885864 modified "2023-09-24" @default.
- W3007885864 title "Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction" @default.
- W3007885864 cites W1513847362 @default.
- W3007885864 cites W1531631361 @default.
- W3007885864 cites W1592371129 @default.
- W3007885864 cites W1605289368 @default.
- W3007885864 cites W1970264500 @default.
- W3007885864 cites W1992696924 @default.
- W3007885864 cites W2001152839 @default.
- W3007885864 cites W2017468547 @default.
- W3007885864 cites W2021843567 @default.
- W3007885864 cites W2063748415 @default.
- W3007885864 cites W2077789910 @default.
- W3007885864 cites W2081019971 @default.
- W3007885864 cites W2092153770 @default.
- W3007885864 cites W2103544203 @default.
- W3007885864 cites W2164654716 @default.
- W3007885864 cites W2208113010 @default.
- W3007885864 cites W243547357 @default.
- W3007885864 cites W2594134321 @default.
- W3007885864 cites W2950525618 @default.
- W3007885864 cites W4302604543 @default.
- W3007885864 doi "https://doi.org/10.4204/eptcs.313.2" @default.
- W3007885864 hasPublicationYear "2020" @default.
- W3007885864 type Work @default.
- W3007885864 sameAs 3007885864 @default.
- W3007885864 citedByCount "2" @default.
- W3007885864 countsByYear W30078858642022 @default.
- W3007885864 countsByYear W30078858642023 @default.
- W3007885864 crossrefType "journal-article" @default.
- W3007885864 hasAuthorship W3007885864A5011892251 @default.
- W3007885864 hasAuthorship W3007885864A5040746546 @default.
- W3007885864 hasAuthorship W3007885864A5071517121 @default.
- W3007885864 hasBestOaLocation W30078858641 @default.
- W3007885864 hasConcept C108710211 @default.
- W3007885864 hasConcept C154945302 @default.
- W3007885864 hasConcept C199360897 @default.
- W3007885864 hasConcept C206743973 @default.
- W3007885864 hasConcept C2524010 @default.
- W3007885864 hasConcept C2777212361 @default.
- W3007885864 hasConcept C2780801425 @default.
- W3007885864 hasConcept C33923547 @default.
- W3007885864 hasConcept C41008148 @default.
- W3007885864 hasConcept C80444323 @default.
- W3007885864 hasConceptScore W3007885864C108710211 @default.
- W3007885864 hasConceptScore W3007885864C154945302 @default.
- W3007885864 hasConceptScore W3007885864C199360897 @default.
- W3007885864 hasConceptScore W3007885864C206743973 @default.
- W3007885864 hasConceptScore W3007885864C2524010 @default.
- W3007885864 hasConceptScore W3007885864C2777212361 @default.
- W3007885864 hasConceptScore W3007885864C2780801425 @default.
- W3007885864 hasConceptScore W3007885864C33923547 @default.
- W3007885864 hasConceptScore W3007885864C41008148 @default.
- W3007885864 hasConceptScore W3007885864C80444323 @default.
- W3007885864 hasLocation W30078858641 @default.
- W3007885864 hasLocation W30078858642 @default.
- W3007885864 hasLocation W30078858643 @default.
- W3007885864 hasLocation W30078858644 @default.
- W3007885864 hasOpenAccess W3007885864 @default.
- W3007885864 hasPrimaryLocation W30078858641 @default.
- W3007885864 hasRelatedWork W1720966585 @default.
- W3007885864 hasRelatedWork W1732791153 @default.
- W3007885864 hasRelatedWork W1799042098 @default.
- W3007885864 hasRelatedWork W182723225 @default.
- W3007885864 hasRelatedWork W2079125094 @default.
- W3007885864 hasRelatedWork W2273920291 @default.
- W3007885864 hasRelatedWork W296477721 @default.
- W3007885864 hasRelatedWork W3007885864 @default.
- W3007885864 hasRelatedWork W3028937537 @default.
- W3007885864 hasRelatedWork W4210515050 @default.
- W3007885864 hasVolume "313" @default.
- W3007885864 isParatext "false" @default.
- W3007885864 isRetracted "false" @default.
- W3007885864 magId "3007885864" @default.
- W3007885864 workType "article" @default.