Що таке ГОРНА Англійською - Англійська переклад

• horn

Приклади вживання Горна Українська мовою та їх переклад на Англійською

Ізя Горна.
Izio Horn.

Альфреда Горна.
Alfred Horn.

Горна ежектор Тип mechanicall.
Upper ejector Type mechanicall.

Зігфрида Горна.
Siegfried Horn.

Імовірнісній абдукції Горна Логіці незалежного вибору PRISM.
Probabilistic Horn Abduction Independent Choice Logic PRISM.

Ганса Йокума Горна.
Hans Jochum Horn.

Горна гряда з кам'янистими розсипами». Бердянський р-н, с. Калайтанівка.
Horn ridge of stony placers." Berdyansk district, p. Kalaytanivka.

Він замінив Річарда Горна.
She will replace Richard Flynn.

Ці три типи диз'юнктів Горна проілюстровано в наступному предикатному прикладі.
These three kinds of Horn clauses are illustrated in the following propositional example.

Він замінив Річарда Горна.
He was replaced by Richard Quine.

Диз'юнкти Горна названо на честь логіка Альфреда Горна, який першим 1951 року зазначив їхню важливість.
Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.

Функціонують також 13 технічних університетів та Вища горна школа у Кракові.
Also operate 13 technical universities and higher mining school in Krakow.

Наприклад, записаний вище диз'юнкт Горна поводиться як процедура: щоби показати u, показати p і показати q і… і показати t.
For example, the Horn clause written above behaves as the procedure: to show u, show p and show q and… and show t.

Техніка будівельного обладнання- Скріплення колон, горна реквізит та перемички.
Construction equipment testing- Shoring columns, acrow props and lintels.

Магістраль D61 було побудовано в селі Горна-Стреда. У 1988 році загальна протяжність цієї ділянки становила 42 км.
D61 was built to the village of Horná Streda few kilometres behind Piešťany in 1988, with the total length of that section 42 km.

Девід спитав провідного християнського археолога в Америці доктора Зігфрида Горна, чому він повинен навчати свій клас.
David asked a top Christian archaeologist in America, Dr Siegfried Horn, what he should teach his class.

Фото з 1937 р. класу з єврейської школи, на якому є двоюрідна сестра Ізя Горна Малька Горн, і його рідна сестра(її ім'я не вдалося віднайти).
A 1937 Hebrew school class photo, showing Izio Horn's cousin Malka Horn, and his sister(whose name is lost).

Диз'юнкти Горна є також основою логічного програмування, де є звичним записувати визначені твердження у вигляді імплікації.
Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication.

Пана Штирбу призначено головою комітету з питань винагород, а Ганса Горна та Володимира Татарчука- членами зазначеного комітету.
Shtyrba is appointed Chairman of the Remuneration Committee, with Hans Jochum Horn and Vladimir Tatarchuk as members.

Він є найвідомішим за його внесок у розвиток логічного програмування, починаючи з процедурної інтерпретації Горна.
He is best known for his contributions to the development of logic programming, starting with the procedural interpretation of Horn clauses.

Ці властивості диз'юнктів Горна можуть приводити до підвищення ефективності у доведенні теорем(представлених як заперечення цільового твердження).
These properties of Horn clauses can lead to greater efficiencies in proving a theorem(represented as the negation of a goal clause).….

Пролог було створено в 1972 році Аланом Кольмерое з Філіпом Русселем на основі процедурної інтерпретації диз'юнктів Горна Роберта Ковальського.
It was created around 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses.

Бальмонт часто займається перекладами, в 1894 переводить«Історію скандинавської літератури» Горна, в 1895-1997«Історію італійської літератури» Гаспарі.
Balmont often translates, in 1894 translates“The History of Scandinavian Literature” by Horn, in 1895-1897“The History of Italian Literature” by Gaspari.

Вони подорожували через Нідерланди, де до Анни звернулися родичі та друзі Флоріана де Монморансі, молодшого брата страченого графа Горна.
They traveled through the Netherlands, where Anna was accosted by friends and relatives of Floris of Montigny, the younger brother of the executed Count of Horn.

Ця надійність заплутаності у W-станах сильно контрастує із заплутаністю у станах Ґрінберґера- Горна- Цайлінґера, яка повністю руйнується після втрати одного з кубітів.
This robustness of W-type entanglement contrasts strongly with the Greenberger- Horne- Zeilinger state, which is fully separable after loss of one qubit.

Агресивно шукаючи нових розташувань ластоногих на півдні від мису Горна, 17 листопада 1820 р. Палмер і його люди стали першими американцями, і третьою групою людей, щоб відкрити Антарктичний півострів.
Aggressively searching for new seal rookeries south of Cape Horn, on November 17, 1820, Palmer and his men became the first Americans and the third group of people to discover the Antarctic Peninsula.

При застосуванні таким чином цільові твердження є подібними докон'юнктивних запитів у реляційних базах даних, а логіка диз'юнктів Горна за обчислювальною силою є еквівалентною до універсальної машини Тюрінга.
Used in this way, goal clauses are similar to conjunctive queries in relational databases, and Horn clause logic is equivalent in computational power to a universal Turing machine.

Колишні учні драматичної школи включають Димитріса Горна, Мері Vasso Manolidou, Vasso Manolidou, Нікос Цогіас, Меліна Меркурі, Thanos Kotsopoulos, Alexis Solomos, Stelios Vokovic, Нікос Куркулос, Анна Синодіноу та Зоцо Зарпа.[1] Багато з них продовжували викладати в школі, яка завжди славилася надзвичайно високим рівнем свого викладання.
Former students of the Drama School include Dimitris Horn, Mary Aroni, Vasso Manolidou[el], Nikos Tzogias, Melina Mercouri, Thanos Kotsopoulos[el], Alexis Solomos[el], Stelios Vokovic[el], Nikos Kourkoulos, Anna Synodinou and Zozo Zarpa.[1] Many of them went on to teach at the School, which has always been renowned for the extremely high level of its teaching.

Розширені класичні мови програмування можуть бути логічними мовами, як запропоновано в Імовірнісній абдукції Горна, Логіці незалежного вибору, PRISM та ProbLog, що пропонує розширення мови Prolog.
Extended classical programming languages include logical languages as proposed in Probabilistic Horn Abduction, Independent Choice Logic, PRISM, and ProbLog which proposes an extension of Prolog.

Вони є важливими в автоматичному доведенні теорем резолюцією першого порядку, оскільки резольвента двох диз'юнктів Горна сама є диз'юнктом Горна, а резольвента цільового твердження та визначеного твердження є цільовим твердженням.
They are important in automated theorem proving by first-order resolution, because the resolvent of two Horn clauses is itself a Horn clause, and the resolvent of a goal clause and a definite clause is a goal clause.