Introducing Computer Science to High School Students through Logic Programming

08/09/2018
by   Timothy T. Yuen, et al.
0

This paper investigates how high school students in an introductory computer science course approach computing in the Logic Programming (LP) paradigm. This qualitative study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills: students are engaged in a cyclical process of abstraction, reasoning, and creating representations of their ideas in code while also being informed by the (procedural) requirements and the revision/debugging process. As these computing concepts and skills are also expected in traditional approaches to introductory K-12 CS courses, this paper asserts that LP is a viable paradigm choice for high school novices. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/20/2017

Logic Programming for an Introductory Computer Science Course for High School Students

This paper investigates how high school students approach computing thro...
research
09/18/2023

Training Students' Abstraction Skills Around a CAFÉ 2.0

Shaping first year students' mind to help them master abstraction skills...
research
08/19/2019

"Computer Science for all": Concepts to engage teenagers and non-CS students in technology

Knowledge in Computer Science (CS) is essential, and companies have incr...
research
06/20/2017

An Online Development Environment for Answer Set Programming

Recent progress in logic programming (e.g., the development of the Answe...
research
09/06/2019

Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing

Robots are a popular platform for introducing computing and artificial i...
research
06/07/2018

Logic Programming as a Service

New generations of distributed systems are opening novel perspectives fo...
research
03/30/2000

Representation results for defeasible logic

The importance of transformations and normal forms in logic programming,...

Please sign up or login with your details

Forgot password? Click here to reset