-
1 programming in logic
пролог
Логический язык программирования, широко используемый в системах искусственного интеллекта, а также в качестве основного языка в японских ЭВМ пятого поколения.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > programming in logic
-
2 Programming In Logic
1) Information technology: PROLOG (See HLL; Programming Language)2) File extension: PROLOG (Programming Language)Универсальный русско-английский словарь > Programming In Logic
-
3 Programming in Logic
1) Information technology: PROLOG (See HLL; Programming Language)2) File extension: PROLOG (Programming Language)Универсальный русско-английский словарь > Programming in Logic
-
4 programming in logic
Техника: логическое программирование -
5 programming in logic
[com] PROLOG -
6 programming
1) вчт программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear programming
- linear integer programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular programming
- modular parallel programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programming -
7 programming
1) вчт. программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear integer programming
- linear programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular parallel programming
- modular programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- parallel programming
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programmingThe New English-Russian Dictionary of Radio-electronics > programming
-
8 logic
1) логикаа) в вычислительной технике - последовательность операций, выполняемых программно или аппаратно. Соответственно говорят о программной логике (program logic, software logic) и об аппаратной логике (hardware logic)см. тж. Boolean logic, crisp logic, formal logic, fuzzy logic, inductive logic, mathematical logic, predicate logic, propositional logic, symbolic logic2) логические схемы (вентили), схемотехникасхемы для реализации логических (булевых) операций (см. logic circuit); например, VLSI logic - схемотехника СБИСсм. тж. arbitration logic, binary logic, clockless logic, combinational logic, control logic, digital logic, discrete logic, interconnection logic, logic board, logic analyzer, logic chip, logic element, logic gate, negative logic, optical logic, positive logic, random logic, sequential logic, ternary logic3) (см. тж. logical) - логическийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logic
-
9 programming
1) программирование; разработка программ2) планирование•programming by example — обучение на примерах ( метод программирования роботов);programming by teaching — программирование ( робота) непосредственным обучением-
absolute programming
-
analogic NC part programming
-
analogic NC programming
-
angle programming
-
applicational programming
-
application programming
-
at-the-machine programming
-
away-from-site programming
-
CNC machine tool programming
-
CNC programming
-
computer-aided programming
-
computer-assisted NC programming
-
concurrent programming
-
conversational programming
-
convex programming
-
direct programming
-
discrete programming
-
dynamic programming
-
egoless programming
-
external programming
-
families-of-parts programming
-
file-oriented programming
-
functional programming
-
graphic programming
-
hands-on programming
-
heuristic programming
-
iconic programming
-
in-house programming
-
integer programming
-
intelligent programming
-
ladder-diagram programming
-
linear programming
-
live programming
-
logical programming
-
logic programming
-
machine-site programming
-
manual programming
-
mathematical programming
-
minimum-access programming
-
minimum-delay programming
-
minimum-latency programming
-
modular programming
-
multiple programming
-
NC automatic programming
-
object-oriented programming
-
off-line programming
-
off-the-machine programming
-
on-line programming
-
on-site programming
-
on-the-machine programming
-
operator/foreman programming
-
parallel programming
-
parametric programming
-
part programming
-
part-surface programming
-
PC automatic programming
-
procedure-oriented programming
-
push-button programming
-
relative programming
-
remote programming
-
robotics programming
-
robot programming
-
safe zone programming
-
shape programming
-
shop-floor programming
-
step-by-step programming
-
stochastic programming
-
structured programming
-
symbolic programming
-
system programming
-
TV programming
-
visual programming
-
voice programming -
10 programming
2) программирование (прошивка информации в ПЗУ, ПЛМ и пр.)3) планирование•- agile programming
- application programming
- applicative programming
- bottom-up programming
- cargo cult programming
- chance-constrained nonlinear programming - computer programming
- control-oriented programming
- conversational programming
- convex programming - discrete programming
- dynamic programming
- egoless programming
- encapsulated programming
- external programming
- faultless programming
- fault-tolerant programming
- file-oriented programming
- fill-in-the-blank programming
- flow-of-control programming
- functional programming
- fuse programming
- geometric
- goal programming
- GOTO-less programming
- heuristic programming
- hybrid programming
- imperative programming
- in-house programming
- integer linear programming
- integer programming
- knowledge-based programming
- least wait programming
- linear programming
- literate programming
- logic programming
- logical programming
- machine programming
- maintenance programming
- mathematical programming
- mental programming
- minimal-access programming
- minimum access programming
- minimum delay programming
- minimum latency programming
- mixed-integer programming
- mixed-language programming
- mnemonic automatic programming
- modular programming
- multilevel programming
- multiobjective programming
- multiple programming
- nondeterministic programming
- nonlinear programming
- N-version programming - parallel programming
- parametric programming
- patchboard programming
- pattern recognition programming
- piecework programming
- programming by example
- quadratic programming
- random-access programming
- relative programming
- semi-infinite nonlinear programming
- sequential programming
- serial programming
- shared-memory programming
- spatial programming
- stochastic programming
- storage-efficient programming
- stream-parallel programming
- structured programming
- switchboard programming
- symbolic programming
- system programming
- systolic programming
- throw-away programming
- top-down programming
- wavefront programmingEnglish-Russian dictionary of computer science and programming > programming
-
11 programming
absolute programming вчт. программирование в абсолютных адресах action-driven programming вчт. программирование управляемое событиями automatic programming вчт. автоматическое программирование block programming вчт. блочное программирование computer programming вчт. программирование ЭВМ computer-aided programming вчт. автоматическое программирование computerized programming вчт. автоматическое программирование concave programming вчт. вогнутое программирование concurrent programming вчт. параллельное программирование control-oriented programming вчт. программирование задач управления convex programming вчт. выпуклое программирование data-driven programming вчт. программирование управляемый данными discrete programming вчт. дискретное программирование dynamic programming вчт. динамическое программироване dynamic programming вчт. динамическое программирование dynamical programming вчт. динамическое программирование egoless programming вчт. безличное программирование encapsulated programming вчт. модульное программирование end-user programming вчт. средства программирования для пользователя event-driven programming вчт. программирование управляемое событиями geometric programming вчт. геометрическое программирование geometrical programming вчт. геометрическое программирование heuristic programming вчт. эвристическое программирование hyperbolic programming вчт. гиперболическое программирование hyperbolical programming вчт. гиперболическое программирование iconic programming вчт. программирование в графических образах imperative programming вчт. императивное программирование in-house programming вчт. программирование собственными силами incremental programming вчт. пошаговое программирование integer programming вчт. дискретное программирование integer programming вчт. целочисленное программирование interactive programming вчт. интерактивное программирование linear programming вчт. линейное программирование logic programming вчт. логическое программирование logical programming вчт. логическое программирование mathematic programming вчт. математическое программирование mathematical programming вчт. математическое программирование minimum delay programming оптимальное программирование minimum delay programming вчт. программирование по критерию минимизации времени доступа minimum-access programming вчт. программирование с минимизацией задержки modular programming вчт. модульное программирование multiple programming вчт. мульти-программирование nonlinear programming нелинейное программирование object-oriented programming вчт. объектно-ориентированное программирование optimum programming вчт. оптимальное программирование parametric programming вчт. параметрическое программирование parametrical programming вчт. параметрическое программирование procedural programming вчт. процедурное программирование procedure-oriented programming вчт. процедурно ориентированное программирование programming программирование programming вчт. программирование quadratic programming квадратическое программирование relational programming недетерминированное программирование relative programming вчт. программирование в относительных адресах rule-based programming вчт. продукционное программирование rule-oriented programming вчт. логическое программирование separable programming вчт. сепарабельное программирование serial programming вчт. последовательное программирование simplex programming вчт. симплексное программирование square programming квадратичное программирование statistical programming вчт. статистическое программирование stochastic programming стохастическое программирование structured programming вчт. структурное программирование symbolic programming вчт. символическое программирование -
12 programming
сущ.
1) планирование
2) программирование ∙ - automatic programming - mathematical programming programming of construction investment programming programming language programming strategy Syn: planning составление программы выполнение программы программирование - * environment среда программирования - * language язык программирования - automatic * автоматическое программирование воспроизведение режима работы absolute ~ вчт. программирование в абсолютных адресах action-driven ~ вчт. программирование управляемое событиями automatic ~ вчт. автоматическое программирование block ~ вчт. блочное программирование computer ~ вчт. программирование ЭВМ computer-aided ~ вчт. автоматическое программирование computerized ~ вчт. автоматическое программирование concave ~ вчт. вогнутое программирование concurrent ~ вчт. параллельное программирование control-oriented ~ вчт. программирование задач управления convex ~ вчт. выпуклое программирование data-driven ~ вчт. программирование управляемый данными discrete ~ вчт. дискретное программирование dynamic ~ вчт. динамическое программироване dynamic ~ вчт. динамическое программирование dynamical ~ вчт. динамическое программирование egoless ~ вчт. безличное программирование encapsulated ~ вчт. модульное программирование end-user ~ вчт. средства программирования для пользователя event-driven ~ вчт. программирование управляемое событиями geometric ~ вчт. геометрическое программирование geometrical ~ вчт. геометрическое программирование heuristic ~ вчт. эвристическое программирование hyperbolic ~ вчт. гиперболическое программирование hyperbolical ~ вчт. гиперболическое программирование iconic ~ вчт. программирование в графических образах imperative ~ вчт. императивное программирование in-house ~ вчт. программирование собственными силами incremental ~ вчт. пошаговое программирование integer ~ вчт. дискретное программирование integer ~ вчт. целочисленное программирование interactive ~ вчт. интерактивное программирование linear ~ вчт. линейное программирование logic ~ вчт. логическое программирование logical ~ вчт. логическое программирование mathematic ~ вчт. математическое программирование mathematical ~ вчт. математическое программирование minimum delay ~ оптимальное программирование minimum delay ~ вчт. программирование по критерию минимизации времени доступа minimum-access ~ вчт. программирование с минимизацией задержки modular ~ вчт. модульное программирование multiple ~ вчт. мульти-программирование nonlinear ~ нелинейное программирование object-oriented ~ вчт. объектно-ориентированное программирование optimum ~ вчт. оптимальное программирование parametric ~ вчт. параметрическое программирование parametrical ~ вчт. параметрическое программирование procedural ~ вчт. процедурное программирование procedure-oriented ~ вчт. процедурно ориентированное программирование programming программирование ~ вчт. программирование quadratic ~ квадратическое программирование relational ~ недетерминированное программирование relative ~ вчт. программирование в относительных адресах rule-based ~ вчт. продукционное программирование rule-oriented ~ вчт. логическое программирование separable ~ вчт. сепарабельное программирование serial ~ вчт. последовательное программирование simplex ~ вчт. симплексное программирование square ~ квадратичное программирование statistical ~ вчт. статистическое программирование stochastic ~ стохастическое программирование structured ~ вчт. структурное программирование symbolic ~ вчт. символическое программированиеБольшой англо-русский и русско-английский словарь > programming
-
13 logic programming language
логический язык программирования
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > logic programming language
-
14 programming
-
15 logic program example for consecutivity testing in lists
Программирование: пример логической программы для нахождения следующего элемента в списке (см. Introduction to logic programming by Ghristopher John Hogger)Универсальный англо-русский словарь > logic program example for consecutivity testing in lists
-
16 logic program example for counting and filtering lists
Программирование: пример логической программы для подсчёта числа различных элементов в списке (см. Introduction to logic programming by Ghristopher John Hogger)Универсальный англо-русский словарь > logic program example for counting and filtering lists
-
17 logic program example for eigenproblems
Программирование: пример логической программы для нахождения собственного вектора матрицы (см. Introduction to logic programming by Ghristopher John Hogger)Универсальный англо-русский словарь > logic program example for eigenproblems
-
18 logic program example for peak detection
Программирование: пример логической программы для обнаружения пика (см. Introduction to logic programming by Ghristopher John Hogger)Универсальный англо-русский словарь > logic program example for peak detection
-
19 logic program example for reversing lists
Программирование: пример логической программы для обращения списков (см. Introduction to logic programming by Ghristopher John Hogger)Универсальный англо-русский словарь > logic program example for reversing lists
-
20 logic program example for substring searching
Программирование: пример логической программы для поиска подстроки (см. Introduction to logic programming by Ghristopher John Hogger)Универсальный англо-русский словарь > logic program example for substring searching
См. также в других словарях:
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … 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
Logic error — In computer programming, a logic error (sometimes called a semantic error) is a bug in a program that causes it to operate incorrectly, but not to terminate abnormally (or crash). A logic error produces unintended or undesired output or other… … Wikipedia
Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu … Wikipedia
Programming in the large and programming in the small — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … 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
logic — lo‧gic [ˈlɒdʒɪk ǁ ˈlɑː ] noun [uncountable] 1. COMMERCE commercial/economic/industrial logic a way of thinking and making good judgements that is connected to a particular area of business, the economy etc: • Their takeover bid appears to have… … Financial and business terms
Programming style — is a set of rules or guidelines used when writing the source code for a computer program. It is often claimed that following a particular programming style will help programmers to read and understand source code conforming to the style, and help … Wikipedia
Logic Programming Associates — is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN PROLOG. External links* [http://www.lpa.co.uk/ind pro.htm LPA home page] *… … Wikipedia