Refine
Has Fulltext
- yes (131)
Year of publication
- 2012 (131) (remove)
Document Type
- Article (131) (remove)
Is part of the Bibliography
- no (131) (remove)
Keywords
- Curriculum Framework (17)
- European values education (17)
- Europäische Werteerziehung (17)
- Familie (17)
- Family (17)
- Lehrevaluation (17)
- Studierendenaustausch (17)
- Unterrichtseinheiten (17)
- curriculum framework (17)
- lesson evaluation (17)
Institute
- Extern (23)
- MenschenRechtsZentrum (19)
- Institut für Umweltwissenschaften und Geographie (17)
- Department Linguistik (12)
- Arbeitskreis Militär und Gesellschaft in der Frühen Neuzeit e. V. (11)
- Institut für Jüdische Studien und Religionswissenschaft (10)
- Institut für Romanistik (10)
- Vereinigung für Jüdische Studien e. V. (10)
- Historisches Institut (9)
- Kommunalwissenschaftliches Institut (7)
This document presents an axiom selection technique for classic first order theorem proving based on the relevance of axioms for the proof of a conjecture. It is based on unifiability of predicates and does not need statistical information like symbol frequency. The scope of the technique is the reduction of the set of axioms and the increase of the amount of provable conjectures in a given time. Since the technique generates a subset of the axiom set, it can be used as a preprocessor for automated theorem proving. This technical report describes the conception, implementation and evaluation of ARDE. The selection method, which is based on a breadth-first graph search by unifiability of predicates, is a weakened form of the connection calculus and uses specialised variants or unifiability to speed up the selection. The implementation of the concept is evaluated with comparison to the results of the world championship of theorem provers of the year 2012 (CASC J6). It is shown that both the theorem prover leanCoP which uses the connection calculus and E which uses equality reasoning, can benefit from the selection approach. Also, the evaluation shows that the concept is applyable for theorem proving problems with thousands of formulae and that the selection is independent from the calculus used by the theorem prover.
Slovak schools
(2012)
The EVE curriculum framework
(2012)
Assignments, curriculum framework and background information as the base of developing lessons
(2012)
1. What are the general strengths of the assignments? 2. Structure of the assignment 3. Resources of the assignment 4. Fostering self-expression 5. How could you improve the assignment? 6. Lack of specific examples 7. Not relating the issue to the students 8. Language Problems 9. Infeasibility to adaptation 10. In what ways was the additional information useful ? How could this be improved? 11. Was the framework useful for you and in what way? 12. In what ways did the assignments reflect the steps identified in the framework?
Developing Critical Thinking
(2012)
Deepening Understanding
(2012)
Teaching patterns and trends
(2012)
1. Outline 2. Definition 3. Why is it important (or not) to teach about patterns and trends? What are the strengths and weaknesses of teaching patterns and trends? 4. How were patterns and trends offered in the original assignments? 5. What did the student teacher change in practice? How did it go? 6. Suggestions for improving patterns and trends
The Dutch school system
(2012)