Logic Programming and Reasoning Puzzles
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62690094%3A18450%2F22%3A50019502" target="_blank" >RIV/62690094:18450/22:50019502 - isvavai.cz</a>
Result on the web
<a href="https://ieeexplore.ieee.org/document/9820010" target="_blank" >https://ieeexplore.ieee.org/document/9820010</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/EAEEIE54893.2022.9820010" target="_blank" >10.1109/EAEEIE54893.2022.9820010</a>
Alternative languages
Result language
angličtina
Original language name
Logic Programming and Reasoning Puzzles
Original language description
The aim of our paper is to show how various reasoning puzzles can be used to teach the ICT students the craft of programming. We have described several reasoning puzzles here together with various approaches to solve them. The individual algorithms allow us to show the typical mistakes and inefficiencies that students usually do when solving the problem. While the puzzles are easy to be defined and explained, they represent reasonably difficult problems to be solved by naïve algorithms. Students are guided through the process of development of more efficient algorithms, they learn the important principles of dealing with generate and test problems, and the basic rules to be remembered are formulated there. The programs are written in Prolog and we discuss the reasons for the utilisation of this programming language in our paper too. Nevertheless, it has been stressed that the principles described here are valid generally and regardless the choice of programming language.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 2022 31th Annual Conference of the European Association for Education in Electrical and Information Engineering, EAEEIE 2022
ISBN
978-1-66548-442-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
91-96
Publisher name
IEEE
Place of publication
Piscataway
Event location
Coimbra, Portugal
Event date
Jun 29, 2022
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
000863031500017