Search results for "Mathematical logic"
showing 4 items of 394 documents
Learning from Implicit Learning Literature: Comment on Shea, Wulf, Whitacre, and Park (2001)
2003
International audience; In their analysis of complex motor skill learning, Shea, Wulf, Whitacre, and Park (2001) have overlooked one of the most robust conclusions of the experimental studies on implicit learning conducted during the last decade--namely that participants usually learn things that are different from those that the experimenter expected them to learn. We show that the available literature on implicit learning strongly suggests that the improved performance in Shea et al.'s Experiments 1 and 2 (and similar earlier experiments, e.g., Wulf & Schmidt, 1997) was due to the exploitation of regularities in the target pattern different from those on which the postexperimental intervi…
Introduction to Mathematical Logic, Edition 2021
2021
Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).
A dynamic performance management approach to support local strategic planning
2015
In spite of efforts devoted in the last decades to local strategic planning, such field of research and practice has been frequently characterized by a lack of implementation. We argue here that this phenomenon is due to the limitations of the static and linear approach to local strategic planning in fostering the development of common shared view among policy makers on the relevant system's structure and behavior. By means of a case-study, we illustrate how an approach based on system dynamics modeling applied to Performance Management can be useful to overcome such weaknesses. The proposed approach enhances a better understanding of the causes and effects related to adopted policies, unde…
Semi-automatic literature mapping of participatory design studies 2006--2016
2018
The paper presents a process of semi-automatic literature mapping of a comprehensive set of participatory design studies between 2006--2016. The data of 2939 abstracts were collected from 14 academic search engines and databases. With the presented method, we were able to identify six education-related clusters of PD articles. Furthermore, we point out that the identified clusters cover the majority of education-related words in the whole data. This is the first attempt to systematically map the participatory design literature. We argue that by continuing our work, we can help to perceive a coherent structure in the body of PD research.