Приложение
для AndroidПолное описание
Теория интеллектуальных систем : в 4-х томах / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет. - Москва : Изд-во Московского ун-та. - (Классический университетский учебник). - На авантит.: Московский государственный университет имени М. В. Ломоносова - 270 лет, 1755. - ISBN 978-5-19-012234-3. - Текст : непосредственный.
Т. 3 : Моделирование логических процессов. - 2025. - 216 с. : ил. - Рез. англ. - Библиогр.: с. 214-216 (20 назв.). - 150 экз. - ISBN 978-5-19-012237-4
| ГРНТИ | УДК | |
| 28.23.33 | 004.8 | |
| 28.23.33 | 004.89 |
Рубрики:
Искусственный интеллект
Интеллектуальные системы
Кл.слова (ненормированные): АЛГЕБРА МНОЖЕСТВ -- ИСЧИСЛЕНИЕ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- ПЛАНИМЕТРИЯ -- РЕШАТЕЛЬ ПОДКОЛЗИНА -- СТРУКТУРЫ ДАННЫХ -- ЭЛЕМЕНТАРНАЯ АЛГЕБРА
Аннотация: Предлагаемая книга написана на основе специальных курсов "Компьютерный решатель математических задач", "Интеллектуальные системы", читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Книга рассчитана на студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Доп. точки доступа:
Гасанов, Эльяр Эльдарович
Подколзин, Александр Сергеевич
Московский государственный университет им. М. В. Ломоносова. Механико-математический факультет
Нет сведений об экземплярах
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/77137/3)
Шифр в сводном ЭК: 0ff9519e03f440ee7a1d1738d26828c1
Кудрявцев, Валерий Борисович. Теория тестового распознавания / В. Б. Кудрявцев, А. Е. Андреев, Э. Э. Гасанов, 2007. - 320 с. (Введено оглавление). - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория тестирования логических устройств : учебное пособие / В. Б. Кудрявцев, Э. Э. Гасанов, О. А. Долотова, Г. Р. Погосян, 2006. - 161 с. - Текст : электронный.Подколзин, Александр Сергеевич. Компьютерное моделирование логических процессов. Архитектура и языки решателя задач : Практическое пособие / Московский государственный университет им. М.В. Ломоносова, 2008. - 1024 с. - Текст : электронный.Гасанов, Эльяр Эльдарович. Теория хранения и поиска информации / Э. Э. Гасанов, В. Б. Кудрявцев, 2002. - 288 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 3 : Моделирование логических процессов, 2025. - 216 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 4 : Теория автоматов, 2025. - 305 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 2 : База данных, 2025. - 221 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 1 : Распознавание образов, 2025. - 155 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория автоматов : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин., 2026. - 199 с. - Текст : электронный.Гасанов, Эльяр Эльдарович. Интеллектуальные системы. Теория хранения и поиска информации : учебник для вузов / Э. Э. Гасанов, В. Б. Кудрявцев., 2026. - 271 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Дискретная математика. Теория однородных структур : учебник для вузов / В. Б. Кудрявцев, А. С. Подколзин, А. А. Болотов., 2026. - 295 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Распознавание образов : учебное пособие для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин., 2026. - 101 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Интеллектуальные системы : учебник и практикум для спо / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин., 2026. - 165 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Теория автоматов : учебник для вузов / В. Б. Кудрявцев, С. В. Алешин, А. С. Подколзин., 2026. - 320 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Компьютерное моделирование логических процессов : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин., 2026. - 143 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Математическая теория баз данных : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин., 2026. - 144 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Интеллектуальные системы : учебник и практикум для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин., 2026. - 165 с. - Текст : электронный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 2 : Базы данных, 2026. - 221 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 1 : Распознавание образов, 2026. - 155 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 3 : Моделирование логических процессов, 2026. - 216 с. - Текст : непосредственный.
Показать все результатыШидловский А.Б. Диофантовы приближения и трансцендентные числа / А. Б. Шидловский, А. А. Рухадзе, 2007. - 265 с. - Текст : непосредственный.Алексеев В.М. Оптимальное управление : учебное пособие / В. М. Алексеев, В. М. Тихомиров, С. В. Фомин, 2007. - 407 с. - Текст : непосредственный.Рахматулин Х.А. Прочность и разрушение при кратковременных нагрузках : учебное пособие / Х. А. Рахматулин, Е. И. Шемякин, Ю. А. Демьянов, 2008. - 621 с. - Текст : непосредственный.Ефимов, Николай Владимирович. Краткий курс аналитической геометрии : Учебник / Н. В. Ефимов, 2006. - 238 с. - Текст : непосредственный.Реутов О.А. Органическая химия : Учеб.для вузов по направлению и спец."Химия". Ч. 3(2010), 2010. - 544 с. - Текст : непосредственный.Добреньков В.И. Социология : учебное пособие / В. И. Добреньков, А. И. Кравченко, 2008. - 623 с. - Текст : непосредственный.Бочаров В.А. Основы логики : учебное пособие / В. А. Бочаров, В. И. Маркин, 2008. - 333 с. - Текст : непосредственный.Сажина М.А. Экономическая теория : выставочные материалы / М. А. Сажина, Г. Г. Чибриков, 2012. - 607 с. - Текст : непосредственный.Матвеев А.Н. Молекулярная физика / А. Н. Матвеев, 2006. - 359 с. - Текст : непосредственный.Ильин В.А. Линейная алгебра и аналитическая геометрия / В. А. Ильин, Г. Д. Ким, 2007. - 393 с. - Текст : непосредственный.Гнеденко Б.В. Курс теории вероятностей : учебное пособие / Б. В. Гнеденко, 2011. - 485 с. - Текст : непосредственный.Тихонов А.Н. Уравнения математической физики / А. Н. Тихонов, А. А. Самарский, 2004. - 798 с. - Текст : непосредственный.Ахманов С.А. Физическая оптика / С. А. Ахманов, С. Ю. Никитин, 2004. - 654 с. - Текст : электронный.Рубин, Андрей Борисович (советский и российский биофизик ; 1937-). Биофизика : учебник. Т. 2 : Биофизика клеточных процессов, 2004. - 469 с. - Текст : непосредственный.Рубин, Андрей Борисович (советский и российский биофизик ; 1937-). Биофизика : учебник. Т. 1 : Теоретическая биофизика, 2004. - 462 с. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный.Проскуряков И.В. Сборник задач по линейной алгебре / И. В. Проскуряков, 2005. - 383 с. - Текст : непосредственный.Пугинский Б.И. Коммерческое право России / Б. И. Пугинский, 2006. - 350 с. - Текст : непосредственный.Шабат Б.В. Введение в комплексный анализ : Учебник : в 2 ч. Ч. 1(2015) : Функции одного переменного, 2015. - 336 с. - Текст : непосредственный.Ильин В.А. Высшая математика : учебное пособие / В. А. Ильин, А. В. Куркина, 2012. - 592 с. - Текст : непосредственный.
Показать все результатыКудрявцев В.Б. Введение в теорию автоматов : монография / В. Б. Кудрявцев, С. В. Алёшин, А. С. Подколзин, 2019. - 436 с. - Текст : непосредственный.Ишлинский А.Ю. Теория гироскопов : (курс лекций) / А. Ю. Ишлинский; записаны и подготовлены к выпуску В. И. Борзовым и Н. П. Степаненко, 1974. - 234 с. - Текст : непосредственный.Шкляев, Константин Сергеевич. Новые тополого-геометрические свойства метрической проекции : 1.1.1 - вещественный, комплексный и функциональный анализ: автореферат диссертации на соискание ученой степени кандидата физико-математических / Шкляев Константин Сергеевич, 2023. - 14 с. - Текст : непосредственный.Оганесян, Кристина Артаковна. Оценки и неравенства для тригонометрических рядов с монотонными коэффициентами : 1.1.1 - вещественный, комплексный и функциональный анализ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Оганесян Кристина Артаковна, 2023. - 16 с. - Текст : непосредственный.Крейнес, Михаил Александрович. Определенный интеграл : (методическое пособие для студентов I курса) / М. А. Крейнес, 1963. - 46, [1] с. - Текст : непосредственный.Чирский, Владимир Григорьевич. Избранные вопросы алгебры и теории чисел / В. Г. Чирский, 2024. - 57 с. - Текст (визуальный) : непосредственный.Шешенин, Сергей Владимирович. Численный анализ задач механики композитов / С. В. Шешенин, Н. Б. Артамонова, 2025. - 541 с. - Текст (визуальный) : непосредственный.Бахвалов, Николай Сергеевич. Численные методы. Решения задач и упражнения : учебное пособие / Н. С. Бахвалов, А. А. Корнев, Е. В. Чижонков, 2025. - 400 с. - Текст (визуальный) : непосредственный.Сахаров, Александр Николаевич. Колебание упругого весомого стержня : пособие по механическому практикуму / А. Н. Сахаров, П. В. Чистяков, Н. В. Овчинникова, 2025. - 28 с. - Текст (визуальный) : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 3 : Моделирование логических процессов, 2025. - 216 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 4 : Теория автоматов, 2025. - 305 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 2 : База данных, 2025. - 221 с. - Текст : непосредственный.Кудрявцев, Валерий Борисович. Теория интеллектуальных систем : в 4-х томах. Т. 1 : Распознавание образов, 2025. - 155 с. - Текст : непосредственный.
Aarts E. True visions / E. Aarts, J. Encarnacao ; ed. E. Aarts, 2006 r=on-line.Труды Международной конференции по логике, информатике, науковедению : (г. Ульяновск, 17-18 мая 2007 г.). Т. 2 : Информационные и интеллектуальные технологии, 2007. - 115 с. - Текст : непосредственный.Станкевич Л.А. Интеллектуальные технологии и представление знаний. Интеллектуальные системы / Л. А. Станкевич, 2000. - 79 с. - Текст : непосредственный.Бугайченко Д.Ю. Разработка и реализация методов формально-логической спецификации самонастраивающихся мультиагентных систем с временными ограничениями : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Д. Ю. Бугайченко, 2007. - 15 с. - Текст : непосредственный.Кандрашина Е.Ю. Представление знаний о времени и пространстве в интеллектуальных системах / Е. Ю. Кандрашина, Л. В. Литвинцева, Д. А. Поспелов ; ред. Д. А. Поспелов, 1989. - 328 c. - Текст : непосредственный.Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки" : 23-27 окт. 2006 г. Т. 1Ч. 2, 2006. - С.169-332. - Текст : непосредственный.Ерофеев А.А. Интеллектуальные системы управления / А. А. Ерофеев, А. О. Поляков, 1999. - 264 с. - Текст : непосредственный.Бураков М.В. Интеллектуальные системы управления / М. В. Бураков, О. С. Попов, 1997. - 108 с. - Текст : непосредственный.Еремин Д.М. Искусственные нейронные сети в интеллектуальных системах управления / Д. М. Еремин, И. Б. Гарцеев, 2004. - 75 с. - Текст : непосредственный.Стефанюк В.Л. Локальная организация интеллектуальных систем : монография / В. Л. Стефанюк, 2004. - 328 с. - Текст : непосредственный.Hybrid systems: computation and control : материалы временных коллективов / Ed.: N. Lynch, B. H. Krogh, 2000. - XII,465 p. p. - Текст : непосредственный.Поздяев В.В. Интеллектуальные системы : учебное пособие / В. В. Поздяев, 2008. - 70 с. - Текст : непосредственный.Intelligent system and applied material : материалы временных коллективов / International conference on intelligent system and applied material (2012 ; Taiyuan), 2012 r=on-line. - Текст : электронный.Foundations of intelligent systems : материалы временных коллективов / Ed.: Z. W. Ras, M. Michalewicz, 1996. - XI,664 p. p. - Текст : непосредственный.Болотова Л.С. Системы искусственного интеллекта / Л. С. Болотова, Н. А. Смирнов, А. А. Смольянинов, 2003. - 123 с. - Текст : непосредственный.Mechanical engineering and intelligent systems : материалы временных коллективов / International conference on mechanical engineering and intelligent systems (2012 ; Beijing), 2012 r=on-line. - Текст : электронный.Интеллектуальные системы в управлении, конструировании и образовании / Томский гос. ун-т систем упр. и радиоэлектроники. Вып. 5 / ред. А. А. Шелупанов, 2006. - 131 с. - Текст : непосредственный.Research and development in intelligent systems XVI : материалы временных коллективов / International conference on knowledge-based systems and applied artificial intelligence (19 ; 1999 ; Cambridge), 2000. - VIII, 342 p. - Текст : непосредственный.Applications and innovations in intelligent systems VII : материалы временных коллективов / International conference on knowledge based systems and applied artificial intelligence (19 ; 1999 ; Cambridge), 2000. - X, 345 p. - Текст : непосредственный.Hybrid systems: computation and control / SpringerLink (Online service), 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 с. - Текст : непосредственный.Станкевич Л.А. Интеллектуальные технологии и представление знаний. Интеллектуальные системы / Л. А. Станкевич, 2000. - 79 с. - Текст : непосредственный.Кандрашина Е.Ю. Представление знаний о времени и пространстве в интеллектуальных системах / Е. Ю. Кандрашина, Л. В. Литвинцева, Д. А. Поспелов ; ред. Д. А. Поспелов, 1989. - 328 c. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Куркин В.И. Системы искусственного интеллекта / В. И. Куркин, 2005. - 69 с. - Текст : непосредственный.Одинцов Б.Е. Интеллектуализация искусственных систем / Б. Е. Одинцов, 1997. - 65 с. - Текст : непосредственный.Искусственный интеллект : монография / Ред. А. И. Дащенко, 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. - 447 c. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.Expert system as a maze / O. A. Khrustalev, P. K. Silaev, O. D. Timofeevskaya, E. N. Tyurin, 1990. - 10 p. - Текст : непосредственный.Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный.Храмцов С.В. Система автоматизированного синтеза тестов для генератора экспертных систем СИНАП / С. В. Храмцов, 1990. - 28 с. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Янаева М.В. Разработка и исследование кластерных экспертных систем : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / М. В. Янаева, 2006. - 24 с. - Текст : непосредственный.Толковый словарь по искусственному интеллекту / Ред. А. Н. Аверкин, 1992. - 255 с. - Текст : непосредственный.Bellifemine F. Developing multi-agent systems with JADE / F. Bellifemine, G. Caire, D. Greenwood, 2007 r=on-line. - Текст : электронный.Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный.Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G. Frederichs, M. Rader, 1993. - 108 S. - Текст : непосредственный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Abe S. Support vector machines for pattern classification / S. Abe, 2005 r=on-line. - Текст : электронный.Aarts E. True visions / E. Aarts, J. Encarnacao ; ed. E. Aarts, 2006 r=on-line.Ладенко И.С. Интеллектуальные системы и информатика / И. С. Ладенко, В. Г. Поляков, 1991. - 44 с. - Текст : непосредственный.Вихтенко Э.М. Элементы теории искусственного интеллекта / Э. М. Вихтенко, 2006. - 94 с. - Текст : непосредственный.Брейн М. Великие изобретения : монография / М. Брейн ; Пер. О. С. Лобачева, 2017. - 534 с. - Текст : непосредственный.Аншаков О.М. Логико-математические основания ДСМ-метода автоматического порождения гипотез : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / О. М. Аншаков, 2000. - 48 с. - Текст : непосредственный.Труды Международной конференции по логике, информатике, науковедению : (г. Ульяновск, 17-18 мая 2007 г.). Т. 2 : Информационные и интеллектуальные технологии, 2007. - 115 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽