1 |
Deductive multi-valued model checking /Mallya, Ajay. January 2006 (has links)
Thesis (Ph. D.)--University of Texas at Dallas, 2006. / Includes vita. Includes bibliographical references (leaves 107-114).
|
2 |
The effectiveness of logical reasoning on the solution of value problemsSchactman, Chuck Seymour January 1976 (has links)
Certain values education programs have been recently developed which emphasize teaching students to gain ability in critical, deductive reasoning. The major contention of this paper was that this type of reasoning is not entirely adequate for the solution of certain value loaded problems. In order to empirically test this hypothesis, a group of university students trained in formal logic was selected. Then three tests of logic were devised — one symbolic, one verbal and neutral, and the third verbal and value loaded. On three different sessions these tests were administered so that each subject attempted each test. Every item across the three tests was exactly the same in terms of logical content. The results were then tabulated and the analyses performed. The results showed support for the major hypothesis, that subjects perform significantly different on tests incorporating the same logic, but whose content differs. These results were then viewed in relation to values education programs stressing deductive reasoning and to the educational implications that may arise. Finally it was concluded that if transfer of learning to real life situations is a goal of education, then the programs mentioned are insufficient for the realization of these goals, and that the inclusion of educational procedures in the affective and perceptual, as well as the cognitive domains, is necessary for the successful transfer of learned strategies to everyday life situations. / Arts, Faculty of / Psychology, Department of / Graduate
|
3 |
Definite Forms in Valued FieldsMiller-Sims, Laurel G. 04 1900 (has links)
<p> Let K = (K, v, ... ) be a model of a model-complete theory, T of valued fields. We
characterise, for certain definable subsets S of K^n, the collections of S-T-integral
definite and S-T-infinitesimal definite rational functions. Specifically, we consider
subsets S defined by both integrality and infinitesimality conditions for the theories of
algebraically closed valued fields, p-adically closed fields, two model-complete theories
of valued D-fields and in two model-complete theories of henselian residually valued
fields.</p> / Thesis / Doctor of Philosophy (PhD)
|
4 |
Generalized closed sets and T?/?-spaces /Dunham, William Wade January 1974 (has links)
No description available.
|
5 |
Set Function Integrals and Absolute ContinuityHootman, Robert W. 05 1900 (has links)
The purpose of this thesis is to investigate a theory of integration of real-valued functions defined on fields of sets.
|
6 |
Vector optimization.January 1988 (has links)
by Cheung Kam Ching Leo. / Thesis (M.Ph.)--Chinese University of Hong Kong, 1988. / Bibliography: leaves 98-99.
|
7 |
A 4-valued theory of classes and individualsBrady, Ross Thomas January 1971 (has links)
No description available.
|
8 |
On the unimodality of the independent set numbers of a class of matroids /Mahoney, Carolyn Ray Boone January 1982 (has links)
No description available.
|
9 |
On the fixed point property for Grassmann manifolds /O'Neill, Larkin Shaumus January 1974 (has links)
No description available.
|
10 |
On the collection of topologies on a set which make a map from the set onto a topological space an identification /Gearhart, Thomas Kent January 1979 (has links)
No description available.
|
Page generated in 0.0501 seconds