Logic Programming and Reasoning Puzzles

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

Logic Programming and Reasoning Puzzles

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Logic Programming and Reasoning Puzzles

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

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

—

Počet stran výsledku

6

Strana od-do

91-96

Název nakladatele

IEEE

Místo vydání

Piscataway

Místo konání akce

Coimbra, Portugal

Datum konání akce

29. 6. 2022

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

000863031500017