deductive

Another generalization of a deductive theory arises if we relax the restrictions on definiteness so that X is a semi-inductive class.

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

Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

We shall now give the definitions that establish the deductive structure of the system (the transformation rules or deductive rules).

Теперь мы приведем определения, придающие нашей системе некоторую дедуктивную структуру (правила преобразования, или дедуктивные правила).

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

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

Клини, С.К.

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

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

The first of these treats one form of deductive development and is rich in historical and critical comment about other developments down to 1951.

В первой из этих книг подробно рассматривается одна дедуктивная система и содержится много исторических и критических замечаний о других разновидностях (вплоть до 1951 г.).

Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

As for deductive reasoning?

Какие уж там дедукция и индукция.

King, Stephen / The Dark tower 7: The Dark TowerКинг, Стивен / Темная башня 7: Темная башня

Темная башня 7: Темная башня

Кинг, Стивен

© Stephen King, 2004

© Перевод. В.А.Вебер, 2005

© ООО "Издательство АСТ", 2005

The Dark tower 7: The Dark Tower

King, Stephen

© 2004 by Stephen King

Such calculations are sufficiently straightforward and deductive in logical structure that they can be handled by a computer.

Такие выкладки по своей логической структуре дедуктивны и достаточно просты, чтобы с ними могли справляться вычислительные машины.

Misner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald / GravitationМизнер, Ч.,Торн, К.,Уилер, Дж. / Гравитация

Гравитация

Мизнер, Ч.,Торн, К.,Уилер, Дж.

© 1973 by W. H. Freeman and Company

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

Gravitation

Misner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald

© 1970 and 1971 by Charles W. Misner, Kip S. Thorne, and John Archibald Wheeler.

© 1973 by W. H. Freeman and Company.

If you studied plane geometry in high school any time before the 1990's, you most likely had to do some detailed "deductive proofs," where you showed the truth of a statement by a detailed sequence of steps and reasons.

Если вам довелось изучать планиметрию в школе до начала 1990-х, то, вероятнее всего, вам приходилось проводить подробные "дедуктивные доказательства" шаг за шагом, последовательно и детально обосновывая истинность некоторого утверждения.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

If the crystallized deductive form is the goal, intuition and construction are at least the driving forces.

Если целью и является четкая дедуктивная форма, то движущая сила математики — это интуиция и конструкции.

Courant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and MethodsКурант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методов

Что такое математика? Элементарный очерк идей и методов

Курант, Р.,Роббинс, Г.

© МЦНМО, 2001

What Is Mathematics? An Elementary Approach to Ideas and Methods

Courant, Richard,Robbins, Herbert

© 1941 (renewed 1969) by Richard Courant

© 1996 by Oxford University Press, Inc.

Deductive Proofs:

Дедуктивные доказательства.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Another Example of the Deductive Method.

Еще один пример метода дедукции.

King, Stephen / The LangoliersКинг, Стивен / Лангольеры

Лангольеры

Кинг, Стивен

© Stephen King, 1990

© Перевод. В.А. Вебер, 1997

© "Фирма "Издательство АСТ"", 1999

The Langoliers

King, Stephen

© Stephen King, 1990