Share This
table started by
vtalwar for the Theory Base
There is no user-contributed description yet.
Add More Topics
Save this view to a base, or just for yourself.
9 Topic topics matching:
Filter this Collection| x name | x image | x article |
|---|---|---|
| x Intuitionistic type theory |
Intuitionistic type theory, or constructive type theory, or Martin-Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per...
|
|
| x Number theory |
|
Number theory is the branch of pure mathematics concerned with the properties of numbers in general, and integers in particular, as well as the wider classes of problems that arise from their study.
Number theory may be subdivided into several...
|
| x Domain theory |
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer...
|
|
| x Modal logic |
A modal logic is any system of formal logic that attempts to deal with modalities. Modals qualify the truth of a judgment. For example, if it is true that "John is happy," we might qualify this statement by saying that "John is very happy," in which...
|
|
| x Topology |
|
Topology (from the Greek τόπος, “place”, and λόγος, “study”) is a major area of mathematics concerned with spatial properties that are preserved under continuous deformations of objects, for example deformations that involve stretching, but no...
|
| x Set theory |
Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics.
The modern study of...
|
|
| x Game theory |
|
Game theory is a branch of applied mathematics that is used in the social sciences, most notably in economics, as well as in biology, engineering, political science, international relations, computer science, and philosophy. Game theory attempts to...
|
| x Information theory |
|
Information theory is a branch of applied mathematics and electrical engineering involving the quantification of information. Historically, information theory was developed by Claude E. Shannon to find fundamental limits on compressing and reliably...
|
| x page1 |
iieeee ablible abilible wiiieiieeeen
|
|
