English
Related papers

Related papers: Logic Programming for an Introductory Computer Sci…

200 papers

Physics has a reputation among majority of life sciences students for being very complicated and tough. If we leave students with this impression, it is likely that students see physics class as useless and irrelevant to life sciences.…

Physics Education · Physics 2024-08-06 Ganga P. Sharma , Shantanu Chakraborty , Bilas Paul

Practical research was conducted to cultivate students' mathematical computation ability using literature analysis, theoretical practice, and statistical analysis methods. The research involved 171 ninth-grade students from the author's…

History and Overview · Mathematics 2023-03-06 Yang Liu , Xuedan Li

Given the potential for technology to inflict harm and injustice on society, it is imperative that we cultivate a sense of social responsibility among our students as they progress through the Computer Science (CS) curriculum. Our students…

Computers and Society · Computer Science 2024-06-11 Aakash Gautam , Anagha Kulkarni , Sarah Hug , Jane Lehr , Ilmi Yoon

Computer programming was once thought of as a skill required only by professional software developers. But today, given the ubiquitous nature of computation and data science it is quickly becoming necessary for all scientists and engineers…

Computers and Society · Computer Science 2016-08-23 Christian T. Jacobs , Gerard J. Gorman , Huw E. Rees , Lorraine Craig

Quantum computing was once regarded as a mere theoretical possibility, but recent advances in engineering and materials science have brought practical quantum computers closer to reality. Currently, representatives from industry, academia,…

Physics Education · Physics 2022-04-19 Joel A. Walsh , Mic Fenech , Derrick L. Tucker , Catherine Riegle-Crumb , Brian R. La Cour

Graduate courses can provide specialized knowledge for Ph.D. and Master's students and contribute to develop their hard and soft skills. At the same time, Systematic Literature Review (SLR) has been increasingly adopted in the computing…

A pedagogical approach of problem-based learning with embedded librarianship in several undergraduate mathematics courses is implemented in this educational research. The students are assigned to work on several projects on various…

History and Overview · Mathematics 2015-04-08 N. Karjanto , M. Kairatbekkyzy , J. Agee

Logical reasoning is central to human cognition and intelligence. It includes deductive, inductive, and abductive reasoning. Past research of logical reasoning within AI uses formal language as knowledge representation and symbolic…

Computation and Language · Computer Science 2024-02-19 Zonglin Yang , Xinya Du , Rui Mao , Jinjie Ni , Erik Cambria

Large language models (LLMs) often struggle with complex mathematical tasks, prone to "hallucinating" incorrect answers due to their reliance on statistical patterns. This limitation is further amplified in average Small LangSLMs with…

Data literacy skills are fundamental in computer science education. However, understanding how data-driven systems work represents a paradigm shift from traditional rule-based programming. We conducted a systematic literature review of 84…

Computers and Society · Computer Science 2026-03-31 Robert Whyte , Manni Cheung , Katharine Childs , Jane Waite , Sue Sentance

One of the capabilities which 21st-century skill compulsory a person is critical thinking and problem-solving skill that becomes top positions rank. Focus on problem-solving skills can be taught to a child, especially begun in elementary…

Computers and Society · Computer Science 2020-07-09 Andik Asmara

Environments for systematic construction of logic programs are needed in the academy as well as in the industry. Such environments should support well defined construction methods and should be able to be extended and interact with other…

Programming Languages · Computer Science 2007-05-23 Gustavo A. Ospina , Baudouin Le Charlier

Background: Large Language Models (LLMs) such as ChatGPT and CoPilot are influencing software engineering practice. Software engineering educators must teach future software engineers how to use such tools well. As of yet, there have been…

Software Engineering · Computer Science 2024-04-18 Ben Arie Tanay , Lexy Arinze , Siddhant S. Joshi , Kirsten A. Davis , James C. Davis

Providing personalized assistance at scale is a long-standing challenge for computing educators, but a new generation of tools powered by large language models (LLMs) offers immense promise. Such tools can, in theory, provide on-demand help…

Computers and Society · Computer Science 2024-01-09 Brad Sheese , Mark Liffiton , Jaromir Savelka , Paul Denny

Linear Programs (LP) are celebrated widely, particularly so in machine learning where they have allowed for effectively solving probabilistic inference tasks or imposing structure on end-to-end learning systems. Their potential might seem…

Artificial Intelligence · Computer Science 2022-03-30 Matej Zečević , Florian Peter Busch , Devendra Singh Dhami , Kristian Kersting

Students taking introductory physics are rarely exposed to computational modeling. In a one-semester large lecture introductory calculus-based mechanics course at Georgia Tech, students learned to solve physics problems using the VPython…

Physics Education · Physics 2011-12-22 Marcos D. Caballero , Matthew A. Kohlmyer , Michael F. Schatz

The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples. Until recently, most research on ILP targeted learning Prolog programs. The ILASP system instead learns Answer Set Programs (ASP). Learning…

Artificial Intelligence · Computer Science 2022-01-19 Mark Law

In this paper, we describe the possibilities of using a rapid mental computation system in elementary education. The system consists of a number of readily memorized operations that allow one to perform arithmetic computations very quickly.…

Computers and Society · Computer Science 2013-05-21 Rushan Ziatdinov , Sajid Musa

Authentic research as a method of teaching science is gaining popularity in high schools and colleges. To make this research experience most efficient, students need adequate preparation in traditional science courses. Existing materials…

Physics Education · Physics 2018-08-10 Roxanne P. Spencer , Sergey V. Samsonau

This paper proposes an evaluation of the adequacy of the constraint logic programming paradigm for natural language processing. Theoretical aspects of this question have been discussed in several works. We adopt here a pragmatic point of…

cmp-lg · Computer Science 2008-02-03 Philippe Blache , Nabil Hathout