Полное описание
Калошина, И. П.
Рубрики: Искусственный интеллект
Ферма теорема
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- МОДЕЛИРОВАНИЕ -- ТЕОРЕМА ФЕРМА
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-95/20495)
Шифр в сводном ЭК: c8f3e4bf1e4d70d7f8551dc0133cf362
Калошина И.П. Большая теорема Ферма. Большие числа. Метод анализа. Выход в доказательство : монография / И. П. Калошина, 2017. - 271 с. - Текст : непосредственный. Калошина И.П. Большая теорема Ферма и психология творчества / И. П. Калошина, 2011. - 320 с. - Текст : непосредственный. Калошина И.П. Автоматическое доказательство теорем и его математические модели / И.П.Калошина, 1996. - 56 c. - Текст : непосредственный. Калошина И.П. Теорема Ферма, методология и задачи искусственного интеллекта / И.П.Калошина, 1997. - 64 с. - Текст : непосредственный. Калошина И.П. Управление творческой деятельностью : монография / И. П. Калошина, 2018. - 432 с. - Текст : непосредственный. Калошина И.П. Теорема Пифагора и теорема Ферма : две жемчужины математики: доказательства от простого к сложному: монография / И. П. Калошина, 2019. - 239 с. - Текст : непосредственный. Калошина И.П. Психология творческой деятельности : учеб. пособие / И. П. Калошина, 2008. - 671 с. - Текст : непосредственный. Калошина И.П. Последняя теорема Ферма в моделях искусственного интеллекта / И.П.Калошина, 1995. - 50 c. - Текст : непосредственный. Калошина И.П. Введение в творческую учебную и профессиональную деятельность : электрон. учебник / И. П. Калошина, 2012. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Куриленко И.Е. Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах поддержки принятия решений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / И. Е. Куриленко, 2008. - 20 с. - Текст : непосредственный. Джонс Ж. Решение задач в системе Турбо Паскаль / Ж. Джонс, К. Харроу ; Пер.: Т. О. Уланова, Ю. П. Широкий, 1991. - 718 c. - Текст : непосредственный. Вербицкий О.В. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / О. В. Вербицкий, 1994. - 11 с. - Текст : непосредственный. Хотимчук К.Ю. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений / К. Ю. Хотимчук, 2011. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Case-based reasoning. Research and development : 18th International conference on case-based reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010: proceedings / ed. I. Bichindaritz, 2010 r=on-line. - Текст : электронный. Матасов А.С. Идентификация состояний многомерных объектов на основе адаптивных моделей нечеткого логического вывода : автореф. дис. .. канд. техн. наук: 05.13.18 / А. С. Матасов, 2004. - 17 с. - Текст : непосредственный. IEEE Transactions on Pattern Analysis and Machine Intelligence. - Журнал r=on-line. - Текст : электронный. Захаров А.С. Методы и алгоритмы моделирования приближенных рассуждений на основе темпоральных нечетких байесовских сетей : автореф. дис. .. канд. техн. наук: 05.13.17 / А. С. Захаров, 2016. - 20 с. - Текст : непосредственный. Шашкин Л.О. Приближенные средства установления сходств для ДСМ-метода автоматического порождения гипотез : автореф. дис. .. канд. техн. наук: 05.13.17 / Л. О. Шашкин, 2010. - 26 с. - Текст : непосредственный. Титенко Е.А. Мультипроцессор для реализации исчислительных систем продукций с безвозвратной стратегией выводов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. А. Титенко, 1997. - 18 с. - Текст : непосредственный. Филиппов С.Ж. Параметрическая идентификация систем поддержки принятия решений на основе параллельных генетических алгоритмов : автореф. дис. .. канд. техн. наук: 05.13.01 / С. Ж. Филиппов, 2003. - 16 с. - Текст : непосредственный. Кассим .К.Д.А. Моделирование систем искусственного интеллекта в среде MATLAB и FUZZYTECH : учеб. пособие для студентов направления подгот. 12.03.04 и 12.04.04 Биотехн. системы и технологии / Л. Д.А. Кассим, С. А. Филист, О. В. Шаталова, 2016. - 185 с. - Текст : непосредственный. Нагоев З.В. Методы принятия решений и управления в неструктурированных задачах на основе самоорганизующихся мультиагентных рекурсивных когнитивных архитектур : автореф. дис. .. д-ра техн. наук: 05.13.01 / З. В. Нагоев, 2013. - 49 с. - Текст : непосредственный. Logic programming and nonmonotonic reasoning : 9th International conference, LPNMR 2007, Tempe, Az, USA, May 15-17, 2007: proceedings / ed. C. Baral, 2007 r=on-line. - Текст : электронный. Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005 Diamante, Italy, September 5-8, 2005: proceedings / ed. C. Baral, 2005 r=on-line. - Текст : электронный. Показать все результаты Венда В.Ф. Системы гибридного интеллекта : Эволюция, психология, информатика / В.Ф.Венда, 1990. - 447 c. - Текст : непосредственный. Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный. Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G. Frederichs, M. Rader, 1993. - 108 S. - Текст : непосредственный. Вихтенко Э.М. Элементы теории искусственного интеллекта / Э. М. Вихтенко, 2006. - 94 с. - Текст : непосредственный. Осипов Г.С. Лекции по искусственному интеллекту / Г. С. Осипов, 2013. - 267 с. - Текст : непосредственный. Дворянкин А.М. Искусственный интеллект. Моделирование рассуждений и формальные системы / А. М. Дворянкин, М. Б. Сипливая, И. Г. Жукова, 2003. - 140 с. - Текст : непосредственный. Гуршев И.Г. Возможный подход к доказательству теоремы Ферма / И. Г. Гуршев, 2011. - 7 с. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Цурков И.С. Решение двух замечательных задач / И. С. Цурков, 1991. - 15 с. - Текст : непосредственный. Куркин В.И. Системы искусственного интеллекта / В. И. Куркин, 2005. - 69 с. - Текст : непосредственный. Искусственный интеллект : монография / Ред. А. И. Дащенко, 1991. - 540 c. - Текст : непосредственный. Knowledge-driven computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Kacprzyk J. Advances in differential evolution / J. Kacprzyk, U. K. Chakraborty, 2008 r=on-line. - Текст : электронный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Information modelling and knowledge bases / Ed. H. Kangassalo, 1990. - VI,636 p. p. - Текст : непосредственный. Когнитивный вызов и информационные технологии / Г. Г. Малинецкий, С. К. Маненков, Н. А. Митин, В. В. Шишов, 2010. - 28 с. - Текст : непосредственный. Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 2 : Модели, обслуживающие базы данных и базы знаний / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 135 с. - Текст : непосредственный. Ennals R. Artificial intelligence and human institutions / R. Ennals, 1991. - XII,181 p. p. - Текст : непосредственный. Connectionism in perspective / Ed. Preifer et al., 1989. - XXI,517 p. p. - Текст : непосредственный. Компьютер обретает разум / Ред. В. Л. Стефанюк, 1990. - 240 c. - Текст : непосредственный. Показать все результаты Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный. Когнитивный вызов и информационные технологии / Г. Г. Малинецкий, С. К. Маненков, Н. А. Митин, В. В. Шишов, 2010. - 28 с. - Текст : непосредственный. Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 2 : Модели, обслуживающие базы данных и базы знаний / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 135 с. - Текст : непосредственный. Брайнов С.Б. Разработка и исследование моделей устойчивых коопераций в мультиагентных системах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / С. Б. Брайнов, 1998. - 16 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Fresco N. Physical Computation and Cognitive Science / N. Fresco, 2014 r=on-line. - Текст : электронный. Roos N. What is on the machine's mind? : Models for reasoning with incomplete and uncertain knowledgeDiss. / N.Roos, 1991. - 129 p. - Текст : непосредственный. IEEE Transactions on Pattern Analysis and Machine Intelligence. - Журнал r=on-line. - Текст : электронный. Глинский Б.А. Моделирование и когнитивные репрезентации / Б.А.Глинский,О.Е.Баксанский, 2000. - 147 с. - Текст : непосредственный. Кассим .К.Д.А. Моделирование систем искусственного интеллекта в среде MATLAB и FUZZYTECH : учеб. пособие для студентов направления подгот. 12.03.04 и 12.04.04 Биотехн. системы и технологии / Л. Д.А. Кассим, С. А. Филист, О. В. Шаталова, 2016. - 185 с. - Текст : непосредственный. Bio-inspired modeling of cognitive tasks : second International work-conference on the interplay between natural and artificial computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007: proceedings, part 1 / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Модели когнитивных процессов : Сб.науч.тр. / ред. К. Ф. Самохвалов, 1997. - 184 с. - Текст : непосредственный. Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 1 : Модели, обслуживающие ЛИСП / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 162 с. - Текст : непосредственный. Модели и системы представления знаний : Сб. науч. тр. межвуз. / Моск. ин-т радиотехники, электрон. и автоматики, 1990. - 108 с. - Текст : непосредственный. Анисимова И.Н. Формально-грамматическая модель логического вывода в системах искусственного интеллекта : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:01.01.09, 05.13.16 / И. Н. Анисимова, 1999. - 17 с. - Текст : непосредственный. Модели когнитивных процессов / Науч. ред. К.Ф.Самохвалов, 1998. - 112 с. - Текст : непосредственный. Ertel W. Grundkurs kunstliche Intelligenz : eine praxisorientierte Einfuhrung / W. Ertel, 2009. - Текст : электронный. Калошина И.П. Последняя теорема Ферма в моделях искусственного интеллекта / И.П.Калошина, 1995. - 50 c. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
