Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=ДЕДУКЦІЯ$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
| | Тип видання: наукове видання | | |
1. |
Фихте, И. Г. Сочинения [Електронний ресурс] : работы 1792-1801 гг. / И. Г. Фихте. - М. : Ладомир, 1995. - 656 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
В настоящее издание избранных произведений Фихте включены важнейшие работы первого периода, начиная с самых ранних - "Опыты критики всякого откровения" (1792) и "Востребования от государей Европы свободы мысли, которую они до сих пор подавляли" (1792) и кончая трактатом 1801 г. "Ясное, как солнце, сообщение широкой публике об истинной сущности новейшей философии".
Кл.слова: дедукція релігії -- науковчення
| | Тип видання: наукове видання | | |
2. |
Бакаев, А. А. Методы организации и обработки баз знаний [Електронний ресурс] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; Академия наук Украины, Институт кибернетики им. В. М. Глушкова. - Киев : Наукова думка, 1993. - 152 с.
Рубрики:
Текст у форматі PDF 10.73 Мб
Аналізуються методи проектування і реалізації інтелектуальних і передусім експертних систем. Розглядаються питання розробки і використання мови опису баз знань, побудови методів розв'язання задач, способи роботи з неточними, неповними, недостовірними та суперечливими знання, методи об'єднання баз знань і даних, а також підходи до реалізації інтелектуальних систем.
Кл.слова: інтелектуальні системи -- дедукція -- комбінаторика -- реляційне керування -- бази даних
| | Тип видання: підручник | | |
3. |
Жеребкін, В. Є. Логіка [Електронний ресурс] / В. Є. Жеребкін. - 10-е вид.. - К. : Знання, 2008. - 255 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Ця книга витримала дев'ять видань і по суті є одним із базових підручників з логіки для студентів юридичних спеціальностей. Найважливіші переваги підручника: чітка побудова матеріалу; автору вдалося навіть найскладніші розділи подати доступно і зрозуміло; теоретичний матеріал органічно поєднується з практикою судового пізнання, особливостями правового дослідження. За змістом підручник повністю відповідає програмі навчальної дисципліни "Логіка" для студентів юридичних спеціальностей. Розраховано на студентів юридичних спеціальностей, фахівців, які цікавляться питаннями застосування логіки у практиці юриста.
Кл.слова: пізнання -- індукція -- дедукція
| | Тип видання: довідник | | |
4. |
Александрова, Н. В. История математических терминов, понятий, обозначений [Електронний ресурс] : словарь-справочник / Н. В. Александрова. - 3-е изд., испр.. - М. : Изд-во ЛКИ, 2008. - 248 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
В настоящей книге, одной из немногих в отечественной и мировой научной литературе, приводятся сведения о математических понятиях, терминах и обозначениях. Читатель узнает, кто и когда ввел понятие, определение и термин; как оно называлось при своем первом появлении; когда возник современный термин и кем он был предложен; что он означает в точном переводе на русский язык; кому принадлежит обозначение (если оно имеется). Сведения даются в алфавитном порядке. Идея книги возникла, когда обнаружилось, что исторические сведения рассеяны в огромном числе статей и книг, в предисловиях, примечаниях и сносках. Насколько удалось найти специальные публикации, это - несколько страниц в "Математике в школе" за 1941 г. (автор - Н.И.Шевченко), брошюра В.В.Никишова "Словник походження математичнiх термiнiв" (1935) и книга Ch.Mugler "Dictionnaire historique de la terminologie g'eom'etrique des grecs" (Paris, 1958). Теперь к ним можно добавить пособие "Математическая терминология" Е.А.Орловой (изд-во МГУ, 1989). Елена Алексеевна установила по словарям, когда именно и из какого языка тот или иной термин вошел в русский язык. История открытия -- одно из средств (а может быть, и единственное средство) сделать аудиторию, хотя бы в какой-то степени, свидетелем открытия, что так интересно и так важно для понимания логики развития математики и логики самой математики. Можно сослаться на мнение А.Пуанкаре: "В ее строго логической форме математическая дисциплина принимает столь искусственный характер, что ставит в тупик любого. Забывая исторические истоки, мы видим, как вопросы могут быть разрешены, но перестаем понимать, как и почему они были поставлены". Исторический подход решает еще одну задачу -- объяснить и сделать понятным определение, доказательство, решение. Ф.Клейн писал, что нет более доходчивого объяснения, чем обращение к истории предмета. Он щедро делился опытом в "Лекциях об истории развития математики в XIX веке". Книга такого жанра, естественно, не может быть полной и законченной. Увы, никто необъятного объять не может.
Кл.слова: дедукція -- фаза -- хорда -- куб
| | Тип видання: навчальний посібник | | |
5. |
Уемов, А. И. Задачи и упражнения по логике [Електронний ресурс] / А. И. Уемов. - М. : Высшая школа, 1961. - 352 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящее пособие рассчитано на студентов педагогических институтов и филологических факультетов университетов. Подбор материала как по характеру, так и по объему делает пособие полезным для специалистов и других дисциплин. Задачи и упражнения составлены применительно к вузовскому курсу традиционной формальной логики с некоторыми элементами математической — в соответствии с программой. Наряду с упражнениями пособие содержит ответы и некоторые теоретические сведения, необходимые для решения задач.
Кл.слова: судження -- закон логіки -- індукція -- дедукція
| | Тип видання: наукове видання | | |
6. |
Вагин, В. Н. Дедукция и обобщение в системах принятия решений [Електронний ресурс] / В. Н. Вагин. - М. : Наука, 1988. - 384 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификации излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и по структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации. Для специалистов в области искусственного интеллекта, систем управления и принятия решений.
Кл.слова: штучний інтелект -- дедукція -- управління -- рішення
| | Тип видання: монографія | | |
7. |
Новосёлов, М. М. Беседы о логике [Електронний ресурс] / М. М. Новосёлов. - М. : ИФ РАН, 2006. - 158 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Указанная монография, не углубляясь в технические детали современной логики, освещает некоторые её проблемы с их идейной стороны. При этом речь идёт как о понятиях, участвующих в формирова- нии логической теории в целом (исторический аспект развития логики и её связь с теорией аргументации), так и о понятиях частного порядка (например, идейный аспект теории «нормальных форм»). Вместе с тем главная цель автора — обсудить справедливость (достаточ- ность) традиционного определения логической дедукции как движения мысли «от общего к частному», по крайней мере, в той части ло- гики, которую называют «логикой высказываний». В этой связи автор показывает, что дедукция, равным образом, как и эксперимент, демонстрирует характерные черты верификации, что вполне объясня- ет, почему именно Декарт поставил дедукцию на второе место (в порядке исследования) после интеллектуальной интуиции.
Кл.слова: логічна дедукція -- логіка висловлювань
| | | | | | |
|
|