индуктивный — Викисловарь
Содержание
- 1 Русский
- 1.1 Морфологические и синтаксические свойства
- 1.2 Произношение
- 1.3 Семантические свойства
- 1.3.1 Значение
- 1.3.2 Синонимы
- 1.3.3 Антонимы
- 1.3.4 Гиперонимы
- 1.3.5 Гипонимы
- 1.4 Родственные слова
- 1.5 Этимология
- 1.6 Фразеологизмы и устойчивые сочетания
- 1.7 Перевод
- 1.8 Библиография
Морфологические и синтаксические свойства[править]
падеж | ед. ч. | мн. ч. | |||
---|---|---|---|---|---|
муж. р. | ср. р. | жен. р. | |||
Им. | индукти́вный | индукти́вное | индукти́вная | индукти́вные | |
Рд. | индукти́вного | индукти́вного | индукти́вной | индукти́вных | |
Дт. | индукти́вному | индукти́вному | индукти́вной | индукти́вным | |
Вн. | одуш. | индукти́вного | индукти́вное | индукти́вную | индукти́вных |
неод. | индукти́вные | ||||
Тв. | индукти́вным | индукти́вным | индукти́вной индукти́вною | индукти́вными | |
Пр. | индукти́вном | индукти́вном | индукти́вной | индукти́вных | |
Кратк. форма | индукти́вен | индукти́вно | индукти́вна | индукти́вны |
ин-дук-ти́в-ный
Прилагательное, тип склонения по классификации А. Зализняка — 1*a.
Корень: -индукт-; суффикс: -ивн; окончание: -ый [Тихонов, 1996].
Произношение[править]
- МФА: [ɪndʊˈktʲivnɨɪ̯]
Семантические свойства[править]
Значение[править]
- связанный, соотносящийся по значению с существительным индукция ◆ Для описания эволюции, как и вообще любого явления, можно использовать два метода: индуктивный и дедуктивный. Бушуев В.В., Голубев В.С., «Социоприродное развитие», 2013 г.
Синонимы[править]
Антонимы[править]
- неиндуктивный
Гиперонимы[править]
Гипонимы[править]
- взаимоиндуктивный
Родственные слова[править]
Ближайшее родство | |
|
Этимология[править]
Происходит от ??
Фразеологизмы и устойчивые сочетания[править]
Перевод[править]
Список переводов | |
|
Библиография[править]
Для улучшения этой статьи желательно:
|
ИНДУКТИВНЫЙ — это… Что такое ИНДУКТИВНЫЙ?
ИНДУКТИВНЫЙ — Основанный на индукции. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. индуктивный 1) основанный на индукции1 1; пользующийся методом индукции; и. метод способ исследования, изложения, при помощи которого от… … Словарь иностранных слов русского языка
Индуктивный — метод. Различают двоякую И.: полную (inductio completa) инеполную (ипductHo incompleta или per enumerationern simplicern). Впервой мы заключаем от полного перечисления видов известного рода ковсему роду; очевидно, что при подобном способе… … Энциклопедия Брокгауза и Ефрона
индуктивный — ая, ое. inductif, ive adj. 1. Основанный на индукции, пользующийся методом индукции. СИС 1985. Индуктивное доказательство. Уш. 1934. Индуктивный метод. БАС 1. 2. Отн. к индукции <в элетротехнике>. БАС 1. Индуктивная связь. Индуктивное… … Исторический словарь галлицизмов русского языка
индуктивный — ИНДУК ИЯ, и, ж. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
индуктивный
индуктивный — [IEV number 151 15 53] EN inductive, adj qualifies an electric device or an electric circuit the predominant quantity of which, under given conditions, is an inductance [IEV number 151 15 53] FR inductif, adj qualifie un dispositif… … Справочник технического переводчика
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
индуктивный — индуктивный, индуктивная, индуктивное, индуктивные, индуктивного, индуктивной, индуктивного, индуктивных, индуктивному, индуктивной, индуктивному, индуктивным, индуктивный, индуктивную, индуктивное, индуктивные, индуктивного, индуктивную,… … Формы слов
Индуктивный — English: Inductive Термин, применяемый к устройству или цепи, у которого индуктивность в определенных условиях является преобладающей (по СТ МЭК 50(151) 78) Источник: Термины и определения в электроэнергетике. Справочник … Строительный словарь
Индуктивный — это… Что такое Индуктивный?
ИНДУКТИВНЫЙ — Основанный на индукции. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. индуктивный 1) основанный на индукции1 1; пользующийся методом индукции; и. метод способ исследования, изложения, при помощи которого от… … Словарь иностранных слов русского языка
ИНДУКТИВНЫЙ — ИНДУКТИВНЫЙ, индуктивная, индуктивное (книжн.). 1. прил. к индукция в 1 знач.; основанный на индукции (филос.). Индуктивный метод. Индуктивное доказательство. 2. прил. к индукция во 2 знач.; производимый индукцией. Индуктивная связь. Индуктивное… … Толковый словарь Ушакова
индуктивный — ая, ое. inductif, ive adj. 1. Основанный на индукции, пользующийся методом индукции. СИС 1985. Индуктивное доказательство. Уш. 1934. Индуктивный метод. БАС 1. 2. Отн. к индукции <в элетротехнике>. БАС 1. Индуктивная связь. Индуктивное… … Исторический словарь галлицизмов русского языка
индуктивный — ИНДУК ИЯ, и, ж. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
индуктивный — прил., кол во синонимов: 2 • индукционный (4) • электроиндуктивный (2) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
индуктивный — [IEV number 151 15 53] EN inductive, adj qualifies an electric device or an electric circuit the predominant quantity of which, under given conditions, is an inductance [IEV number 151 15 53] FR inductif, adj qualifie un dispositif… … Справочник технического переводчика
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
индуктивный — индуктивный, индуктивная, индуктивное, индуктивные, индуктивного, индуктивной, индуктивного, индуктивных, индуктивному, индуктивной, индуктивному, индуктивным, индуктивный, индуктивную, индуктивное, индуктивные, индуктивного, индуктивную,… … Формы слов
Значение слова «Индуктивный» в 10 онлайн словарях Даль, Ожегов, Ефремова и др.
Поделиться значением слова:Ударение: индукти́вный
- прил.
- Соотносящийся по значению с существительным: индукция (1*, связанный с ним.
- Свойственный индукции (1*, характерный для нее.
- прил.
- Соотносящийся по значению с существительным: индукция, связанный с ним.
- Свойственный индукции (2*), характерный для нее.
ИНДУКТИ́ВНЫЙ, индуктивная, индуктивное (·книж. ).
1. прил. к индукция» title=’что такое индукция, значение слова индукция в словаре Ушакова’>индукция в 1 ·знач.; основанный на индукции (филос.). Индуктивный метод. Индуктивное доказательство.
2. прил. к индукция» title=’что такое индукция, значение слова индукция в словаре Ушакова’>индукция во 2 ·знач.; производимый индукцией. Индуктивная связь. Индуктивное сопротивление.
индукционный, электроиндуктивный
индукти́вный,
индукти́вная,
индукти́вное,
индукти́вные,
индукти́вного,
индукти́вной,
индукти́вного,
индукти́вных,
индукти́вному,
индукти́вной,
индукти́вному,
индукти́вным,
индукти́вный,
индукти́вную,
индукти́вное,
индукти́вные,
индукти́вного,
индукти́вную,
индукти́вное,
индукти́вных,
индукти́вным,
индукти́вной,
индукти́вною,
индукти́вным,
индукти́вными,
индукти́вном,
индукти́вной,
индукти́вном,
индукти́вных,
индукти́вен,
индукти́вна,
индукти́вно,
индукти́вны,
индукти́внее,
поиндукти́внее,
индукти́вней,
поиндукти́вней
I
ая, ое
Основанный на индукции. а Индуктивный метод — способ исследования или научного рассуждения, при котором из наблюдения частных фактов, экспериментальных данных логически выводятся общие положения (правила, закономерности, законы). Индуктивность — свойство индуктивного.||Ср. ДЕДУКТИВНЫЙ.
II
ая, ое
Относящийся к индукции. Индуктивное сопротивление. Индуктивность — свойство индуктивного.
индуктивный — это… Что такое индуктивный?
ИНДУКТИВНЫЙ — Основанный на индукции. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. индуктивный 1) основанный на индукции1 1; пользующийся методом индукции; и. метод способ исследования, изложения, при помощи которого от… … Словарь иностранных слов русского языка
ИНДУКТИВНЫЙ — ИНДУКТИВНЫЙ, индуктивная, индуктивное (книжн.). 1. прил. к индукция в 1 знач.; основанный на индукции (филос.). Индуктивный метод. Индуктивное доказательство. 2. прил. к индукция во 2 знач.; производимый индукцией. Индуктивная связь. Индуктивное… … Толковый словарь Ушакова
Индуктивный — метод. Различают двоякую И.: полную (inductio completa) инеполную (ипductHo incompleta или per enumerationern simplicern). Впервой мы заключаем от полного перечисления видов известного рода ковсему роду; очевидно, что при подобном способе… … Энциклопедия Брокгауза и Ефрона
индуктивный — ая, ое. inductif, ive adj. 1. Основанный на индукции, пользующийся методом индукции. СИС 1985. Индуктивное доказательство. Уш. 1934. Индуктивный метод. БАС 1. 2. Отн. к индукции <в элетротехнике>. БАС 1. Индуктивная связь. Индуктивное… … Исторический словарь галлицизмов русского языка
индуктивный — прил., кол во синонимов: 2 • индукционный (4) • электроиндуктивный (2) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
индуктивный — [IEV number 151 15 53] EN inductive, adj qualifies an electric device or an electric circuit the predominant quantity of which, under given conditions, is an inductance [IEV number 151 15 53] FR inductif, adj qualifie un dispositif… … Справочник технического переводчика
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
индуктивный — индуктивный, индуктивная, индуктивное, индуктивные, индуктивного, индуктивной, индуктивного, индуктивных, индуктивному, индуктивной, индуктивному, индуктивным, индуктивный, индуктивную, индуктивное, индуктивные, индуктивного, индуктивную,… … Формы слов
Индуктивный — English: Inductive Термин, применяемый к устройству или цепи, у которого индуктивность в определенных условиях является преобладающей (по СТ МЭК 50(151) 78) Источник: Термины и определения в электроэнергетике. Справочник … Строительный словарь
Индуктивный — это… Что такое Индуктивный?
ИНДУКТИВНЫЙ — Основанный на индукции. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. индуктивный 1) основанный на индукции1 1; пользующийся методом индукции; и. метод способ исследования, изложения, при помощи которого от… … Словарь иностранных слов русского языка
ИНДУКТИВНЫЙ — ИНДУКТИВНЫЙ, индуктивная, индуктивное (книжн.). 1. прил. к индукция в 1 знач.; основанный на индукции (филос.). Индуктивный метод. Индуктивное доказательство. 2. прил. к индукция во 2 знач.; производимый индукцией. Индуктивная связь. Индуктивное… … Толковый словарь Ушакова
Индуктивный — метод. Различают двоякую И.: полную (inductio completa) инеполную (ипductHo incompleta или per enumerationern simplicern). Впервой мы заключаем от полного перечисления видов известного рода ковсему роду; очевидно, что при подобном способе… … Энциклопедия Брокгауза и Ефрона
индуктивный — ая, ое. inductif, ive adj. 1. Основанный на индукции, пользующийся методом индукции. СИС 1985. Индуктивное доказательство. Уш. 1934. Индуктивный метод. БАС 1. 2. Отн. к индукции <в элетротехнике>. БАС 1. Индуктивная связь. Индуктивное… … Исторический словарь галлицизмов русского языка
индуктивный — ИНДУК ИЯ, и, ж. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
индуктивный — прил., кол во синонимов: 2 • индукционный (4) • электроиндуктивный (2) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
индуктивный — [IEV number 151 15 53] EN inductive, adj qualifies an electric device or an electric circuit the predominant quantity of which, under given conditions, is an inductance [IEV number 151 15 53] FR inductif, adj qualifie un dispositif… … Справочник технического переводчика
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
Индуктивный — I прил. соотн. с сущ. индукция I, связанный с ним II прил. соотн. с сущ. индукция II, связанный с ним III прил. соотн. с сущ. индукция III, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
индуктивный — индуктивный, индуктивная, индуктивное, индуктивные, индуктивного, индуктивной, индуктивного, индуктивных, индуктивному, индуктивной, индуктивному, индуктивным, индуктивный, индуктивную, индуктивное, индуктивные, индуктивного, индуктивную,… … Формы слов
ИНДУКТИВНЫЙ МЕТОД — это… Что такое ИНДУКТИВНЫЙ МЕТОД?
- ИНДУКТИВНЫЙ МЕТОД
- ИНДУКТИВНЫЙ МЕТОД
совокупность приемов для вывода к.-н. заключений или при исследовании к.-н. вопроса, когда от частных фактов переходят к общим положениям, от суждения об отдельных явлениях — к общим выводам.
- ИНДУКТИВНЫЙ МЕТОД
- способ исследования или рассуждения, основанный на индукции (см. ИНДУКЦИЯ).
Полный словарь иностранных слов, вошедших в употребление в русском языке.- Попов М., 1907.
Словарь иностранных слов, вошедших в состав русского языка.- Павленков Ф., 1907.
.
- ИНДУКТИВНЫЙ
- ИНДУКТИВНЫЙ ТОК
Смотреть что такое «ИНДУКТИВНЫЙ МЕТОД» в других словарях:
Индуктивный метод — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… … Википедия
индуктивный метод — indukcijos metodas statusas T sritis fizika atitikmenys: angl. inductive method vok. induktive Methode, f rus. индуктивный метод, m; метод индукции, m pranc. méthode inductive, f … Fizikos terminų žodynas
индуктивный метод — induktyvusis metodas statusas T sritis Kūno kultūra ir sportas apibrėžtis Judesių, veiksmų ir jų derinių mokymo, naudojimo, tobulinimo būdas, kai žinios apie veiksmus, jų derinius, pratimą yra uždavinys, kurio sprendimą mokinys, sportininkas turi … Sporto terminų žodynas
индуктивный метод — induktyvusis metodas statusas T sritis Kūno kultūra ir sportas apibrėžtis Tyrimo arba mokymo būdas, kuriuo nuo atskirų faktų ir reiškinių stebėjimo pereinama prie bendrų taisyklių ir dėsnių nustatymo. atitikmenys: angl. inductive method vok.… … Sporto terminų žodynas
ИНДУКТИВНЫЙ МЕТОД — см. Индукция, Логика индуктивная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 … Философская энциклопедия
Индуктивный метод — метод познания, построенный на индукции (см. Индукция). Предложен Фрэнсисом Бэконом (1561 1626), английским философом, родоначальником английского материализма. В целом индукция выступает у Бэкона не только как один из видов логического вывода,… … Энциклопедический словарь по психологии и педагогике
Индуктивный метод — способ получения обобщающего знания на основе отдельных данных. В социологическом исследовании используются преимущественно эмпирические И. м. К ним относятся прежде всего методы сбора и обобщения первичных данных. Они обеспечивают выявление… … Социологический справочник
Индуктивный метод — ♦ (ENG inductive method) использование вероятностных предположений как средств для получения выводов. В теологических доктринах, таких, как доктрина человечности, этот подход основывается не на доктринальных положениях, а на изучении… … Вестминстерский словарь теологических терминов
ИНДУКТИВНЫЙ МЕТОД ОБУЧЕНИЯ — ИНДУКТИВНЫЙ МЕТОД ОБУЧЕНИЯ. Практический метод обучения, предусматривающий такое ознакомление учащихся с учебным материалом, при котором в результате наблюдения над фактами языка учащиеся подводятся к обобщениям и выводам; основа проблемного… … Новый словарь методических терминов и понятий (теория и практика обучения языкам)
ИНДУКТИВНЫЙ — Основанный на индукции. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. индуктивный 1) основанный на индукции1 1; пользующийся методом индукции; и. метод способ исследования, изложения, при помощи которого от… … Словарь иностранных слов русского языка
7. Индуктивные типы — Доказательство теорем в документации Lean 3.18.4
Мы видели, что формальная основа бережливого производства включает в себя базовые типы, Prop, Тип 0, Тип 1, Тип 2, ...
, и позволяет формировать типы зависимых функций, Π x: α. β
. В примерах мы также использовали дополнительные типы, такие как bool
, nat
и int
, и конструкторы типов, такие как list
, и product, ×
. Фактически, в библиотеке Lean каждый конкретный тип, кроме вселенных, и каждый конструктор типов, кроме Pi, является экземпляром общего семейства конструкций типов, известных как индуктивных типов .Примечательно, что можно построить существенное математическое здание, основанное не более чем на вселенных типов, типах Пи и индуктивных типах; все остальное следует из тех.
Интуитивно понятно, что индуктивный тип создается из заданного списка конструкторов. В Lean синтаксис для указания такого типа следующий:
индуктивный foo: Sort u | конструктор₁: ... → foo | конструктор₂: ... → foo ... | конструкторₙ: ... → foo
Интуиция подсказывает, что каждый конструктор определяет способ создания новых объектов foo
, возможно, из ранее созданных значений.Тип foo
состоит не более чем из созданных таким образом объектов. Первый символ |
в индуктивной декларации не является обязательным. Мы также можем разделять конструкторы запятой вместо |
.
Ниже мы увидим, что аргументы конструкторов могут включать объекты типа foo
с учетом определенного ограничения «положительности», которое гарантирует, что элементы foo
построены снизу вверх.Грубо говоря, каждый ...
может быть любым типом Pi, созданным из foo
и ранее определенных типов, в которых foo
появляется, если вообще появляется, только как «цель» типа Pi. Подробнее см. [Dybj94].
Приведем несколько примеров индуктивных типов. Мы также рассмотрим небольшие обобщения вышеприведенной схемы на взаимно определенные индуктивные типы и так называемые индуктивные семейства .
Как и в случае с логическими связками, каждый индуктивный тип имеет вводные правила, которые показывают, как построить элемент типа, и правила исключения, которые показывают, как «использовать» элемент типа в другой конструкции.Аналогия с логическими связками не должна вызывать удивления; как мы увидим ниже, они тоже являются примерами конструкций индуктивного типа. Вы уже видели правила введения для индуктивного типа: это просто конструкторы, указанные в определении типа. Правила исключения предусматривают принцип рекурсии по типу, который включает, как частный случай, также принцип индукции.
В следующей главе мы опишем пакет определения функций Lean, который предоставляет еще более удобные способы определения функций на индуктивных типах и проведения индуктивных доказательств.Но поскольку понятие индуктивного типа настолько фундаментально, мы считаем важным начать с простого практического понимания. Мы начнем с некоторых основных примеров индуктивных типов и перейдем к более детальным и сложным примерам.
7.1. Перечислимые типы
Простейший вид индуктивного типа — это просто тип с конечным нумерованным списком элементов.
индуктивный будний день: Тип | воскресенье: будний день | понедельник: будний день | вторник: будний день | среда: будний день | четверг: будний день | пятница: будний день | суббота: будний день
Команда индуктивная
создает новый тип будний день
.Все конструкторы находятся в пространстве имен weekday
.
#check weekday.sunday #check weekday.monday открытый будний день # проверить воскресенье # проверить понедельник
Считайте воскресенье
, понедельник
, \ (\ ldots \), субботу
отдельными элементами буднего дня
, без каких-либо других отличительных свойств. Принцип исключения, weekday.rec
, определен вместе с типом weekday
и его конструкторами. Он также известен как рекурсор , и именно он делает этот тип «индуктивным»: он позволяет нам определять функцию в будний день
, присваивая значения, соответствующие каждому конструктору.Интуиция заключается в том, что индуктивный тип исчерпывающе генерируется конструкторами и не имеет элементов, кроме тех, которые они создают.
Мы будем использовать небольшой вариант weekday.rec
, weekday.rec_on
(также сгенерированный автоматически), который принимает свои аргументы в более удобном порядке. (Обратите внимание, что более короткие имена rec
и rec_on
не становятся доступными по умолчанию, когда мы открываем пространство имен weekday
. Это позволяет избежать конфликтов с функциями с такими же именами для других индуктивных типов.) Мы можем использовать weekday.rec_on
для определения функции от weekday
до натуральных чисел:
def number_of_day (d: день недели): ℕ: = weekday.rec_on d 1 2 3 4 5 6 7 #reduce number_of_day weekday.sunday #reduce number_of_day weekday.monday #reduce number_of_day weekday.tuesday
Первый (явный) аргумент rec_on
— это элемент, который «анализируется». Следующие семь аргументов — это значения, соответствующие семи конструкторам. Обратите внимание, что number_of_day будний день.sunday
оценивается как 1
: правило вычисления для rec_on
распознает, что sunday
является конструктором, и возвращает соответствующий аргумент.
Ниже мы встретим более ограниченный вариант rec_on
, а именно case_on
. Что касается перечислимых типов, rec_on
и case_on
одинаковы. Вы можете предпочесть использовать метку case_on
, потому что она подчеркивает, что определение действительно является определением по случаям.
def number_of_day (d: день недели): ℕ: = weekday.cases_on d 1 2 3 4 5 6 7
Часто бывает полезно сгруппировать определения и теоремы, относящиеся к структуре, в пространстве имен с тем же именем. Например, мы можем поместить функцию number_of_day
в пространство имен weekday
. Затем нам разрешается использовать более короткое имя, когда мы открываем пространство имен.
Имена rec_on
и case_on
генерируются автоматически. Как отмечалось выше, они защищены , чтобы избежать конфликтов имен.Другими словами, они не предоставляются по умолчанию при открытии пространства имен. Однако вы можете явно объявить для них аббревиатуры, используя параметр , переименовывающий
, когда вы открываете пространство имен.
день недели пространства имен @ [Приводимое] private def cases_on: = @ weekday.cases_on def number_of_day (d: день недели): nat: = case_on d 1 2 3 4 5 6 7 конец рабочего дня #reduce weekday.number_of_day weekday.sunday открытый будний день (Renamin.
Дедуктивные рассуждения против индуктивных рассуждений
В научном процессе дедуктивное рассуждение используется для достижения логического истинного заключения. Также используется другой вид рассуждений — индуктивный. Часто люди путают дедуктивные рассуждения с индуктивными, и наоборот. Важно знать значение каждого типа рассуждений, чтобы можно было определить правильную логику.
Дедуктивное рассуждение
Дедуктивное рассуждение — основная форма действительного рассуждения.Согласно Калифорнийскому государственному университету, дедуктивное рассуждение или дедукция начинается с общего утверждения или гипотезы и исследует возможности для достижения конкретного логического вывода. Научный метод использует дедукцию для проверки гипотез и теорий. «В дедуктивном выводе мы придерживаемся теории и на ее основе делаем предсказание ее следствий. То есть мы предсказываем, какими должны быть наблюдения, если теория верна. Мы переходим от общего — теории — к частному — наблюдения «, — сказал д-р.Сильвия Вассертхайль-Смоллер, исследователь и почетный профессор Медицинского колледжа Альберта Эйнштейна.
Дедуктивное рассуждение обычно следует за шагами. Сначала идет посылка, затем вторая посылка и, наконец, вывод. Распространенной формой дедуктивного мышления является силлогизм, в котором два утверждения — основная посылка и второстепенная посылка — приходят к логическому завершению. Например, за посылкой «Каждый А — это Б» может следовать другая посылка: «Это С — А.». Эти утверждения привели бы к выводу: «Это С — Б.«Силлогизмы считаются хорошим способом проверки дедуктивного мышления, чтобы убедиться, что аргумент верен.
Например,« Все люди смертны. Гарольд — мужчина. Следовательно, Гарольд смертен ». Чтобы дедуктивное рассуждение было правильным, гипотеза должна быть верной. Предполагается, что посылки« Все люди смертны »и« Гарольд — человек »верны. Следовательно, вывод логичен и В дедуктивных рассуждениях, если что-то верно для класса вещей в целом, это также верно для всех членов этого класса.
Согласно Калифорнийскому государственному университету, выводы дедуктивного вывода верны при условии, что посылки верны. Можно прийти к логическому выводу, даже если обобщение неверно. Если обобщение неверно, вывод может быть логичным, но может и неверным. Например, аргумент: «Все лысые — деды. Гарольд — лысый. Следовательно, Гарольд — дедушка» логически верен, но неверен, поскольку исходное утверждение ложно.
Индуктивные рассуждения
Индуктивные рассуждения противоположны дедуктивным рассуждениям.Индуктивное рассуждение делает широкие обобщения на основе конкретных наблюдений. В основном данные есть, потом на основании данных делаются выводы. Согласно Университету штата Юта, это называется индуктивной логикой.
«В индуктивном выводе мы переходим от частного к общему. Мы делаем много наблюдений, различаем закономерности, делаем обобщения и делаем вывод об объяснении или теории», — сказал Вассертхайль-Смоллер Live Science. «В науке существует постоянное взаимодействие между индуктивным выводом (основанным на наблюдениях) и дедуктивным выводом (основанным на теории), пока мы не приближаемся все ближе и ближе к« истине », к которой мы можем только приблизиться, но не установить с полной уверенностью.«
Пример индуктивной логики:« Монета, которую я вытащил из сумки, — это пенни. Эта монета — пенни. Третья монета из мешка — пенни. Следовательно, все монеты в сумке — пенни ».
Даже если все предпосылки в утверждении верны, индуктивное рассуждение позволяет сделать вывод ложным. Вот пример:« Гарольд — дедушка. Гарольд лысый. Следовательно, все деды лысые ». Вывод не следует логически из утверждений.
Индуктивное рассуждение имеет свое место в научном методе.Ученые используют его для создания гипотез и теорий. Дедуктивное рассуждение позволяет им применять теории к конкретным ситуациям.
Абдуктивное рассуждение
Другая форма научного рассуждения, которая не сочетается с индуктивным или дедуктивным рассуждением, — это абдуктивное мышление. Согласно Бьютт-колледжу, абдуктивное рассуждение обычно начинается с неполного набора наблюдений и переходит к наиболее вероятному возможному объяснению группы наблюдений. Он основан на создании и проверке гипотез с использованием наилучшей доступной информации.Это часто влечет за собой обоснованное предположение после наблюдения за явлением, которому нет четкого объяснения.
Например, человек заходит в свою гостиную и находит разорванные бумаги по всему полу. Собака этого человека весь день находится в комнате одна. Человек заключает, что собака порвала бумаги, потому что это наиболее вероятный сценарий. Так вот, сестра человека могла привезти с собой его племянница, и она могла порвать бумаги, или это могло быть сделано домовладельцем, но теория собаки является более вероятным выводом.
Абдуктивное мышление полезно для формирования гипотез для проверки. Абдуктивное мышление часто используется врачами, которые ставят диагноз на основании результатов тестов, и присяжными, которые принимают решения на основе представленных им доказательств.
Дополнительные ресурсы
,Примеры и определение индукции
Определение индукции
Индукция известна как вывод, сделанный путем рассуждения. Индуктивное утверждение основывается на фактах и примерах, которые приводят к формированию общего мнения. Хотя все факты, на которых основан этот вывод, верны, все же существует вероятность того, что сделанный вывод будет ложным. Этот тип рассуждений идет от конкретных фактов к общему утверждению.
Индуктивное утверждение бывает двух типов: сильное индуктивное утверждение и слабое индуктивное утверждение.Это зависит от его подлинности. Сильное утверждение может оказаться ложным, но это очень маловероятно. Вероятность того, что это правда, очень высока. Когда дело доходит до слабых индуктивных утверждений, у них есть выводы, которые очень маловероятны, а причины достаточно слабы, чтобы сделать вывод маловероятным.
Невозможно точно измерить силу утверждения, но можно измерить ее в градусах. Чтобы утверждение было убедительным, оно должно быть более вероятным по сравнению с неправдоподобным и должно иметь веское фактическое основание, на котором оно основано.Существует четыре различных категории индуктивного рассуждения, а именно индуктивное обобщение, статистический силлогизм, простая индукция и аргумент по аналогии.
Примеры индукции
Пример № 1:
«Этот шарик из мешка черный. Мрамор из сумки черный. Третий шарик из мешка черный. Следовательно, все шарики в сумке черные ».
Утверждение выше является примером индуктивного рассуждения. Поскольку первый шарик из мешка был черным, второй был черным, а третий был черным, был сделан вывод, что все шариков в сумке черные.Если в сумке не было только этих трех шариков, этот вывод может быть неверным.
Пример № 2:
«Я насчитал пять или шесть человек с зелеными глазами; поэтому у всех людей зеленые глаза ».
Это утверждение является примером индуктивного обобщения, в котором используются свидетельства об ограниченном количестве вещей, чтобы сделать общее предположение о большинстве вещей этого типа. Аутентификация этого типа утверждения зависит от количества вещей, использованных для создания предположения, и общего количества вещей.
Пример № 3:
«Сэм — водитель автобуса. Все водители едут со скоростью 30 миль в час, поэтому Сэм едет со скоростью 30 миль в час ».
Это утверждение является примером статистического силлогизма, который начинается с общего утверждения и заканчивается выводом об индивидууме.
Пример № 4:
«Джон и Дэвид — братья. Джон любит есть пиццу и гамбургеры. Дэвид любит есть пиццу. Следовательно, можно предположить, что Дэвид тоже любит есть гамбургеры ».
Это утверждение является примером аргумента по аналогии, который начинается с отметки двух или более свойств и вывода о том, что они должны разделять некоторые дополнительные свойства.
Пример 5:
«Все дети в парке могут прыгать; следовательно, ребенок Илин тоже умеет прыгать.
Это утверждение является примером простой индукции. Подобные утверждения начинаются с доказательства группы и приводят к заключению об отдельном человеке. Это утверждение начинается с предположения обо всех детях, а затем сводится к применению этого предположения к «ребенку Илин», то есть к одному конкретному ребенку.
Пример № 6:
«Около 80 процентов девушек носили каблуки, Джейн — девочка.Поэтому Джейн носила каблуки ».
Это утверждение является примером сильного индуктивного утверждения.
Пример № 7:
«Некоторые актеры — девушки. Том — мальчик. Следовательно, Том — актер ».
Это утверждение является примером слабого индуктивного утверждения.
Пример № 8:
«В сумке 15 зажимов; в случайном розыгрыше 12 розовых. Поэтому все зажимы в сумке розовые ».
Это сильное индуктивное утверждение, поскольку оно логично и вероятность того, что оно истинно, больше, чем ложное.
Функция индукции
Индукция используется для прогнозирования того, что может случиться в будущем, и установления возможности того, что может произойти дальше. Индуктивные утверждения позволяют установить вероятность и подготовиться соответствующим образом. В то же время они также позволяют вам оспаривать точку зрения без фактического доказательства факта. Они могут доказать свою правоту или неправоту только после дальнейших исследований и наблюдений. Индуктивные утверждения используются и в повседневной жизни. Фактически, все мы используем индуктивные утверждения в повседневной жизни, чтобы доказать свою точку зрения, когда говорим о погоде, о других людях и даже в общих ситуациях.
.Определениев кембриджском словаре английского языка
В этой статье мы представляем новый подход к устойчивому дизайну, основанный на концепции индуктивного обучения с деревьями регрессии. Применение индуктивной классификации к данным о производительности для псевдослучайной выборки раскопок, получение деревьев решений для выбора структур данных.Затем делается индуктивный вывод , который делает вывод о том, что определенные случаи, типы, группы или модели зла неуместны. К сожалению, нельзя надеяться добавить правило экстенсионального преобразования к индуктивным типам , которое повлекло бы за собой вычислимость всех изоморфизмов индуктивных типов.Приступим к построению индуктивного (возможно, счетно трансфинитного) . Теперь мы готовы представить коллекцию алгоритмов графов, основанных на индуктивном представлении графов.Чтобы дать индуктивное определение кодирования для процессов, нам необходимо обеспечить операции над
.