Kleene - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
Kleene A surname.
Kleene has some three little lemmas about parenthesis pairing and nesting etc. |
У клина есть около трех маленьких лемм о спаривании скобок и вложенности и т. д. |
A minor modification of the ternary logic was later introduced in a sibling ternary logic model proposed by Stephen Cole Kleene. |
Незначительная модификация тернарной логики была позже введена в родственную модель тернарной логики, предложенную Стивеном Коулом клином. |
This proof is equivalent to Kleene 1940's paper. |
Это доказательство эквивалентно бумаге Kleene 1940 года. |
NPL was based on Kleene Recursion Equations and was first introduced in their work on program transformation. |
NPL был основан на уравнениях рекурсии Клина и впервые был введен в их работу по преобразованию программ. |
A conversion in the opposite direction is achieved by Kleene's algorithm. |
Преобразование в противоположном направлении достигается алгоритмом Клина. |
Regular expressions originated in 1951, when mathematician Stephen Cole Kleene described regular languages using his mathematical notation called regular events. |
Регулярные выражения возникли в 1951 году, когда математик Стивен Коул Клин описал регулярные языки, используя свою математическую нотацию, называемую регулярными событиями. |
Even Kleene's is too complex because he's constructing an arithmetic+logic system. |
Даже Клин слишком сложен, потому что он строит арифметическую+логическую систему. |
Gödel gave a series of lectures on his theorems at Princeton in 1933–1934 to an audience that included Church, Kleene, and Rosser. |
Гедель прочитал серию лекций по своим теоремам в Принстоне в 1933-1934 годах для аудитории, включавшей Черча, Клина и Россера. |
He proves the Infinite Abacus can compute any computable recursive function by programming Kleene set of basic μ-recursive function. |
Он доказывает, что бесконечные счеты могут вычислить любую вычислимую рекурсивную функцию, запрограммировав набор Kleene основной μ-рекурсивной функции. |
The latter seems to be Kleene's interpretation of what the theorem states, not Gödel's actual statement of the theorem or an English translation thereof. |
Последнее, по-видимому, является интерпретацией клином того, что утверждает теорема, а не фактическим утверждением теоремы Геделя или ее переводом на английский язык. |
Kleene's system differs from the Łukasiewicz's logic with respect to an outcome of the implication. |
Система Клейна отличается от логики Лукашевича в отношении результата импликации. |
In 1991, Dexter Kozen axiomatized regular expressions as a Kleene algebra, using equational and Horn clause axioms. |
В 1991 году Декстер Козен аксиоматизировал регулярные выражения как алгебру Клейна, используя аксиомы уравнения и предложения Хорна. |
Church's theory of types helped the formal system avoid the Kleene–Rosser paradox that afflicted the original untyped lambda calculus. |
Вместо того чтобы просто отклонить спам-сообщение, неверно настроенный почтовый сервер отправляет сообщение об отказе на такой поддельный адрес. |
Stephen Kleene, who had just completed his PhD at Princeton, took notes of these lectures that have been subsequently published. |
Стивен Клин, только что защитивший докторскую диссертацию в Принстоне, записал эти лекции, которые впоследствии были опубликованы. |
Kleene's realizability theory identifies the functions with the computable functions. |
Теория реализуемости клина отождествляет функции с вычислимыми функциями. |
Он во многом полагался на более ранние работы Стивена Клина. |
|
I got a pair of surgical gloves from the little Kleenex-like box in the trunk. |
Еще меня снабдили парой хирургических перчаток в небольшой коробке, напоминающей упаковку прокладок. |
Someone left a Kleenex in their pocket, and now it's all over everything. |
Кто-то забыл в кармане салфетку и теперь она на всём белье. |
it's public knowledge. do you run out of kleenex, paper towels, and toilet paper at the same time? |
это общедоступная информация ты не занимался бумажными платками и туалетной бумагой в то время? |
They have Kleenex, mixed nuts, and 9mm Lugers. |
У них есть Клинекс, орешки и 9-ти миллиметровые люгеры. |
Kirk sneezes, you hand him a Kleenex. |
Стоит Кирку чихнуть, ты ему уже платочек тянешь. |
I owe you 70 bucks and some kleenex. |
Я должна тебе 70 баксов и несколько клинексов (бумажные платки). |
And by incidentals, I mean mostly Kleenex and hand lotion. |
И под непредвиденными расходами я имею в виду, в основном, салфетки и лосьон для рук. |
Hey, can you hand me a Kleenex? |
Эй, можешь подать мне Клинэкс? |
Министерство рассматривает своих агентов, как если бы они были бумажной салфеткой. |
|
Eisler pulled a Kleenex from his shirt pocket and wiped his nose. |
Айслер вынул из кармана рубашки бумажную салфетку и вытер нос. |
It's got one of those fabric-softener sheet dispensers that you can just, just pull them out like a Kleenex box. |
Там есть смягчитель ткани и выдача белья и можно его вытаскивать как салфетки из упаковки. |
Now... if you find this job is too taxing, I suggest you get yourself a therapist, or you get yourself a box of Kleenex. |
И... если эта работа так обременительна для тебя, сходи-ка ты к психологу, или купи себе платочки, сопельки подтереть. |
Stick a monkey in a cage by himself for a couple of days, he'll cuddle with a kleenex. |
Посади одну мартышку в клетку на пару дней, и она будет обниматься с платочком. |
If he left a used Kleenex, what's that, a valentine? |
Если он оставит использованный бумажный носовой платок, что это будет, валентинка? |
There are coffee grounds... little pieces of kleenex, dust bunnies... |
Там ещё кофейные зерна... кусочки от Клинекс, пылевые жучки... |
She was using up all my Kleenex. |
Она использовала все мои Kleenex. |
У нас не хватит бумажных салфеток. |
|
Забавно, у большинства адвокатов по разводу в запасе бумажные платки. |
|
I'd cry for you, but I'm all out of Kleenex. |
Я бы порыдала за тебя, да носовые платки закончились. |
Trying to fit it into boolean or kleenean logic misses the point. |
Попытка вписать его в логику булева или клинеана упускает главное. |
Они разбросаны по всей моей квартире. |
|
All I want to do is stuff Kleenex up my nose, collapse on the couch, and pray for death. |
Мне бы просто заткнуть нос салфетками упасть на диван и молить бога о смерти. |
Сейчас - жди салфеток и воды. |
|
Sister Irmalita picked up the nub and wrapped it in Kleenex. |
Сестра Ирмалита подняла его и завернула в Клинекс. |
I swear, when my hormones balance out, shares in Kleenex are gonna take a dive, man. |
Клянусь, когда шалят гормоны, акции Kleenex раскупаются моментально, друг. |
If the only thing standing between me and a million bucks is some old lady's tears, then I'd suggest investing in Kleenex. |
Если единственное, что стоит на пути миллиона долларов - слезы старушки, предлагаю запастись носовыми платками. |
А где же софа, салфетки и всё такое? |
|
It's not like i'm gonna pull out a kleenex, wet it, and then wipe the corners of your mouth. |
Это не выглядит, будто я собираюсь высморкать тебя в платочек, и затем вытереть углы твоего рта |
They have kleenex, mixed nuts, and 9-millimeter lugers. |
У них есть Клинекс, орешки и 9-ти миллиметровые люгеры |
Only shooting you do is into a Kleenex. |
Если и можешьвыстрелить, то только в салфетку. |
Там ты пропитаешься слезами, как Клинекс. |
- Kleene’s theorem - теорема Клини
- Kleene’s theorem on fixed points - теорема Клини о неподвижных точках
- She was using up all my Kleenex - Она израсходовала все мои салфетки
- Actually, Kleenex is a brand - На самом деле, Kleenex — это бренд
