Unification of Universes in Set Theory
The logic of quantification. Non-standart set theories. Typically ambiguous variables. Standardized theory of types. Equate the null classes. Connections with Zermelo's theory. Functional Logic. A motive for unifying universes. Use general variables.
| Рубрика | Математика |
| Предмет | Mathematics |
| Вид | статья |
| Язык | английский |
| Прислал(а) | incognito |
| Дата добавления | 11.09.2012 |
| Размер файла | 338,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Construction of the general algorithm for integration of the linear usual distinctive equation. Creation of the common decision of the differential equation. An example of the decision of linear systems. Definition of components of certain functions.
учебное пособие [2,4 M], добавлен 03.10.2011The great encyclopedic of the Middle Ages Abu Raihon Muhammad ibn Ahmad al-Beruniy, who had been famous with the pseudonym "Ptolemy". Measuring the Distance on the Ground and the Height of a Mountain. The Distances between the Celestial Bodies.
реферат [138,7 K], добавлен 21.03.2008The central elements of the original Community method. A new "intergovernmentalist" school of integration theory emerged, liberal intergovernmentalism. Constructivism, and reshaping European identities and preferences and integration theory today.
практическая работа [29,4 K], добавлен 20.03.2010Definition of Leadership. Trait theory. How this theory works. Origin and Analysis and basics Pre-conditions for effective use of Trait theory. Inborn leadership characteristics. Process of impact and interaction among the leader and his followers.
реферат [436,9 K], добавлен 24.09.2014A cosmological model to explain the origins of matter, energy, space, time the Big Bang theory asserts that the universe began at a certain point in the distant past. Pre-twentieth century ideas of Universe’s origins. Confirmation of the Big Bang theory.
реферат [37,2 K], добавлен 25.06.2010Public choice is an application of neoclassical economic tools. James Buchanan the developer of the Theory of the Public choice. The most important contribution of Public Choice Theory is that it recognizes that politicians are motivated by self interest.
презентация [273,0 K], добавлен 03.04.2012Analysis of Rousseau's social contract theory and examples of its connection with the real world. Structure of society. Principles of having an efficient governmental system. Theory of separation of powers. The importance of censorship and religion.
статья [13,1 K], добавлен 30.11.2014History of interpreting and establishing of the theory. Translation and interpreting. Sign-language communication between speakers. Modern Western Schools of translation theory. Models and types of interpreting. Simultaneous and machine translation.
курсовая работа [45,2 K], добавлен 26.01.2011Theory of economics was created and is developed by the economists of different schools. Main article: History of Economics. Areas of study. Techniques. Language and reasoning. Development of economic thought. The system of economic relations.
реферат [22,6 K], добавлен 12.05.2008Political power as one of the most important of its kind. The main types of political power. The functional analysis in the context of the theory of social action community. Means of political activity related to the significant material cost-us.
реферат [11,8 K], добавлен 10.05.2011
