The problem of the current research has been represented by the lack of studies on the foundations of forming the proportional relations in the Islamic architecture. The objective of the study was defined in an attempt to reveal the concepts and the items of the system of proportional relations in the Islamic architecture. The proportion in architecture either derived from the mathematical matr...

to evaluate the effects of the current situation and future development on source groundwater whether quantitative or qualitative point of view, simulation computer resources, a powerful tool in the optimal utilization of source is considered. year recent several model of math and computer simulation of hydraulic behavior of underground water resources focus is located. like making mathematical...

Identifying mathematical relations expressed in text is essential to understanding a broad range of natural language text from election reports, to financial news, to sport commentaries to mathematical word problems. This paper focuses on identifying and understanding mathematical relations described within a single sentence. We introduce the problem of Equation Parsing – given a sentence, iden...

This paper describes a semantics of typed lambda calculi based on relations. The main mathematical tool is a category-theoretic method of sconing, also called glueing or Freyd covers. Its correspondence to logical relations is also examined.

explanation and evaluation of the book “rational choice and security studies, stephen walt and its critics”, edited by brown owen and lynn josomiller, has taken place in fact in the direction of exploration of the knowledge of security studies in international relations. in terms, examination of walt’s rational choice approach, and the formal-mathematical model, can help us to present a clear a...