Translation of "logic programming" to Russian language:

Dictionary English-Russian

Logic - translation :

Logic programming - translation :

Programming - translation :

Keywords : логика логики логике логику логикой программирование программированием Программирование программ Программа

Examples (External sources, not reviewed)

logic programming.	Некоторые люди называют парадигмой объектно ориентированное программирование .
But also with functional programming or even logic programming.	Но также с функциональным программированием или даже логическим программированием.
Inductive logic programming (ILP) is a subfield of machine learning which uses logic programming as a uniform representation for examples, background knowledge and hypotheses.	Индуктивное логическое программирование (Inductive Logic Programming, ILP) раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез.
In Proceedings of the 15th International Conference on Inductive Logic Programming .	In Proceedings of the 15th International Conference on Inductive Logic Programming, Bonn, Germany, August 2005.
Curry is an experimental functional logic programming language, based on the Haskell language.	Curry встраиваемый язык программирования общего назначения, реализованный поверх языка Haskell.
The first implementations of constraint logic programming were Prolog III, CLP(R), and CHIP.	Первыми реализациями логического программирование в ограничениях были Пролог III, CLP (R) и CHIP.
Sequential function chart (SFC) is a graphical programming language used for programmable logic controllers (PLCs).	Sequential Function Chart (последовательные функциональные схемы) язык программирования стандарта IEC61131 3.
The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991.	Термин Индуктивное логическое программирование был впервые использован в статье Стивена Магглтона (Stephen Muggleton) в 1991 году.
In 1958, he proposed the advice taker, which inspired later work on question answering and logic programming.	В 1958 году он предложил систему принятия советов , которая позже вдохновила работы по ответам на запросы и логическому программированию.
K. Kahn and Vijay A. Saraswat, Actors as a special case of concurrent constraint (logic) programming , in SIGPLAN Notices , October 1990.	K. Kahn and Vijay A. Saraswat, Actors as a special case of concurrent constraint (logic) programming , in SIGPLAN Notices , October 1990.
It's not logic, that logic Libby	Это не логика, логика, что Либби
The logic you're looking for. And the logic is that there is no logic.	Логика, которую вы ищете, эта логика в том, что здесь нет никакой логики.
Using QuakeC, a programmer is able to customize Quake to great extents by adding weapons, changing game logic and physics, and programming complex scenarios.	Используя QuakeC, программист имеет возможность модифицировать игру добавить оружие, изменить игровую логику и физику, написать сложный сценарий.
Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.	В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Mathematical Logic.	Математическая логика.
Mathematical Logic .	Mathematical Logic .
Elementary Logic .	Elementary Logic .
V. LOGIC.	Метафизика.
Logic Game	Логическая играName
Logic Games	Логические игрыName
Logic Buttons	Логические операции и основания
Logic Functions	Соединение 01Comment
Logic Shapes	Логические операцииStencils
Logic Functions	Функция
Same logic.	Та же логика.
programming	программирование
Programming	Программирование
Programming	Программирование
The first logic we will consider is called propositional logic.	Первая логика, которую мы рассмотрим, называется пропозиционная логика.
This variant of logic programming is due to Jaffar and Lassez, who extended in 1987 a specific class of constraints that were introduced in Prolog II.	Появление этого варианта логического программирования связано с именами Jaffar и Lassez, которые расширили в 1987 году определенный класс ограничений, которые были введены в Prolog II.
The logic of peace must finally overcome the logic of war.	Логика мира должна в конечном итоге восторжествовать над логикой войны.
GFingerPoken logic game	Логическая игра GFingerPoken
Logic circuit simulator	Симулятор логических схем
Blackbox Logic Game	Логическая игра blackbox
What weird logic.	Странная логика.
Formalization of Logic .	Formalization of Logic .
Methods of Logic .	Methods of Logic .
Asynchronous logic elements.	Элементы асинхронной логики.
Blackbox Logic Game	Чёрный ящикName
25,same logic.	25, та же логика.
Naked Mother Logic	Логика и истина
Where's the logic?	Где логика?
Because it's logic.	У тебя самая большая контора на участке.
Programming languages with built in support for constraints include Oz (functional programming) and Kaleidoscope (imperative programming).	Языки программирования с встроенной поддержкой ограничений включают Oz (функциональное программирование) и Kaleidoscope (императивное программирование).
This makes constraint programming a form of declarative programming.	Это делает программирование в ограничениях формой декларативного программирования.

Показать эту страницу на русском языке