Treffer: Teaching constraints through logic puzzles
Title:
Teaching constraints through logic puzzles
Authors:
Source:
CSCLP 2003 (recent advances in constraints)Lecture notes in computer science. :196-222
Publisher Information:
Berlin: Springer, 2004.
Publication Year:
2004
Physical Description:
print, 14 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Fonctions logiques, booléennes et de commutation, Logical, boolean and switching functions, Economie, Economy, Economía, Enseignement, Teaching, Enseñanza, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Satisfaction contrainte, Constraint satisfaction, Satisfaccion restricción, Sciences économiques, Economics, Ciencias económicas
Document Type:
Konferenz
Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Dept. of Computer Science and Information Theory, Budapest University of Technology and Economics, 1117 Budapest, Hungary
Magyar tudósok körútja 2, szeredi@cs.bme.hu IQSYS, Information Systems Ltd., Csata u. 8, 1135 Budapest, Hungary
Magyar tudósok körútja 2, szeredi@cs.bme.hu IQSYS, Information Systems Ltd., Csata u. 8, 1135 Budapest, Hungary
ISSN:
0302-9743
Rights:
Copyright 2004 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.15851049
Database:
PASCAL Archive
Weitere Informationen
The paper describes the experiences of teaching a constraint logic programming course at the Budapest University of Technology and Economics. We describe the structure of the course, the material covered, some examples, assignments, and examination tasks. Throughout the paper we show how logic puzzles can be used to illustrate constraint programming techniques.