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

2017/06/20 by Yuen, Timothy, Reyes, Maritz, Zhang, Yuanlin
#Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences

paper · doi:10.48550/arxiv.1706.09248

Abstract

This paper investigates how high school students approach computing through an introductory computer science course situated in the Logic Programming (LP) paradigm. This study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills, and presents a case for LP as a viable paradigm choice for introductory CS courses.

Related

• Introducing Computer Science to High School Students through Logic Programming
• Logical Modelling in CS Education: Bridging the Natural Language Gap
• "Boring formal methods" or "Sherlock Holmes deduction methods"?
• Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?
• Logic Modelling