004 Datenverarbeitung; Informatik
Refine
Has Fulltext
- yes (36)
Document Type
- Article (20)
- Conference Proceeding (15)
- Postprint (1)
Language
- English (36) (remove)
Is part of the Bibliography
- no (36) (remove)
Keywords
- Diversity (2)
- AMNET (1)
- Adaptive hypermedia (1)
- Bachelor (1)
- CS Ed Research (1)
- CS at school (1)
- CS curriculum (1)
- Comparing programming environments (1)
- Constraint Solving (1)
- Course development (1)
- Course marketing (1)
- Course of Study (1)
- Courses for female students (1)
- Curricula Development (1)
- Curriculum analysis (1)
- Deduction (1)
- Ethics (1)
- Gender (1)
- General subject “Information” (1)
- ICT (1)
- ICT curriculum (1)
- Informatics (1)
- Information Ethics (1)
- Intersectionality (1)
- Logic Programming (1)
- Logics (1)
- Mobile learning (1)
- Navigation (1)
- Optimization (1)
- Planing (1)
- Primary informatics (1)
- Problem solving (1)
- Problem solving strategies (1)
- Programming environments for children (1)
- Programming learning (1)
- Prolog (1)
- Pytho n (1)
- STEM (1)
- Scientific understanding of Information (1)
- Social impact (1)
- Sociotechnical Design (1)
- Teaching problem solving strategies (1)
- Trajectories (1)
- Women and IT (1)
- XM (1)
- ad hoc learning (1)
- ad hoc messaging network (1)
- bottom–up (1)
- built–in predicates (1)
- collaboration (1)
- community (1)
- competence (1)
- computational thinking (1)
- computer science (1)
- computing science education (1)
- concept of algorithm (1)
- constructionism (1)
- deductive databases (1)
- e-learning platform (1)
- engaged computing (1)
- extensions of logic programs (1)
- forward / backward chaining (1)
- function symbols (1)
- general secondary education (1)
- generalized logic programs (1)
- informatics curricula (1)
- informatics education (1)
- informatics in upper secondary education (1)
- instruction (1)
- international comparison (1)
- international study (1)
- knowledge representation (1)
- lesson (1)
- logic programming (1)
- mandatory computer science foundations (1)
- misconceptions (1)
- multi-valued logic (1)
- paraconsistency (1)
- pervasive learning (1)
- primary school (1)
- science (1)
- semantics (1)
- situated learning (1)
- social networking (1)
- sorting (1)
- spreadsheets (1)
- stratification (1)
- teacher (1)
- teacher education (1)
- teacher training (1)
- teaching material (1)
- test items (1)
- topics (1)
- top– down (1)
Institute
- Extern (36) (remove)
We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.
Diversity is a term that is broadly used and challenging for informatics research, development and education. Diversity concerns may relate to unequal participation, knowledge and methodology, curricula, institutional planning etc. For a lot of these areas, measures, guidelines and best practices on diversity awareness exist. A systemic, sustainable impact of diversity measures on informatics is still largely missing. In this paper I explore what working with diversity and gender concepts in informatics entails, what the main challenges are and provide thoughts for improvement. The paper includes definitions of diversity and intersectionality, reflections on the disciplinary basis of informatics and practical implications of integrating diversity in informatics research and development. In the final part, two concepts from the social sciences and the humanities, the notion of “third space”/hybridity and the notion of “feminist ethics of care”, serve as a lens to foster more sustainable ways of working with diversity in informatics.
In this paper we report on our experiments in teaching computer science concepts with a mix of tangible and abstract object manipulations. The goal we set ourselves was to let pupils discover the challenges one has to meet to automatically manipulate formatted text. We worked with a group of 25 secondary school pupils (9-10th grade), and they were actually able to “invent” the concept of mark-up language. From this experiment we distilled a set of activities which will be replicated in other classes (6th grade) under the guidance of maths teachers.
In this talk, I would like to share my experiences gained from participating in four CSP solver competitions and the second ASP solver competition. In particular, I’ll talk about how various programming techniques can make huge differences in solving some of the benchmark problems used in the competitions. These techniques include global constraints, table constraints, and problem-specific propagators and labeling strategies for selecting variables and values. I’ll present these techniques with experimental results from B-Prolog and other CLP(FD) systems.
The challenge is providing teachers with the resources they need to strengthen their instructions and better prepare students for the jobs of the 21st Century. Technology can help meet the challenge. Teachers’ Tryscience is a noncommercial offer, developed by the New York Hall of Science, TeachEngineering, the National Board for Professional Teaching Standards and IBM Citizenship to provide teachers with such resources. The workshop provides deeper insight into this tool and discussion of how to support teaching of informatics in schools.
Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.
The traditional purpose of algorithm in education is to prepare students for programming. In our effort to introduce the practically missing computing science into Czech general secondary education, we have revisited this purpose.We propose an approach, which is in better accordance with the goals of general secondary education in Czechia. The importance of programming is diminishing, while recognition of algorithmic procedures and precise (yet concise) communication of algorithms is gaining importance. This includes expressing algorithms in natural language, which is more useful for most of the students than programming. We propose criteria to evaluate such descriptions. Finally, an idea about the limitations is required (inefficient algorithms, unsolvable problems, Turing’s test). We describe these adjusted educational goals and an outline of the resulting course. Our experience with carrying out the proposed intentions is satisfactory, although we did not accomplish all the defined goals.
Ethical issues surrounding modern computing technologies play an increasingly important role in the public debate. Yet, ethics still either doesn’t appear at all or only to a very small extent in computer science degree programs. This paper provides an argument for the value of ethics beyond a pure responsibility perspective and describes the positive value of ethical debate for future computer scientists. It also provides a systematic analysis of the module handbooks of 67 German universities and shows that there is indeed a lack of ethics in computer science education. Finally, we present a principled design of a compulsory course for undergraduate students.
Japan launched the new Course of Study in April 2012, which has been carried out in elementary schools and junior high schools. It will also be implemented in senior high schools from April 2013. This article presents an overview of the information studies education in the new Course of Study for K-12. Besides, the authors point out what role experts of informatics and information studies education should play in the general education centered around information studies that is meant to help people of the nation to lead an active, powerful, and flexible life until the satisfying end.
Development of competence-oriented curricula is still an important theme in informatics education. Unfortunately informatics curricula, which include the domain of logic programming, are still input-orientated or lack detailed competence descriptions. Therefore, the development of competence model and of learning outcomes' descriptions is essential for the learning process in this domain. A prior research developed both. The next research step is to formulate test items to measure the described learning outcomes. This article describes this procedure and exemplifies test items. It also relates a test in school to the items and shows which misconceptions and typical errors are important to discuss in class. The test result can also confirm or disprove the competence model. Therefore, this school test is important for theoretical research as well as for the concrete planning of lessons. Quantitative analysis in school is important for evaluation and improvement of informatics education.