AI Chat AI Image Generator AI Video Text to Speech

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

06/20/2017

∙

by Timothy Yuen, et al.

∙

∙

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.

Timothy Yuen
1 publication
Maritz Reyes
1 publication
Yuanlin Zhang
11 publications

page 1

page 2

page 3

page 4

research

∙ 08/09/2018

Introducing Computer Science to High School Students through Logic Programming

This paper investigates how high school students in an introductory comp...

0 Timothy T. Yuen, et al. ∙

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

0 Bernadette Spieler, et al. ∙

research

∙ 03/30/2000

Representation results for defeasible logic

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

0 G. Antoniou, et al. ∙

research

∙ 01/03/2022

Automated Theorem Proving in the Classroom

We report on several scenarios of using automated theorem proving softwa...

0 Wolfgang Windsteiger, et al. ∙

research

∙ 05/04/2023

Designing Bugs or Doing Another Project: Effects on Secondary Students' Self-Beliefs in Computer Science

Debugging, finding and fixing bugs in code, is a heterogeneous process t...

0 Luis Morales-Navarro, et al. ∙

research

∙ 07/12/2018

Computer science students simulation in capturing tacit knowledge by using NGT for reducing traffic jam

The subject knowledge management systems is one of the main courses in i...

0 Leon Andretti Abdillah, et al. ∙

research

∙ 06/20/2017

An Online Development Environment for Answer Set Programming

Recent progress in logic programming (e.g., the development of the Answe...

0 Elias Marcopoulos, et al. ∙