| Найдено документов - 35 | Найти похожие: "Индекс ББК" = 'В126 или В186' | Версия для печати |
Сортировать по:
1. Документ
ДСМ-метод автоматического порождения гипотез : логические и эпистемологические основания / Аншаков Олег Михайлович [и др.]; Рос. гос. гуманитар. ун-т, Всерос. ин-т науч. и техн. информ. РАН; сост.: О. М. Аншаков, Е. Ф. Фабрикантова; под общ. ред. О. М. Аншакова. - Москва : URSS : ЛИБРОКОМ, 2009. - 430 с. ; 25 см. - Библиогр. в конце гл. - ISBN 978-5-397-00636-1 : 400.00.
Авторы: Аншаков Олег Михайлович, Финн Виктор Константинович, Кузнецов С. О., Скворцов Д. П., Фабрикантова Е. Ф.
Шифры: З813 - Д 78
Ключевые слова: Автоматическое обучение, Автоматическое порождение гипотез, Анализ данных, ДСМ-метод, ДСМ-рассуждения, Интеллектуальные системы, Искусственный интеллект, Кибернетика, Логика, Логико-математические основания, Логические основания, Метод автоматического порождения гипотез, Правдоподобные рассуждения, Рассуждения, Формализация правдоподобных рассуждений, Эпистемологические основания, Эпистемология
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге представлены теоретические основания формализации правдоподобных рассуждений, используемых в ДСМ-методе автоматического порождения гипотез. Этот метод развивает средствами современной логики идеи Д. С. Милля об индукции и идеи Ч. С. Пирса об абдукции, кроме того, ДСМ-метод использует принцип фальсификации К. Р. Поппера как средство отбрасывания нерелевантных гипотез. Главным результатом, представленным в книге, является формализация эвристики типа «индукция + аналогия + абдукция», которая образует синтез этих познавательных процедур. Его формализацией являются правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие контекстно-зависимую индукцию с контролируемыми выводами, являются весомым аргументом против антииндуктивизма К. Р. Поппера. Кроме того, ДСМ- рассуждения являются существенной частью ДСМ-метода автоматического порождения гипотез — оригинальной технологии и методологии интеллектуального анализа данных.
2. Документ
Попов С. В.
Логическое моделирование / С. В. Попов; С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 90.00.
Логическое моделирование / С. В. Попов; С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 90.00.
Шифры: В186 - П58
Ключевые слова: Математическая кибернетика, Искусственный интеллект, Логическое моделирование
Экземпляры: Всего: 2, из них: к3-2
Подробнее
3. Документ
Шамис Александр Львович.
Пути моделирования мышления : актив. синерг. нейрон. сети, мышление и творчество, формал. модели поведения и "распознавания с пониманием" / Шамис Александр Львович; А. Л. Шамис. - Москва : КомКнига, 2006. - 332, [1] с. : ил. - Библиогр.: с. 327-333. - ISBN 5-484-00578-7 : 250.00.
Пути моделирования мышления : актив. синерг. нейрон. сети, мышление и творчество, формал. модели поведения и "распознавания с пониманием" / Шамис Александр Львович; А. Л. Шамис. - Москва : КомКнига, 2006. - 332, [1] с. : ил. - Библиогр.: с. 327-333. - ISBN 5-484-00578-7 : 250.00.
Шифры: В186 - Ш19
Ключевые слова: Восприятие, Искусственный интеллект, Моделирование, Мышление, Поведение
Экземпляры: Всего: 1, из них: к3-1
Подробнее
4. Документ
Вопенка Петр.
Альтернативная теория множеств / Вопенка Петр; Петр Вопенка ; ред. пер. Белякин Н. В. ; пер. со словац. Гамовой А. Н., Белякина Н. В. - Новосибирск : Ин-т математики, 2004. - 611 с. - Доп. тит. л. на словац. яз. - Библиогр.: с. 601-606. - ISBN 5-86134-124-9 : 120.00.
Альтернативная теория множеств / Вопенка Петр; Петр Вопенка ; ред. пер. Белякин Н. В. ; пер. со словац. Гамовой А. Н., Белякина Н. В. - Новосибирск : Ин-т математики, 2004. - 611 с. - Доп. тит. л. на словац. яз. - Библиогр.: с. 601-606. - ISBN 5-86134-124-9 : 120.00.
Авторы: Вопенка Петр, Гамова А. Н., Белякин Н. В.
Шифры: В126 - В74
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее
5. Документ
Гордон Евгений Израилевич.
Инфинитезимальный анализ : [В 2 ч.]. Ч. 2 / Гордон Евгений Израилевич; Е. И. Гордон, А. Г. Кусраев, С. С. Кутателадзе; РАН. СО. Ин-т математики им. С. Л. Соболева. - Новосибирск : Ин-т математики, 2001. - 246 с. - (Нестандарт. методы анализа). - Библиогр.: с.206-241. - Указ. обозначений: с.242-243. - Предм. указ.: с.244-246. - ISBN 5-86134-097-8 : 79.80.
Инфинитезимальный анализ : [В 2 ч.]. Ч. 2 / Гордон Евгений Израилевич; Е. И. Гордон, А. Г. Кусраев, С. С. Кутателадзе; РАН. СО. Ин-т математики им. С. Л. Соболева. - Новосибирск : Ин-т математики, 2001. - 246 с. - (Нестандарт. методы анализа). - Библиогр.: с.206-241. - Указ. обозначений: с.242-243. - Предм. указ.: с.244-246. - ISBN 5-86134-097-8 : 79.80.
Авторы: Гордон Евгений Израилевич, Кусраев Анатолий Георгиевич, Кутателадзе Семен Самсонович, Решетняк Ю. Г.
Шифры: В126 - Г68
Ключевые слова: Нестандартный анализ, Нестандартные методы анализа, Инфинитезимальный анализ, Математический анализ
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
Лексаченко Валентин Александрович.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
Шифры: В122 - Л43
Ключевые слова: Математическая логика, Математическая статистика, Множества, Случайные процессы (мат.), Теория вероятностей, Теория множеств
Экземпляры: Всего: 1, из них: к3-1
Подробнее
7. Документ
Верещагин Н.К.
Начала теории множеств / Н. К. Верещагин, А. Шень; Н.К. Верещагин, А. Шень. - Москва : МЦНМО, 1999. - 126,[1] с. : ил. - (Лекции по мат. логике и теории алгоритмов) ( ; 1). - Библиогр.: с.121-122. - Указ. предм., имен.: с.123-127. - ISBN 5-900916-36-7 : 7.94.
Начала теории множеств / Н. К. Верещагин, А. Шень; Н.К. Верещагин, А. Шень. - Москва : МЦНМО, 1999. - 126,[1] с. : ил. - (Лекции по мат. логике и теории алгоритмов) ( ; 1). - Библиогр.: с.121-122. - Указ. предм., имен.: с.123-127. - ISBN 5-900916-36-7 : 7.94.
Авторы: Верещагин Н.К., Шень А
Шифры: В126 - В31
Ключевые слова: Множества, Теория множеств, Наивная теория множеств
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
Логический подход к искусственному интеллекту : От модальной логики к логике баз данных / Тейз Андре [и др.]; [Авт.: А. Тейз, П. Грибомон, Г. Юлен и др.]; Пер. с фр. Г.П. Гаврилова и др.; Под ред. Г.П. Гаврилова. - Москва : Мир, 1998. - 493,[1] с. - Перевод изд.: Approche logique de l'intelligence artificielle / Andre Thayse, Pascal Gribomont, Guy Hulin e.a. - Библиогр.: с.471-486. - ISBN 5-03-002519-7. - ISBN 02-04-018757-X : 26.04.
Авторы: Тейз Андре, Грибомон Паскаль, Юлен Ги, Пирот Ален, Ролан Доминик, Гаврилов В.П.
Шифры: В186 - Л69
Ключевые слова: Искусственный интеллект, Математическая логика, Логическое программирование, Логика баз данных
Экземпляры: Всего: 1, из них: к3-1
Подробнее
9. Документ
Пивкин В.Я.
Нечеткие множества в системах управления : Метод. пособие / В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; В.Я. Пивкин, Е.П. Бакулин, Д.И. Кореньков; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. ; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. - Новосибирск, 1997. - 51,[1] с. : ил. - Библиогр.: с. 52. - 5.00.
Нечеткие множества в системах управления : Метод. пособие / В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; В.Я. Пивкин, Е.П. Бакулин, Д.И. Кореньков; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. ; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. - Новосибирск, 1997. - 51,[1] с. : ил. - Библиогр.: с. 52. - 5.00.
Авторы: Пивкин В.Я, Бакулин Е.П., Кореньков Д.И.
Шифры: В186 - П32
Ключевые слова: Нечеткие множества, Управляющие системы, Принятие решений, Системы управления, Нечеткие системы управления, Системы с нечеткой логикой
Экземпляры: Всего: 1, из них: к3-1
Подробнее
10. Документ
Петросян Вадим Кармленович.
Общий кризис теоретико-множественной математики и пути его преодоления : версия 1.0 / Петросян Вадим Кармленович; В. К. Петросян ; Фонд филос. инициативы "Апейрон", Ин-т истории естествознания и техники РАН. - Науч. изд. - Москва : Янус-К, 1997. - 143 с. - Библиогр.: с.139-141. - ISBN 5-88929-047-9 : 8000.00.
Общий кризис теоретико-множественной математики и пути его преодоления : версия 1.0 / Петросян Вадим Кармленович; В. К. Петросян ; Фонд филос. инициативы "Апейрон", Ин-т истории естествознания и техники РАН. - Науч. изд. - Москва : Янус-К, 1997. - 143 с. - Библиогр.: с.139-141. - ISBN 5-88929-047-9 : 8000.00.
Шифры: В126 - П31
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее
11. Документ
Хендл Джеймс М.
Введение в теорию множеств / Хендл Джеймс М.; Пер. с англ. С. И. Травкина; Под ред. В. Б. Кузьмина. - Москва : Радио и связь, 1993. - 103,[2] с. - Перевод изд.: An Outline of Set Theory / James M. Henle (New York etc.). - ISBN 5-256-00485-9 : 500-00; 700-00.
Введение в теорию множеств / Хендл Джеймс М.; Пер. с англ. С. И. Травкина; Под ред. В. Б. Кузьмина. - Москва : Радио и связь, 1993. - 103,[2] с. - Перевод изд.: An Outline of Set Theory / James M. Henle (New York etc.). - ISBN 5-256-00485-9 : 500-00; 700-00.
Шифры: В126 - Х38
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
Нейрокомпьютер как основа мыслящих ЭВМ : [Сб. ст.] / РАН. Отд-ние физиологии; [Отв. ред. А. А. Фролов, Г. И. Шульгина]. - Москва : Наука, 1993. - 237,[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-02-005457-7 : 240.00; 140.00.
Авторы: Фролов А. А., Шульгина Г. И.
Шифры: З813.4 - Н46
Ключевые слова: Нейроинформатика, Нейрокомпьютеры, Искусственный интеллект, Нейросетевая технология, Нейрокибернетика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
13. Документ
Интеллектуальные процессы и их моделирование : Пространственно-временная орг. : Сб. науч. тр. / АН СССР, Отд-ние информатики, вычисл. техники и автоматизации, Ин-т пробл. передачи информ.; Отв. ред. А. В. Чернавский. - Москва : Наука, 1991. - 238,[2] с. : ил. ; 21 см. - Библиогр. в конце ст. - ISBN 5-02-006781-4 : 4.00.
Шифры: З813 - И73
Ключевые слова: Искусственный интеллект, Моделирование искусственного интеллекта
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Документ
Математические исследования. Вып. 123 : Прикладные системы искусственного интеллекта / [редкол.: Д. А. Поспелов (отв. ред.) и др.] / АН Респ. Молдова, Ин-т математики с ВЦ. - Кишинев : Штиинца, 1991. - 133,[2] с. : ил. ; 21 см. - Библиогр. в конце ст. - ISBN 5-376-00972-6 : 31.50.
Шифры: В1я5 - М34
Экземпляры: Всего: 1, из них: к3-1
Подробнее
15. Документ
Нечеткие системы: модели и программные средства : сб. науч. тр. / Твер. гос. ун-т, Сов. ассоц. нечетких систем ; редкол.: А. В. Язенин (отв. ред.) и др. - Тверь, 1991. - 110, [2] c. : ил. - Библиогр. в конце ст. - ISBN 5-230-08373-5 : <null>.
Шифры: В186 - Н59
Ключевые слова: Нечеткие системы, Принятие решений, Теория множеств, Труды Тверского государственного университета
Экземпляры: Всего: 5, из них: к3-5
Подробнее
16. Документ
Ковальски Роберт.
Логика в решении проблем / Ковальски Роберт; Роберт Ковальски; Пер. с англ. Л. Г. Осмоловского и др.; С предисл. и примеч. Д. А. Поспелова. - Москва : Наука, 1990. - 277,[1] с. : ил. - (Проблемы искусств. интеллекта) ( ; Вып. 18). - Библиогр.: с.263-271. - Указ. имен. и предм.: с.272-278. - ISBN 5-02-014148-8 : 31.32.
Логика в решении проблем / Ковальски Роберт; Роберт Ковальски; Пер. с англ. Л. Г. Осмоловского и др.; С предисл. и примеч. Д. А. Поспелова. - Москва : Наука, 1990. - 277,[1] с. : ил. - (Проблемы искусств. интеллекта) ( ; Вып. 18). - Библиогр.: с.263-271. - Указ. имен. и предм.: с.272-278. - ISBN 5-02-014148-8 : 31.32.
Авторы: Ковальски Роберт, Осмоловский Л. Г., Поспелова Д. А.
Шифры: В186 - К56
Ключевые слова: Логическое программирование, Программирование
Экземпляры: Всего: 2, из них: к3-2
Подробнее
17. Книга
Логика и компьютер : Моделирование рассуждений и проверка правильности программ / [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.; Авт. предисл. И. М. Макаров; Науч. ред. Е. Д. Смирнова]; АН СССР. - Москва : Наука, 1990. - 238,[1] с. : ил. ; 19 см. - (Кибернетика - неограниченные возможности и возможные ограничения). - Библиогр.: с.231-235. - ISBN 5-02-007156-0 : 12.60.
Авторы: Анисов А. М., Алешина Н. А., Быстров П. И., Герасимова И. А., Меськов В. С., Непейвода Н. Н., Макаров И. М., Смирнова Е. Д.
Шифры: З973.2 - Л69
Ключевые слова: Компьютеры, Программирование, Информатика, Информационные технологии, Логика, Искусственный интеллект
Экземпляры: Всего: 2, из них: к3-2
Подробнее
18. Документ
Логический подход к искусственному интеллекту : от классич. логики к логич. программир. / [А. Тейз, П. Грибомон, Ж. Луи и др.]; пер. с фр. П. П. Пермякова; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Авт. указаны на обороте тит. л. - Перевод изд. : Approche logique de l,intelligence artificielle / Par Andre Thayse, Pascal Gribomont, Georges Louis etc. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. - ISBN 5-03-001636-8 (в пер.) : 2.90.
Авторы: Тейз Андре, Грибомон Паскаль, Луи Жорж, Гаврилов Гарий Петрович, Пермяков П. П.
Шифры: В186 - Л69
Ключевые слова: Основания математики, Математическая логика
Экземпляры: Всего: 4, из них: к3-4
Подробнее
19. Документ
Власов Владимир Васильевич.
Общая теория решения задач (рациология) / Власов Владимир Васильевич; В.В. Власов. - Москва : Изд-во ВЗПИ, 1990. - 124 с. ; 20 см. - Библиогр.: с. 122-123 (22 назв.). - ISBN 5-7045-0080-3 : 1.30.
Общая теория решения задач (рациология) / Власов Владимир Васильевич; В.В. Власов. - Москва : Изд-во ВЗПИ, 1990. - 124 с. ; 20 см. - Библиогр.: с. 122-123 (22 назв.). - ISBN 5-7045-0080-3 : 1.30.
Шифры: З813 - В58
Ключевые слова: Задачи, Решение задач, Теория решения задач, Рациология, Принятие решений
Экземпляры: Всего: 2, из них: к3-2
Подробнее
20. Документ
Дюбуа Дидье.
Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
Авторы: Дюбуа Дидье, Прад Анри, Орловский С. А., Тарасов В. Б.
Шифры: В12 - Д95
Ключевые слова: Представление знаний, Теория возможностей, Возможности, Информатика
Экземпляры: Всего: 2, из них: к3-2
Подробнее