|
|
|
|
|
|
|
|
|
Lambda calculus
| Глоссарий по искусственному интеллекту |
The mathematics of functions that can take other functions as arguments and returns other functions as results. it forms the foundation for procedures in lisp and later computer languages.
|
|
Calculus, английский
- A hard mass like a little piece of stone, which forms inside the body. also called stone (note: the plural is calculi.) comment: calculi are formed of cholesterol and various inorganic substances, and are commonly found in the bladder, the gall bladder (gallstones) and various parts of the kidney. caldwell–luc operation caldwell–luc operation /k? ldwel lu k ?p?re??(?)n/
- N исчисление predicate ~ лог. исчисление предикатов3 propositional ~ лог. исчисление высказыва- ний4
- A system of rules for the manipulation of characters as in the logical calculus or in the differential calculus. if the characters are symbols, a calculus provides the basis for the analysis of what the symbols represent collectively and individually. information theory is a calculus for analysing the amount of entropy in an observed system into various quantities of information exchanged within that system.
Calculus, латинский
Calculus mathematics, английский
Вычислительная математика
Calculus of approximations, английский
Calculus of residues, английский
Теория вычетов
Calculus of variations, английский
Вариационное исчисление calculus-type language язык типа исчисления
Calculus [i, m], латинский
Calculus [i, m] (lusus calculorum), латинский
Calculus, i, m, латинский
Lambda, английский
1. the 11th letter of the greek alphabet 2. the point at the back of the skull where the sagittal suture and lambdoidal suture meet
Lambda (k), английский
Symbol for wavelength; the eleventh letter of the greek alphabet.
Lambda function, английский
A block of programming language code that operates as a function but is not named and cannot be called or referenced except through normal flow of operation. for example, the instruction within the braces in the following code is a lambda function: for (int x=0; x<10; x++) { int y = 2*x; }.
Lambda operator, английский
The c# => operator that is used to separate the parameters and the body of a lambda expression. lamp (n)
Lambda pipette, английский
Lambda plate, английский
Lambdazismus, немецкий
Mathematics, английский
- The science which treats of every kind of quantity that can be numbered or measured.
- Математика
- Originally, the science of number and quantity. but with the birth pf numerous more qualitative formalisms, (e.g., logic, propositional calculi, set theory), with the emergence of the unifying idea of a mathematical structure, with the advent of the axiomatic method emphasising inference, proof and the descriptions of complex systems in terms of simple axioms, and, finally, with self-reflective efforts such as meta-mathematics, mathematics has become the autonomous (->autonomy) science of formal constructions. emphasising its formal character and its applicability to all conceivable worlds, mathematics has been likened to a language whose semantics is supplied by other sciences or by particular applications. although all constructions are inventions of the human mind, cannot be found in nature and have no necessary connection with the world outside mathematics, they nevertheless arise in conjunction with solving certain kinds of problems:(1) real world problems, (e.g., geometry evolved in efforts of measuring the earth, game theory grew out of concerns for social conflict resolution, statistics from the need to test hypotheses on large numbers of observations, recursive function theory from the desire for efficient algorithms,) (2) intellectual curiosity and playfulness, (e.g., markov chain theory stems from interest in poetry, probability theory from games of chance, the four-color problem, symmetry and much of topology (see the mobiusband) from`interest in artistic expression), and (3) interest in the powers and limitations of ma thema tics and the mind, (e. g., goedel` s incompleteness theorem from the inherent undecidability or incompleteness of systems, the theory of logical types from disturbing paradoxes, the differential and integral calculi from efforts to transcend the smallest distinctions practically possible). ,however, it is a characteristic of mathematics that the problems giving rise to its constructions are soon forgotten and the constructions develop a life of their own, checked only by such validity criteria as internal consistency, decidability and completeness. empirical data from an existing world do not threaten the products of mathematics. 48 matrix; a many-dimensional arrangement of numbers suitable to various transformations which form the basis of matrix algebra. a one-dimensional matrix is called a scalar. most frequent are two-dimensional, n-by-m, matrices which might contain the coefficients (->parameter) of a set of linear equations or specify a mapping from an n-dimensional to a m-dimensional vector space (->hyperspace).
Foundation, английский
- The soil, subsoil or rock upon which a structure is supported.
- The supporting portion of a structure below the first floor construction, or below grade, including the footings.
- Основание; фундамент; база
- Основание
- See base rock 1 and
- The base and/or the underlying support, either natural or artificial, on which a building, dam, or other structure is constructed.
- Нагрузка на фундамент; ~ оп the member нагрузка, действующая на элемент конструкции; ~ per
- Основание; фундамент о ~
- Part of a construction work including piles and possibly their pile cap
- Фонд, пожертвованный на культурные начинания учреждение или организация, существующие на пожертвованный фонд
Procedures, английский
Standard, detailed steps that prescribe how to perform specific tasks.
|
Machine precision, английский
The machine precision is the smallest number e such that 1+e 1. this number can vary with both the
Upper expectation, английский
The maximum expectation over a (convex) set of probabilities. see also: lower expectation.
|
|
|
|
|
|
|
