Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants
Every repetitive process encapsulates a regularity pattern, which may be expressed as an invariant assertion. Invariants embody implicit, insightful properties that characterize the execution of programming statements. Due to their implicit nature, invariants may be less apparent to algorithmic prob...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University
2003-10-01
|
Series: | Informatics in Education |
Subjects: | |
Online Access: | http://www.mii.lt/informatics_in_education/pdf/INFE022.pdf |
id |
doaj-5c34bc3ca4a1433ab20ed92354da5d93 |
---|---|
record_format |
Article |
spelling |
doaj-5c34bc3ca4a1433ab20ed92354da5d932021-01-02T14:08:02ZengVilnius UniversityInformatics in Education1648-58312003-10-0122211222Seeking or Skipping Regularities? Novice Tendencies and the Role of InvariantsDavid GINAT0Computer Science Group, Science Education Department Sharet Building, Tel-Aviv University Tel-Aviv 69978, IsraelEvery repetitive process encapsulates a regularity pattern, which may be expressed as an invariant assertion. Invariants embody implicit, insightful properties that characterize the execution of programming statements. Due to their implicit nature, invariants may be less apparent to algorithmic problem solvers. Yet, invariants are essential for designing correct and efficient algorithms. This paper illustrates the essential role of invariants, and examines whether novices tend to look for invariant properties during their algorithmic problem solving. The paper presents a study in which two novel algorithmic challenges were displayed to a group of motivated, novice students. Student solutions to these challenges demonstrate an operational reasoning approach, which does not capture the essence of the problems at hand, and yields non-satisfying results. Some solutions were incorrect, others were inefficient, and some had no convincing justification. These results, and the correct and efficient solutions to both challenges illuminate the importance of assertional reasoning and the fundamental role of invariants.http://www.mii.lt/informatics_in_education/pdf/INFE022.pdfinvariantsalgorithmic problem solvingoperational reasoningassertional reasoning |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
David GINAT |
spellingShingle |
David GINAT Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants Informatics in Education invariants algorithmic problem solving operational reasoning assertional reasoning |
author_facet |
David GINAT |
author_sort |
David GINAT |
title |
Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants |
title_short |
Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants |
title_full |
Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants |
title_fullStr |
Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants |
title_full_unstemmed |
Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants |
title_sort |
seeking or skipping regularities? novice tendencies and the role of invariants |
publisher |
Vilnius University |
series |
Informatics in Education |
issn |
1648-5831 |
publishDate |
2003-10-01 |
description |
Every repetitive process encapsulates a regularity pattern, which may be expressed as an invariant assertion. Invariants embody implicit, insightful properties that characterize the execution of programming statements. Due to their implicit nature, invariants may be less apparent to algorithmic problem solvers. Yet, invariants are essential for designing correct and efficient algorithms. This paper illustrates the essential role of invariants, and examines whether novices tend to look for invariant properties during their algorithmic problem solving. The paper presents a study in which two novel algorithmic challenges were displayed to a group of motivated, novice students. Student solutions to these challenges demonstrate an operational reasoning approach, which does not capture the essence of the problems at hand, and yields non-satisfying results. Some solutions were incorrect, others were inefficient, and some had no convincing justification. These results, and the correct and efficient solutions to both challenges illuminate the importance of assertional reasoning and the fundamental role of invariants. |
topic |
invariants algorithmic problem solving operational reasoning assertional reasoning |
url |
http://www.mii.lt/informatics_in_education/pdf/INFE022.pdf |
work_keys_str_mv |
AT davidginat seekingorskippingregularitiesnovicetendenciesandtheroleofinvariants |
_version_ |
1724353500894199808 |