Set theorySet theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory.
Set (mathematics)A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other sets. The set with no element is the empty set; a set with a single element is a singleton. A set may have a finite number of elements or be an infinite set. Two sets are equal if they have precisely the same elements. Sets are ubiquitous in modern mathematics.
Pre-pregPre-preg is a composite material made from "pre-impregnated" fibers and a partially cured polymer matrix, such as epoxy or phenolic resin, or even thermoplastic mixed with liquid rubbers or resins. The fibers often take the form of a weave and the matrix is used to bond them together and to other components during manufacture. The thermoset matrix is only partially cured to allow easy handling; this B-Stage material requires cold storage to prevent complete curing.
Evaluation strategyIn a programming language, an evaluation strategy is a set of rules for evaluating expressions. The term is often used to refer to the more specific notion of a parameter-passing strategy that defines the kind of value that is passed to the function for each parameter (the binding strategy) and whether to evaluate the parameters of a function call, and if so in what order (the evaluation order). The notion of reduction strategy is distinct, although some authors conflate the two terms and the definition of each term is not widely agreed upon.
Empty setIn mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other theories, its existence can be deduced. Many possible properties of sets are vacuously true for the empty set. Any set other than the empty set is called non-empty. In some textbooks and popularizations, the empty set is referred to as the "null set".
Rough setIn computer science, a rough set, first described by Polish computer scientist Zdzisław I. Pawlak, is a formal approximation of a crisp set (i.e., conventional set) in terms of a pair of sets which give the lower and the upper approximation of the original set. In the standard version of rough set theory (Pawlak 1991), the lower- and upper-approximation sets are crisp sets, but in other variations, the approximating sets may be fuzzy sets. The following section contains an overview of the basic framework of rough set theory, as originally proposed by Zdzisław I.
Lazy evaluationIn programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation) and which also avoids repeated evaluations (by the use of sharing). The benefits of lazy evaluation include: The ability to define control flow (structures) as abstractions instead of primitives. The ability to define potentially infinite data structures. This allows for more straightforward implementation of some algorithms.
Fuzzy setIn mathematics, fuzzy sets (a.k.a. uncertain sets) are sets whose elements have degrees of membership. Fuzzy sets were introduced independently by Lotfi A. Zadeh in 1965 as an extension of the classical notion of set. At the same time, defined a more general kind of structure called an L-relation, which he studied in an abstract algebraic context. Fuzzy relations, which are now used throughout fuzzy mathematics and have applications in areas such as linguistics , decision-making , and clustering , are special cases of L-relations when L is the unit interval [0, 1].
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Soil scienceSoil science is the study of soil as a natural resource on the surface of the Earth including soil formation, classification and mapping; physical, chemical, biological, and fertility properties of soils; and these properties in relation to the use and management of soils. Sometimes terms which refer to branches of soil science, such as pedology (formation, chemistry, morphology, and classification of soil) and edaphology (how soils interact with living things, especially plants), are used as if synonymous with soil science.
EvaluationIn common usage, evaluation is a systematic determination and assessment of a subject's merit, worth and significance, using criteria governed by a set of standards. It can assist an organization, program, design, project or any other intervention or initiative to assess any aim, realisable concept/proposal, or any alternative, to help in decision-making; or to ascertain the degree of achievement or value in regard to the aim and objectives and results of any such action that has been completed.
Thermoset polymer matrixA thermoset polymer matrix is a synthetic polymer reinforcement where polymers act as binder or matrix to secure in place incorporated particulates, fibres or other reinforcements. They were first developed for structural applications, such as glass-reinforced plastic radar domes on aircraft and graphite-epoxy payload bay doors on the Space Shuttle. They were first used after World War II, and continuing research has led to an increased range of thermoset resins, polymers or plastics, as well as engineering grade thermoplastics.
MeasurementMeasurement is the quantification of attributes of an object or event, which can be used to compare with other objects or events. In other words, measurement is a process of determining how large or small a physical quantity is as compared to a basic reference quantity of the same kind. The scope and application of measurement are dependent on the context and discipline. In natural sciences and engineering, measurements do not apply to nominal properties of objects or events, which is consistent with the guidelines of the International vocabulary of metrology published by the International Bureau of Weights and Measures.
Fibre-reinforced plasticFibre-reinforced plastic (FRP; also called fibre-reinforced polymer, or in American English fiber) is a composite material made of a polymer matrix reinforced with fibres. The fibres are usually glass (in fibreglass), carbon (in carbon-fibre-reinforced polymer), aramid, or basalt. Rarely, other fibres such as paper, wood, boron, or asbestos have been used. The polymer is usually an epoxy, vinyl ester, or polyester thermosetting plastic, though phenol formaldehyde resins are still in use.
Thermosetting polymerIn materials science, a thermosetting polymer, often called a thermoset, is a polymer that is obtained by irreversibly hardening ("curing") a soft solid or viscous liquid prepolymer (resin). Curing is induced by heat or suitable radiation and may be promoted by high pressure, or mixing with a catalyst. Heat is not necessarily applied externally, but is often generated by the reaction of the resin with a curing agent (catalyst, hardener).
Agricultural soil scienceAgricultural soil science is a branch of soil science that deals with the study of edaphic conditions as they relate to the production of food and fiber. In this context, it is also a constituent of the field of agronomy and is thus also described as soil agronomy. Prior to the development of pedology in the 19th century, agricultural soil science (or edaphology) was the only branch of soil science. The bias of early soil science toward viewing soils only in terms of their agricultural potential continues to define the soil science profession in both academic and popular settings .
EpoxyEpoxy is the family of basic components or cured end products of epoxy resins. Epoxy resins, also known as polyepoxides, are a class of reactive prepolymers and polymers which contain epoxide groups. The epoxide functional group is also collectively called epoxy. The IUPAC name for an epoxide group is an oxirane. Epoxy resins may be reacted (cross-linked) either with themselves through catalytic homopolymerisation, or with a wide range of co-reactants including polyfunctional amines, acids (and acid anhydrides), phenols, alcohols and thiols (sometimes called mercaptans).
Soil biologySoil biology is the study of microbial and faunal activity and ecology in soil. Soil life, soil biota, soil fauna, or edaphon is a collective term that encompasses all organisms that spend a significant portion of their life cycle within a soil profile, or at the soil-litter interface. These organisms include earthworms, nematodes, protozoa, fungi, bacteria, different arthropods, as well as some reptiles (such as snakes), and species of burrowing mammals like gophers, moles and prairie dogs.
Program evaluationProgram evaluation is a systematic method for collecting, analyzing, and using information to answer questions about projects, policies and programs, particularly about their effectiveness and efficiency. In both the public sector and private sector, as well as the voluntary sector, stakeholders might be required to assess—under law or charter—or want to know whether the programs they are funding, implementing, voting for, receiving or opposing are producing the promised effect.
