логический вывод

- Тут, очевидно, недоумение, - ввязался вдруг Васин. - Ошибка в том, что у Крафта не один логический вывод, а, так сказать, вывод, обратившийся в чувство.

"There is evidently a misunderstanding," Vassin interposed suddenly, "the mistake arises from the fact that Kraft's conclusion is not a mere logical theory but, so to say, a theory that has been transmuted into a feeling.

Достоевский, Фёдор / ПодростокDostoevsky, Fyodor / A Raw Youth

A Raw Youth

Dostoevsky, Fyodor

Подросток

Достоевский, Фёдор

© Издательство "Советская Россия", 1979

Не все натуры одинаковы; у многих логический вывод обращается иногда в сильнейшее чувство, которое захватывает всё существо и которое очень трудно изгнать или переделать.

All natures are not alike; in some men a logical deduction is sometimes transmuted into a very powerful emotion which takes possession of the whole being, and is sometimes very difficult to dislodge or alter.

Достоевский, Фёдор / ПодростокDostoevsky, Fyodor / A Raw Youth

A Raw Youth

Dostoevsky, Fyodor

Подросток

Достоевский, Фёдор

© Издательство "Советская Россия", 1979

Если хотите, тут характернее всего то, что можно сделать логический вывод какой угодно, но взять и застрелиться вследствие вывода - это, конечно, не всегда бывает.

What is more striking about it, if you like, is that it shows one can make any logical deduction one pleases; but to shoot oneself in consequence of a deduction does not always follow."

Dostoevsky, Fyodor / A Raw YouthДостоевский, Фёдор / Подросток

Подросток

Достоевский, Фёдор

© Издательство "Советская Россия", 1979

A Raw Youth

Dostoevsky, Fyodor

- Ошибка! - завопил спорщик, - логический вывод уже сам по себе разлагает предрассудки.

"That's a mistake," roared the argumentative teacher, "a logical proof of itself will dissipate prejudices.

Достоевский, Фёдор / ПодростокDostoevsky, Fyodor / A Raw Youth

A Raw Youth

Dostoevsky, Fyodor

Подросток

Достоевский, Фёдор

© Издательство "Советская Россия", 1979

Алгорифм исключения подчиненных переменных и алгорифм выявления конструктивной задачи дают возможность обосновать допустимость в конструктивной математике примененного выше метода логического вывода.

The algorithm for eliminating restricted variables and the algorithm for exhibiting constructive problems permit us to justify the admissibility in constructive mathematics of the method of logical inference used above.

Шанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАSanin, A. / Constructive real numbers and constructive function spaces

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Для сравнения отметим, что автоматизированная формулировка логических выводов использует логику для доказательства того, что реализация соответствует исходной спецификации (подобно формальному математическому доказательству).

By comparison, automated reasoning uses logic to prove (much like a formal mathematical proof) that an implementation meets an associated specification.

Максфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойцаMaxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and Flows

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

G. Gentzen в работе уточнил и сформулировал в отчетливой форме метод построения логических выводов с введением предположений.

In the paper G. Gentzen made precise and formulated in sharp form a method of constructing logical derivations from given hypotheses.

Шанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАSanin, A. / Constructive real numbers and constructive function spaces

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Когда Андрей Семенович кончил свои многословные рассуждения, с таким логическим выводом в заключении речи, то ужасно устал, и даже пот катился с его лица.

When Lebeziatnikov finished his long-winded harangue with the logical deduction at the end, he was quite tired, and the perspiration streamed from his face.

Достоевский, Фёдор / Преступление и наказаниеDostoevsky, Fyodor / Crime and Punishment

Crime and Punishment

Dostoevsky, Fyodor

© 2009 Rhodes Media

Преступление и наказание

Достоевский, Фёдор

© Издательство "Художественная литература", 1970

До сих пор ограничения возможности одновременного определения положения и импульса, вытекающие из соотношения неопределенностей, являлись просто логическими выводами из предположений о волнах материи и их вероятностной трактовки.

So far, the limits on the possibility of simultaneous determination of position and momentum implied by the uncertainty principle are merely logical derivations from our assumptions about matter waves and their probability interpretation.

Бом, Д. / Квантовая теорияBohm, David / Quantum Theory

Quantum Theory

Bohm, David

© renewed 1979 by David Bohm.

© 1951 by Prentice-Hall, Inc.

Квантовая теория

Бом, Д.

Он был последовательнее Бакунина в том смысле, что тверже держался своих посылок и делал из них более логические выводы.

He was more consistent than Bakunin in the sense that he kept firmly to his premises and drew more logical conclusions from them.

Plekhanov, G. V. / Our Differences. Letter to P. L. LavrovПлеханов, Г. В. / Наши разногласия. Письмо к П. Л. Лаврову

Наши разногласия. Письмо к П. Л. Лаврову

Плеханов, Г. В.

© Государственное издательство политической литературы, 1949 г.

Our Differences. Letter to P. L. Lavrov

Plekhanov, G. V.

Она являлась соломинкой, за которую хватались они, чтобы спастись от логических выводов из их собственных посылок и от результатов сделанного М. А. Бакуниным анализа народного идеала.

It was the straw at which they clutched to save themselves from the logical conclusions from their own premises and from the conclusions of Bakunin’s analysis of the people’s ideal.

Plekhanov, G. V. / Our Differences. Letter to P. L. LavrovПлеханов, Г. В. / Наши разногласия. Письмо к П. Л. Лаврову

Наши разногласия. Письмо к П. Л. Лаврову

Плеханов, Г. В.

© Государственное издательство политической литературы, 1949 г.

Our Differences. Letter to P. L. Lavrov

Plekhanov, G. V.

К таким логическим выводам приходим мы, читая библиографическую заметку П. Л. Лаврова.

Such are the logical conclusions we come to when we read P.L. Lavrov’s bibliographical note.

Plekhanov, G. V. / Our Differences. Letter to P. L. LavrovПлеханов, Г. В. / Наши разногласия. Письмо к П. Л. Лаврову

Наши разногласия. Письмо к П. Л. Лаврову

Плеханов, Г. В.

© Государственное издательство политической литературы, 1949 г.

Our Differences. Letter to P. L. Lavrov

Plekhanov, G. V.

Мне, конечно, всё равно будет, но теперь (и, может быть, только в эту минуту) я желаю, чтобы те, которые будут судить мой поступок, могли ясно видеть, из какой логической цепи выводов вышло мое "последнее убеждение".

Of course, it is all the same to me, but just now--and perhaps only at this moment--I desire that all those who are to judge of my action should see clearly out of how logical a sequence of deductions has at length proceeded my 'last conviction.'

Достоевский, Фёдор / ИдиотDostoevsky, Fyodor / Idiot

Idiot

Dostoevsky, Fyodor

© 2004 by Fine Creative Media, Inc.

Идиот

Достоевский, Фёдор

© Издательство "Художественная литература", 1971

Этот раздел очень похож на предыдущий, но вместо логического ввода/вывода он информирует о физическом вводе/выводе.

This next section is very similar to the one above, but instead of reporting on logical I/O, it is reporting on physical I/O.

Кайт, Том / Oracle для профессионаловKyte, Tom / Expert One-on-One Oracle

Expert One-on-One Oracle

Kyte, Tom

© Wrox Press Ltd, 2002

Oracle для профессионалов

Кайт, Том

© Перевод на русский язык. ООО «ДиаСофтЮП», 2003

© Wrox Press Ltd, 2002

Способ этот, называемый «теорией доказательств», изучает вопрос, нельзя ли описать логические доказательства и выводы так, как это делается в геометрии.

This treatment, called "proof theory", arises from asking the question whether the proofs and deductions of logic itself cannot be given in analogous way.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973