Results 1  10
of
2,246,648
PolySet Theory
 http://www.rbjones.com/rbjpub/pp/doc/t020.pdf. p011.tex; 25/01/2010; 13:13; p.12 13
"... This document is concerned with the specification of an interpretation of the first order language of set theory. The purpose of this is to provide an ontological basis for foundation systems suitable for the formal derivation of mathematics. The ontology is to include the pure wellfounded sets of ..."
Abstract

Cited by 250 (2 self)
 Add to MetaCart
This document is concerned with the specification of an interpretation of the first order language of set theory. The purpose of this is to provide an ontological basis for foundation systems suitable for the formal derivation of mathematics. The ontology is to include the pure wellfounded sets
Set theory
"... Set theory aims at proving interesting true statements about the mathematical universe. Different people interpret “interesting ” in different ways. It is well known that set theory comes from real analysis. Certainly, descriptive set theory, the study of properties of definable sets of reals, is an ..."
Abstract
 Add to MetaCart
Set theory aims at proving interesting true statements about the mathematical universe. Different people interpret “interesting ” in different ways. It is well known that set theory comes from real analysis. Certainly, descriptive set theory, the study of properties of definable sets of reals
Set Theory
, 2010
"... Set Theory deals with the fundamental concepts of sets and functions used everywhere in mathematics. Cantor initiated the study of set theory with his investigations on the cardinality of sets of real numbers. In particular, he proved that there are different infinite cardinalities: the quantity of ..."
Abstract
 Add to MetaCart
Set Theory deals with the fundamental concepts of sets and functions used everywhere in mathematics. Cantor initiated the study of set theory with his investigations on the cardinality of sets of real numbers. In particular, he proved that there are different infinite cardinalities: the quantity
Building a Practically Useful Theory of Goal Setting and Task Motivation  A 35Year Odyssey
, 2002
"... The authors summarize 35 years of empirical research on goalsetting theory. They describe the core findings of the theory, the mechanisms by which goals operate, moderators of goal effects, the relation of goals and satisfaction, and the role of goals as mediators of incentives. The external validi ..."
Abstract

Cited by 453 (10 self)
 Add to MetaCart
The authors summarize 35 years of empirical research on goalsetting theory. They describe the core findings of the theory, the mechanisms by which goals operate, moderators of goal effects, the relation of goals and satisfaction, and the role of goals as mediators of incentives. The external
Set Theory
"... Set Theory deals with the fundamental concepts of sets and functions used everywhere in mathematics. Cantor initiated the study of set theory with his investigations on the cardinality of sets of real numbers. In particular, he proved that there are different infinite cardinalities: the quantity of ..."
Abstract
 Add to MetaCart
Set Theory deals with the fundamental concepts of sets and functions used everywhere in mathematics. Cantor initiated the study of set theory with his investigations on the cardinality of sets of real numbers. In particular, he proved that there are different infinite cardinalities: the quantity
Domain Theory
 Handbook of Logic in Computer Science
, 1994
"... Least fixpoints as meanings of recursive definitions. ..."
Abstract

Cited by 546 (25 self)
 Add to MetaCart
Least fixpoints as meanings of recursive definitions.
A Theory of the Learnable
, 1984
"... Humans appear to be able to learn new concepts without needing to be programmed explicitly in any conventional sense. In this paper we regard learning as the phenomenon of knowledge acquisition in the absence of explicit programming. We give a precise methodology for studying this phenomenon from ..."
Abstract

Cited by 1977 (15 self)
 Add to MetaCart
a computational viewpoint. It consists of choosing an appropriate information gathering mechanism, the learning protocol, and exploring the class of concepts that can be learnt using it in a reasonable (polynomial) number of steps. We find that inherent algorithmic complexity appears to set serious
Algebraic Graph Theory
"... Algebraic graph theory comprises both the study of algebraic objects arising in connection with graphs, for example, automorphism groups of graphs along with the use of algebraic tools to establish interesting properties of combinatorial objects. One of the oldest themes in the area is the investiga ..."
Abstract

Cited by 868 (12 self)
 Add to MetaCart
is the investigation of the relation between properties of a graph and the spectrum of its adjacency matrix. A central topic and important source of tools is the theory of association schemes. An association scheme is, roughly speaking, a collection of graphs on a common vertex set which fit together in a highly
Results 1  10
of
2,246,648