| Найдено документов - 42 | Найти похожие: "Индекс УДК" = '62:007.51 или 510.22' | Версия для печати |
Сортировать по:
1. Книга
Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов : сборник докладов XI-й Международной юбилейной научно-технической конференции "Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов", Москва, 10-11 декабря 2020 года, МАИ / МАИ (нац. исслед. ун-т). - Москва : Эдитус, 2021. - 409 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-00149-549-9.
Шифры: А185 - П 781
Ключевые слова: РОБОТОТЕХНИЧЕСКИЕ СИСТЕМЫ, ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, СИСТЕМЫ УПРАВЛЕНИЯ ЛА, ЛЕТАТЕЛЬНЫЕ АППАРАТЫ, АВТОМАТИЗАЦИЯ, АВТОР МАИ, КОНФЕРЕНЦИИ МЕЖДУНАРОДНЫЕ, МЕЖДУНАРОДНЫЕ КОНФЕРЕНЦИИ, КОНФЕРЕНЦИИ НАУЧНО-ТЕХНИЧЕСКИЕ
Аннотация: Сборник трудов включает тезисы докладов, которые были представлены на XI-й международной юбилейной научно-технической конференции «Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов», проведённой 10-11 декабря 2020 г. в Московском авиационном институте (национальном исследовательском университете). Конференция приурочена к 85-летию Института №7 «Робототехнические и интеллектуальные системы». Доклады посвящены последним достижениям в проводимых авторами научных исследованиях, которые связаны с робототехническими и интеллектуальными системами авиационного и аэрокосмического применения. В представленных докладах рассмотрен широкий круг вопросов, возникающих при разработке робототехнических систем и их элементов, в том числе математические модели для исследования статики, динамики и энергетики систем, оценки их эффективности, надёжности и функционирования, а также эффективные варианты программной реализации известных и предлагаемых алгоритмов. Сборник состоит из шести секций: 1. Информационно-управляющие комплексы летательных аппаратов. 2. Системное проектирование авиационных комплексов. 3. Системы приводов летательных аппаратов. 4. Проектирование, исследование и испытания комплексов авиационного вооружения. 5. Системы управления беспилотными летательными аппаратами. 6. Робототехника и искусственный интеллект.
Экземпляры: Всего: 12, из них: абнл-5, чзнл-3, чзуч-4
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/57817?idb=NewMAI2014
Ссылка на ресурс: https://www.elibrary.ru/item.asp?id=44782760
Прямая ссылка:
2. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ, ТЕОРИЯ МНОЖЕСТВ
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка:
3. Многотомник
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Авторы: Верещагин Н.К., Шень А.
Шифры: 51 - В 317
Прямая ссылка:
4. Книга
Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов, Всерос. юбилейная науч.-техн. конф.(10; 2015; Москва).
Сборник докладов Х-й Всероссийской юбилейной научно-технической конференции "Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов", 26 июня 2015 г. / МАИ (Нац. исслед. ун-т). - М. : МАИ, 2015. - 315 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-4316-0246-7.
Сборник докладов Х-й Всероссийской юбилейной научно-технической конференции "Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов", 26 июня 2015 г. / МАИ (Нац. исслед. ун-т). - М. : МАИ, 2015. - 315 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-4316-0246-7.
Шифры: А185 - П 781
Ключевые слова: РОБОТОТЕХНИЧЕСКИЕ СИСТЕМЫ, ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, СИСТЕМЫ УПРАВЛЕНИЯ ЛА, ЛЕТАТЕЛЬНЫЕ АППАРАТЫ, АВТОМАТИЗАЦИЯ, АВТОР МАИ, ВСЕРОССИЙСКИЕ КОНФЕРЕНЦИИ, КОНФЕРЕНЦИИ ВСЕРОССИЙСКИЕ, КОНФЕРЕНЦИИ НАУЧНО-ТЕХНИЧЕСКИЕ
Аннотация: В настоящий сборник включены тезисы докладов, прочитанных на Х-й Всероссийской юбилейной научно-технической конференции «Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов», проведенной 25-26 июня 2015г. в Московском авиационном институте Конференция посвящена 80-летию факультета «Робототехнические и интеллектуальные системы» (№ 7) МАИ. Доклады посвящены обсуждению результатов научных исследований, проведенных авторами в областях, связанных с робототехническими системами авиационного и аэрокосмического применения В них рассмотрены различные аспекты, возникающие при разработке робототехнических систем и их элементов, в т.ч математические модели исследования статики, динамики и энергетики систем, оценки их эффективности, надежности и функционирования.
Экземпляры: Всего: 3, из них: абнл-1, чзнл-2
Прямая ссылка:
Подробнее
Кафедра: 7 фак.
5. Книга
Зак Ю.А.
Принятие решений в условиях нечетких и размытых данных .Fuzzy-технологии / Ю.А. Зак. - М. : ЛИБРОКОМ, 2013. - 349 с. : ил. - Библиогр.: с.344-349 (97 назв.). - ISBN 978-5-397-03451-7.
Принятие решений в условиях нечетких и размытых данных .Fuzzy-технологии / Ю.А. Зак. - М. : ЛИБРОКОМ, 2013. - 349 с. : ил. - Библиогр.: с.344-349 (97 назв.). - ISBN 978-5-397-03451-7.
Авторы: Зак Ю.А.
Шифры: 005 - З-18
Ключевые слова: ТЕОРИЯ ПРИНЯТИЯ РЕШЕНИЙ, УПРАВЛЕНЧЕСКИЕ РЕШЕНИЯ-МАТЕМАТИЧЕСКИЕ МЕТОДЫ, МАТЕМАТИЧЕСКАЯ ЭКОНОМИКА, МНОЖЕСТВА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
6. Книга
Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов, Всерос. юбилейная науч.-техн. конф.(8; 21-23 июня 2010; Москва).
Сборник докладов VIII-й Всероссийской юбилейной научно-технической конференции " Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов", 21-23 июня 2010 года / МАИ (Гос. техн. ун-т); Рос. акад. ракетных и артиллер. наук. - М. : МАИ-ПРИНТ, 2010. - 478 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-7035-2201-1.
Сборник докладов VIII-й Всероссийской юбилейной научно-технической конференции " Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов", 21-23 июня 2010 года / МАИ (Гос. техн. ун-т); Рос. акад. ракетных и артиллер. наук. - М. : МАИ-ПРИНТ, 2010. - 478 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-7035-2201-1.
Шифры: А185 - П 781
Ключевые слова: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ОСНАЩЕНИЕ ЛА, ПРИВОДЫ ЛА, РОБОТОТЕХНИЧЕСКИЕ СИСТЕМЫ, СИСТЕМЫ УПРАВЛЕНИЯ ЛА, АВТОР МАИ, КОНФЕРЕНЦИИ НАУЧНО-ТЕХНИЧЕСКИЕ, КОНФЕРЕНЦИИ ВСЕРОССИЙСКИЕ, ВСЕРОССИЙСКИЕ КОНФЕРЕНЦИИ
Экземпляры: Всего: 3, из них: абнл-1, чзнл-2
Прямая ссылка:
Подробнее
Кафедра: 7 фак.
7. Книга
Окстоби Дж.
Мера и категория / Окстоби Дж.; перевод с английского и предисловие В.А. Скворцова. - 2-е изд. - М. : УРСС, 2008. - 157 с. : ил. - Библиогр.: с. 153-155 (40 назв.). - ISBN 978-5-382-00407-5.
Мера и категория / Окстоби Дж.; перевод с английского и предисловие В.А. Скворцова. - 2-е изд. - М. : УРСС, 2008. - 157 с. : ил. - Библиогр.: с. 153-155 (40 назв.). - ISBN 978-5-382-00407-5.
Авторы: Окстоби Дж.
Шифры: 519 - О-522
Ключевые слова: МЕРА, КАТЕГОРИЯ, ТЕОРИЯ МНОЖЕСТВ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
8. Книга
Полещук О.М.
Методы и модели обработки нечеткой экспертной информации / О.М. Полещук, Е.Г. Комаров. - М. : Энергоатомиздат, 2007. - 288 с. : ил. - Библиогр.: с. 275-285 ( 214 с.). - ISBN 978-5-283-03264-1.
Методы и модели обработки нечеткой экспертной информации / О.М. Полещук, Е.Г. Комаров. - М. : Энергоатомиздат, 2007. - 288 с. : ил. - Библиогр.: с. 275-285 ( 214 с.). - ISBN 978-5-283-03264-1.
Авторы: Полещук О.М., Комаров Е.Г.
Шифры: 519 - П 498
Ключевые слова: ЭКСПЕРТНЫЕ СИСТЕМЫ, ЭКСПЕРТНЫЕ ОЦЕНКИ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, НЕЧЕТКИЕ МНОЖЕСТВА, ИНФОРМАЦИЯ НЕЧЕТКАЯ, СЕМАНТИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
9. Книга
Хаусдорф Ф.
Теория множеств / Ф. Хаусдорф; перевод с немецкого Н.Б. Веденисова; под ред. и с доп. П.С. Александрова и А.Н. Колмогорова. - Изд.3-е . ; стер. - М. : КомКнига, 2006. - 303 с. : ил. - Библиогр.:с.291-295 . - ISBN 5-484-00296-6.
Теория множеств / Ф. Хаусдорф; перевод с немецкого Н.Б. Веденисова; под ред. и с доп. П.С. Александрова и А.Н. Колмогорова. - Изд.3-е . ; стер. - М. : КомКнига, 2006. - 303 с. : ил. - Библиогр.:с.291-295 . - ISBN 5-484-00296-6.
Авторы: Хаусдорф Ф
Шифры: 519 - Х 265
Ключевые слова: МНОЖЕСТВА
Экземпляры: Всего: 3, из них: абнл-3
Прямая ссылка:
10. Книга
Бортовые интеллектуальные системы : Сборник статей. Часть 2 : Корабельные системы / О.П. Анищенко, Д.А. Васюнин, А.Б. Дегтярев, и др. - М. : Радиотехника, 2006. - 80 с. : ил. - Авт.указаны на обороте тит.л. - Библиогр. в конце ст. - ISBN 5-88070-111-5.
Авторы: Анищенко О.П., Васюнин Д.А., Дегтярев А.Б., и др.
Шифры: А189 - Б 836
Ключевые слова: БОРТОВЫЕ СИСТЕМЫ, ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ
Аннотация: Рассмотрены технологии искусственного интеллекта и их приложения при создании бортовых корабельных интеллектуальных систем обеспечения мореходности, непотопляемости и управления в сложных ситуациях. Для научных работников, аспирантов и студентов, занимающихся проблемами создания искусственного интеллекта.
Экземпляры: Всего: 9, из них: абнл-6, чзнл-3
Прямая ссылка:
11. Книга
Бортовые интеллектуальные системы : Сборник статей. Часть 1 : Авиационные системы / М.А. Демкин, А.И. Канащенков, В.В. Киреев, и др. - М. : Радиотехника, 2006. - 104 с. : ил. - Авт.указаны на обороте тит.л. - Библиогр.в конце ст. - ISBN 5-88070-109-3.
Авторы: Демкин М.А., Канащенков А.И., Киреев В.В., и др.
Шифры: А189 - Б 836
Ключевые слова: БОРТОВЫЕ СИСТЕМЫ, ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, БОСЭС, АВТОР МАИ
Аннотация: Изложены методы искусственного интеллекта применительно к бортовому авиационному комплексу, который функционирует в условиях реально складывающейся неопределенности и призван обеспечить комфортную работу летчика (экипажа) вне зависимости от текущей воздушной обстановки. Для научных работников, аспирантов и студентов, занимающихся проблемами создания искусственного интеллекта.
Экземпляры: Всего: 9, из них: абнл-6, чзнл-3
Прямая ссылка:
Подробнее
Кафедра: 501
12. Книга
Виленкин Н.Я.
Рассказы о множествах / Н.Я. Виленкин. - 3-е изд. - М. : МЦНМО, 2005. - 150 с. : ил. - ISBN 5-94057-036-4.
Рассказы о множествах / Н.Я. Виленкин. - 3-е изд. - М. : МЦНМО, 2005. - 150 с. : ил. - ISBN 5-94057-036-4.
Авторы: Виленкин Н.Я.
Шифры: 519 - В 443
Ключевые слова: МНОЖЕСТВА
Аннотация: В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики - теорию бесконечных множеств. Через несколько десятилетий почти вся математика была перестроена на теоретико-множественной основе. Понятия теории множеств отражают наиболее общие свойства математических объектов. Обычно теорию множеств излагают в учебниках для университетов. В настоящей книге в популярной форме описываются основные понятия и результаты теории множеств. Книга предназначена для учащихся старших классов средней школы, интересующихся математикой, а также для широких кругов читателей, желающих узнать, что такое теория множеств.
Экземпляры: Всего: 4, из них: абнл-1, чзнл-2, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/31123?idb=NewMAI2014
Прямая ссылка:
13. Книга
Пенроуз Р. (1931-).
Новый ум короля : О компьютерах, мышлении и законах физики / Р. Пенроуз; перевод с английского под. общ. ред. В.О. Малышенко. - Изд. 2-е ; исправл. - Москва : Едиториал УРСС, 2005. - 398 с. : ил. - (Синергетика: от прошлого к будущему ). - Пер.: Penrose, Roger The emperor's new mind : concerning computers, minds and the laws of physics. - Библиогр.: с.384-390. - ISBN 5-534-00993-6.
Новый ум короля : О компьютерах, мышлении и законах физики / Р. Пенроуз; перевод с английского под. общ. ред. В.О. Малышенко. - Изд. 2-е ; исправл. - Москва : Едиториал УРСС, 2005. - 398 с. : ил. - (Синергетика: от прошлого к будущему ). - Пер.: Penrose, Roger The emperor's new mind : concerning computers, minds and the laws of physics. - Библиогр.: с.384-390. - ISBN 5-534-00993-6.
Авторы: Пенроуз Р.
Шифры: 621.398.1 - П 252
Ключевые слова: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, СИНЕРГЕТИКА
Аннотация: Монография известного физика и математика Роджера Пенроуза посвящена изучению проблемы искусственного интеллекта на основе всестороннего анализа достижений современных наук. Возможно ли моделирование разума? Чтобы найти ответ на этот вопрос, Пенроуз обсуждает широчайший круг явлений: алгоритмизацию математического мышления, машины Тьюринга, теорию сложности, теорему Геделя, телепортацию материи, парадоксы квантовой физики, энтропию, рождение Вселенной, черные дыры, строение мозга и многое другое. Книга вызовет несомненный интерес как у специалистов гуманитарных и естественнонаучных дисциплин, так и у широкого круга читателей.
Экземпляры: Всего: 2, из них: абнл-2
Прямая ссылка:
14. Книга
Берштейн Л.С.
Нечеткие графы и гиперграфы / Л.С. Берштейн, А.В. Боженюк. - М. : Научный мир, 2005. - 255 с. : ил. - Библиогр.:с.250-255. - ISBN 5-89176-315-Х.
Нечеткие графы и гиперграфы / Л.С. Берштейн, А.В. Боженюк. - М. : Научный мир, 2005. - 255 с. : ил. - Библиогр.:с.250-255. - ISBN 5-89176-315-Х.
Авторы: Берштейн Л.С., Боженюк А.В.
Шифры: 519 - Б 529
Ключевые слова: ГРАФЫ, МНОЖЕСТВ НЕЧЕТКИХ ТЕОРИЯ
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка:
15. Книга
Вопенка П.
Альтернативная теория множеств.Новый взгляд на бесконечность / П. Вопенка. - Новосибирск : Изд-во Института математики, 2004. - 611 с. : ил. - Библиогр.:с.601-606. - ISBN 5-86134-124-9.
Альтернативная теория множеств.Новый взгляд на бесконечность / П. Вопенка. - Новосибирск : Изд-во Института математики, 2004. - 611 с. : ил. - Библиогр.:с.601-606. - ISBN 5-86134-124-9.
Авторы: Вопенка П.
Шифры: 519 - В 741
Ключевые слова: ТЕОРИЯ МНОЖЕСТВ
Экземпляры: Всего: 3, из них: абнл-1, чзнл-2
Прямая ссылка:
16. Книга
Емельянов В.В.
Теория и практика эволюционного моделирования / В.В. Емельянов, В.М. Курейчик, В.В. Курейчик. - М. : Физматлит, 2003. - 431 с. : ил. - (Проблемы искусственного интеллекта). - Библиогр.:с. 416-426(207 назв.). - ISBN 5-9221-0337-7.
Теория и практика эволюционного моделирования / В.В. Емельянов, В.М. Курейчик, В.В. Курейчик. - М. : Физматлит, 2003. - 431 с. : ил. - (Проблемы искусственного интеллекта). - Библиогр.:с. 416-426(207 назв.). - ISBN 5-9221-0337-7.
Авторы: Емельянов В.В., Курейчик В.М., Курейчик В.В.
Шифры: 621.398.1 - Е 601
Ключевые слова: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, ЭВОЛЮЦИОННОЕ МОДЕЛИРОВАНИЕ
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка:
17. Книга
Пупков К.А. (1930-2020).
Интеллектуальные системы.(Исследование и создание) / К.А. Пупков, В.Г. Коньков. - М : МГТУ им. Н.Э. Баумана, 2003. - 347 с. : ил. - Библиогр.:с.336-345. - ISBN 5-7038-2038-3.
Интеллектуальные системы.(Исследование и создание) / К.А. Пупков, В.Г. Коньков. - М : МГТУ им. Н.Э. Баумана, 2003. - 347 с. : ил. - Библиогр.:с.336-345. - ISBN 5-7038-2038-3.
Авторы: Пупков К.А., Коньков В.Г.
Шифры: 621.398.1 - П 888
Ключевые слова: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Экземпляры: Всего: 3, из них: чзнл-3
Прямая ссылка:
18. Книга
Джексон П.
Введение в экспертные системы : Пер. с англ. / П. Джексон. - 3-е изд. - М : Издат. дом "Вильямс", 2001. - 622 с. : ил. - Загл.также на англ.яз. - Библиогр.в конце глав и с.597-616. - ISBN 5-8459-0150-2.
Введение в экспертные системы : Пер. с англ. / П. Джексон. - 3-е изд. - М : Издат. дом "Вильямс", 2001. - 622 с. : ил. - Загл.также на англ.яз. - Библиогр.в конце глав и с.597-616. - ISBN 5-8459-0150-2.
Авторы: Джексон П.
Шифры: 621.398.1 - Д 404
Ключевые слова: ЭКСПЕРТНЫЕ СИСТЕМЫ
Экземпляры: Всего: 48, из них: абнл-12, абст-28, чзнл-3, чзуч-5
Прямая ссылка:
19. Книга
Каляев И.А.
Однородные нейроподобные структуры в системах выбора действий интеллектуальных роботов / И.А. Каляев, А.Р. Гайдук. - Москва : Янус-К, 2000. - 279 с. : ил. - Библиогр.:с.278-279 (38 назв.). - ISBN 5-8037-0059-2.
Однородные нейроподобные структуры в системах выбора действий интеллектуальных роботов / И.А. Каляев, А.Р. Гайдук. - Москва : Янус-К, 2000. - 279 с. : ил. - Библиогр.:с.278-279 (38 назв.). - ISBN 5-8037-0059-2.
Авторы: Каляев И.А., Гайдук А.Р.
Шифры: 621.398.1 - К 179
Ключевые слова: РОБОТЫ ИНТЕЛЛЕКТУАЛЬНЫЕ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, НЕЙРОННЫЕ СЕТИ, БИОЭЛЕКТРИЧЕСКИЕ МОДЕЛИ, АВТОР МАИ
Аннотация: В монографии излагаются теоретические и практические основы создания на базе однородных нейроподобных структур систем выбора действий интеллектуальных роботов, функционирующих в неизвестной заранее обстановке. Рассматриваются методы формирования моделей действий робота, математическая формулировка задачи оптимального выбора его действий как вариационной задачи, новые графовые методы его решения, ориентированные на реализацию с помощью однородных нейроподобных структур. Освещаются принципы построения и микроэлектронной реализации однородных нейроподобных структур и систем выбора действий интеллектуальных мобильных роботов на их основе.
Экземпляры: Всего: 4, из них: абнл-2, чзнл-1, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/53796?idb=NewMAI2014
Ссылка на ресурс: https://www.rfbr.ru/library/books/1041/
Прямая ссылка:
20. Книга
Соар Р.И.
Вычислимо перечислимые множества и степени.Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И. Соар; перевод с английского М.М.Арсланова. - Казань : Казан.матем.об-во, 2000. - 576 с. : ил. - Библиогр.:с.510-548. - ISBN 5-900975-22-3.
Вычислимо перечислимые множества и степени.Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И. Соар; перевод с английского М.М.Арсланова. - Казань : Казан.матем.об-во, 2000. - 576 с. : ил. - Библиогр.:с.510-548. - ISBN 5-900975-22-3.
Авторы: Соар Р.И.
Шифры: 519 - С 54
Ключевые слова: ТЕОРИЯ ВЫЧИСЛИМОСТИ, МНОЖЕСТВА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка: