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...

Full description

Bibliographic Details
Main Author: David GINAT
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