- theoretical programming
- мат. теоретическое программирование
Большой англо-русский и русско-английский словарь. 2001.
theoretical programming
Смотреть что такое "theoretical programming" в других словарях:
Theoretical computer science — is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not… … Wikipedia
Theoretical production ecology — tries to quantatively study the growth of crops. The plant is treated as a kind of biological factory, which processes light, carbon dioxide, water and nutrients into harvestable parts.Main parameters kept into consideration are temperature,… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Programming language theory — (commonly known as PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and programming language features. It is a multi disciplinary field, both… … Wikipedia
Programming Research Group — The Programming Research Group (PRG) is part of the Oxford University Computing Laboratory (OUCL). It was founded by Christopher Strachey in 1965 and after his untimely death, C.A.R. Hoare, FRS took over the leadership in 1977. The PRG ethos is… … Wikipedia
Programming language for Computable Functions — The Programming language for Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott. It can be considered as a simplified version of… … Wikipedia
Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Linear programming — (LP, or linear optimization) is a mathematical method for determining a way to achieve the best outcome (such as maximum profit or lowest cost) in a given mathematical model for some list of requirements represented as linear relationships.… … Wikipedia
Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… … Wikipedia
Neuro-linguistic programming bibliography — A bibliography of books and articles about Neuro linguistic programming (NLP). All entries here should be substantially about NLP or its applications, or make significant points specifically about NLP.BooksIn Author:Publication Year sequence*cite … Wikipedia
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
