In mathematical logic, a Herbrand interpretation is an interpretation in which all constants and function symbols are assigned very simple meanings. |
В математической логике, Эрбранова интерпретация - это интерпретация, в которой константам и функциональным символам присвоен очень простой смысл. |
Still using the left-hand rule the painter now searches for a simple passage (made by two boundary pixels). |
Не отрывая левой руки, маляр ищет простой проход (состоящий из двух граничных пикселей). |
The game combines a simple presentation with an extremely wide array of strategic options, including over 1500 units, 600 spells and 300 magic items. |
В игре соединяются простой внешний вид и большое количество стратегических возможностей, включая 1500 юнитов, 600 заклинаний и 300 магических предметов. |
PUP also includes a simple echo protocol at the internetwork layer, similar to IP's ping, but operating at a lower level. |
PUP также включает простой echo протокол межсетевого уровня, аналогичный ping в TCP/IP, но работающий на более низком уровне. |
However, due to its simple and catchy melody, it became a popular tune and was soon afterwards interpreted frequently at English fairs, taverns and events. |
Однако, благодаря простой и запоминающейся мелодии, она стала популярной и вскоре часто исполнилась на торжествах, ярмарках и в тавернах. |
TSV is a simple file format that is widely supported, so it is often used in data exchange to move tabular data between different computer programs that support the format. |
TSV - простой, широко поддерживаемый формат, поэтому он часто используется для перемещения табличных данных между различными компьютерными программами. |
Let G be a (finite and simple) graph with n >= 3 vertices. |
Пусть G - (конечный и простой) граф с n >= 3 вершинами. |
This clever and simple service lets you create a custom Live CD distro that fits a USB stick and loads in RAM. |
Этот умный и простой сервис позволяет вам создать пользовательский дистрибутив Live CD, который подходит для USB-накопителя и загружается в оперативную память». |
The universe of possible checksum values is now the square of the value for the simple checksum. |
Множество всех возможных значений контрольной суммы теперь является квадратом того же значения для простой контрольной суммы. |
Le Matin deemed that with this song, "Farmer almost reaches the limits of the easiness: kind melody, simple lyrics". |
Le Matin считает, что благодаря этой песне «Фармер почти достигла предела лёгкости: душевная мелодия, простой текст». |
A simple example would be a database having tables sales2005 and sales2006 that have identical structures but are separated because of performance considerations. |
Простой пример: в базе есть таблицы sales2005 и sales2006, обладающие идентичной структурой, но разделены ради повышения производительности. |
A common special case of this is that every infinite tree contains either a vertex of infinite degree or an infinite simple path. |
Полезным частным случаем этого утверждения является то, что каждое бесконечное дерево содержит вершину бесконечной степени или бесконечный простой путь. |
He called the plot a simple mystery that isn't challenging, and pointed out multiple anime clichés such as the loss of important childhood memories. |
Он назвал сюжет простой загадкой, которая не вызывает сомнений, и указал на множество аниме-клише, таких как потеря важных детских воспоминаний. |
A simple container to group widgets in a grid |
Простой контейнер для группирования виджетов по сетке |
It may be as simple as a few measures, or as complex as an entire section. |
Она может быть как простой, так и с несколькими тактами, или сложной, как целая секция... |
The point of departure for Halliday's work in linguistics has been the simple question: "how does language work?". |
Отправной точкой для лингвистической работы Халлидея был простой вопрос: «Как работает язык?». |
And why did I post this blog post now, also has a simple reason, which their here can read. |
И зачем я после этого блога в настоящее время, а также имеет простой причине, что их здесь умеет читать. |
A simple root means a positive root that is not a sum of two other positive roots. |
Простой корень означает положительный корень, который не является суммой двух каких-либо положительных корней. |
The matter is quite simple, I like the director, Prof. Susan Neiman, told. |
Этот вопрос довольно простой, Я, как директор, Проф. Сьюзен Нейман, сказали. |
The problem is that no one has been able to suggest an easy way to find such a geometric structure associated to a simple group. |
Проблема здесь в том, что никто не смог предложить простого пути нахождения такой геометрической структуры, ассоциированной с простой группой. |
It is a very simple protocol (and very similar to XML-RPC), defining only a few data types and commands. |
Это очень простой протокол (очень похожий на XML-RPC), определяющий только несколько типов данных и команд. |
Complex sed constructs are possible, allowing it to serve as a simple, but highly specialised, programming language. |
Комплексные конструкции sed возможны до такой степени, что он может быть представлен как высоко специализированный, хотя и простой, язык программирования. |
This allows the container to store elements in any manner it wishes while allowing the user to treat it as if it were a simple sequence or list. |
Это позволяет контейнеру хранить элементы любым способом при допустимости работы пользователя с ним как с простой последовательностью или списком. |
This simple algorithm is useful in some practical applications; for example, Google uses it to calculate the page rank of documents in their search engine. |
Этот простой алгоритм полезен в ряде практических приложений, например, Google использует его для определения ранга страницы в своем поисковом механизме. |
It has been demonstrated that t-SNE is often able to recover well-separated clusters, and with special parameter choices, approximates a simple form of spectral clustering. |
Было продемонстрировано, что t-SNE часто способен обнаружить хорошо отделённые кластеры, а при специальном выборе параметров аппроксимировать простой вид спектральной кластеризации. |