Results 21 to 30 of about 47,544 (165)
Mathematics as programming [PDF]
, 1984 In a sufficiently rich programming language it is possible to express a very substantial amount of mathematics in a natural way. I don't mean only that one can write down functions or solve equations, I mean that one can write theorems and proofs. Moreover, expressing mathematics in this way reveals its computational content and makes it available for ...
openaire +1 more source
The mathematics of programming [PDF]
, 1985 I hold the principle that the construction of computer programs is a mathematical activity like the solution of differential equations. Programs can be derived from their specifications by mathematical insight calculation and proof, using algebraic laws as simple and elegant as those of elementary arithmetic.
openaire +1 more source
Mathematical picture language program [PDF]
Proceedings of the National Academy of Sciences, 2017 Significance We reevaluate ways that one can use pictures, not only to gain mathematical insights, but also to prove mathematical theorems. As an example, we describe ways that the quon language, invented to study quantum information, sheds light on several other areas of mathematics.
Jaffe, Arthur, Liu, Zhengwei
openaire +5 more sources
ANALISIS KEMAMPUAN REPRESENTASI MATEMATIS PESERTA DIDIK PADA MATERI PROGRAM LINEAR
Jupitek, 2021 Mathematical representation ability is the ability to present notations, symbols, tables, pictures, graphs, diagrams, equations, or other mathematical expressions into other forms possessed by students to find solutions to a problem at hand.
Eunike Ester Mataheru +2 more
doaj +1 more source
Types of mathematical thinking implemented in the learn process of functional programming
Tecnura, 2018 Context: This article presents and analyzes the results of a research carried out in a classroom, in the context of the learning of functional programming at university level in Systems Engineering and Computing program, from the application of the types
Omar Iván Trejos Buriticá
doaj +1 more source
TASK Quarterly, 2019 The matrix Green’s function of the initial-boundary value problem of admixture double-diffusivity is defined. The initial-boundary value problem with a point source is formulated for the matrix elements for determination of the matrix Green’s function ...
YEVHEN CHAPLYA +2 more
doaj +1 more source
Rank-Based Solution Methods and their Applications in Determination of Non-Dominated Points Set For A Multi-Objective Integer Programming Model [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2020 For any single-objective mathematical programming model, rank-based optimal solutions are computationally difficult to find compared to an optimal solution to the same single-objective mathematical programming model.
Ali Al-Hasani +3 more
doaj +1 more source
Communications, 2003 The problem studied in the paper is an air traffic problem on the airport runway. The goal is finding an aircraft landing sequence that meets the time window for the particular aircraft and at the same time the separation times between two aircraft ...
Jan Pelikan
doaj +1 more source
Comparison of Selected Mathematical Programming Models Used for Sustainable Land and Farm Management
Land, 2022 The aim of this study is to compare three mathematical programing models used for sustainable land and farm management. The sample for the comparison was 219 agricultural holdings participating as beneficiaries of the measure ‘Modernization of ...
Christina Moulogianni
doaj +1 more source
Fuzzy linear mathematical programming in agriculture
Bibechana, 2015 In this paper we present a Fuzzy linear Mathematical programming approach for optimal allocation of land under cultivation. Fuzzy Mathematical programming approach is more realistic and flexible optimal solution for the agricultural land cultivation ...
MA Lone, MS Puktha, SA Mir
doaj +3 more sources