| Найдено документов - 23 | Найти похожие: "Индекс УДК" = '519.767 или 510.22 или 004.891' | Версия для печати |
Сортировать по:
1. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 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
Прямая ссылка:
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
Прямая ссылка:
3. Книга
Зак Ю.А.
Принятие решений в условиях нечетких и размытых данных .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
Прямая ссылка:
4. Книга
Красильщиков М.Н.
Индивидуально-адаптированные бортовые системы контроля технического состояния самолета и поддержки управляющих действий летчика / М.Н. Красильщиков, В.Н. Евдокименков, Д.А. Базлев; МАИ. - Москва : МАИ, 2011. - 439 с. : ил. - (Научная библиотека). - Библиогр.:с.431-435(58 назв.). - ISBN 978-5-4316-0023-4.
Индивидуально-адаптированные бортовые системы контроля технического состояния самолета и поддержки управляющих действий летчика / М.Н. Красильщиков, В.Н. Евдокименков, Д.А. Базлев; МАИ. - Москва : МАИ, 2011. - 439 с. : ил. - (Научная библиотека). - Библиогр.:с.431-435(58 назв.). - ISBN 978-5-4316-0023-4.
Авторы: Красильщиков М.Н., Евдокименков В.Н., Базлев Д.А.
Шифры: А185 - К 78
Ключевые слова: БОРТОВЫЕ ИНФОРМАЦИОННО-ЭКСПЕРТНЫЕ СИСТЕМЫ (БИНЭКС), БОРТОВЫЕ СИСТЕМЫ КОНТРОЛЯ ТЕХНИЧЕСКОГО СОСТОЯНИЯ САМОЛЕТА, ЭКСПЛУАТАЦИОННАЯ НАДЕЖНОСТЬ САМОЛЕТА, ОБРАБОТКА ПОЛЁТНОЙ ИНФОРМАЦИИ, АВТОМАТИЗАЦИЯ, БОРТОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ, АВТОР МАИ
Аннотация: Представлена концепция бортовой информационно-экспертной системы (БИНЭКС), в рамках которой анализ текущего состояния системы «самолет-летчик» и прогноз его развития осуществляются с учетом особенностей предшествующей эксплуатации и текущего ресурса конкретного самолета, индивидуальных управляющих действий, фактического опыта и психофизиологических реакций летчика. Теоретическую основу развиваемой концепции составляет система вероятностных критериев. Излагаются основы вероятностно-гарантирующего подхода применительно к оценке текущего технического состояния и систем ДА в процессе эксплуатации. Описан метод решения задачи индивиду- ально-адаптированной поддержки действий летчика при выполнении им типовых полетных режимов на основе формирования и параметрического представления в пространстве состояний системы «самолет- летчик» так называемого индивидуального множества достижимости. П риведена структура функционально-программного прототипа БИНЭКС и представлены результаты его экспериментальной отработки с использованием пилотажного стенда системы «самолет-летчик»
Экземпляры: Всего: 84, из них: абнл-5, абст-72, чзнл-3, чзуч-3, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/34048?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
Подробнее
Кафедра: 704
5. Книга
Окстоби Дж.
Мера и категория / Окстоби Дж.; перевод с английского и предисловие В.А. Скворцова. - 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
Прямая ссылка:
6. Книга
Полещук О.М.
Методы и модели обработки нечеткой экспертной информации / О.М. Полещук, Е.Г. Комаров. - М. : Энергоатомиздат, 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
Прямая ссылка:
7. Книга
Хаусдорф Ф.
Теория множеств / Ф. Хаусдорф; перевод с немецкого Н.Б. Веденисова; под ред. и с доп. П.С. Александрова и А.Н. Колмогорова. - Изд.3-е . ; стер. - М. : КомКнига, 2006. - 303 с. : ил. - Библиогр.:с.291-295 . - ISBN 5-484-00296-6.
Теория множеств / Ф. Хаусдорф; перевод с немецкого Н.Б. Веденисова; под ред. и с доп. П.С. Александрова и А.Н. Колмогорова. - Изд.3-е . ; стер. - М. : КомКнига, 2006. - 303 с. : ил. - Библиогр.:с.291-295 . - ISBN 5-484-00296-6.
Авторы: Хаусдорф Ф
Шифры: 519 - Х 265
Ключевые слова: МНОЖЕСТВА
Экземпляры: Всего: 3, из них: абнл-3
Прямая ссылка:
8. Книга
Виленкин Н.Я.
Рассказы о множествах / Н.Я. Виленкин. - 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
Прямая ссылка:
9. Книга
Берштейн Л.С.
Нечеткие графы и гиперграфы / Л.С. Берштейн, А.В. Боженюк. - М. : Научный мир, 2005. - 255 с. : ил. - Библиогр.:с.250-255. - ISBN 5-89176-315-Х.
Нечеткие графы и гиперграфы / Л.С. Берштейн, А.В. Боженюк. - М. : Научный мир, 2005. - 255 с. : ил. - Библиогр.:с.250-255. - ISBN 5-89176-315-Х.
Авторы: Берштейн Л.С., Боженюк А.В.
Шифры: 519 - Б 529
Ключевые слова: ГРАФЫ, МНОЖЕСТВ НЕЧЕТКИХ ТЕОРИЯ
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка:
10. Книга
Вопенка П.
Альтернативная теория множеств.Новый взгляд на бесконечность / П. Вопенка. - Новосибирск : Изд-во Института математики, 2004. - 611 с. : ил. - Библиогр.:с.601-606. - ISBN 5-86134-124-9.
Альтернативная теория множеств.Новый взгляд на бесконечность / П. Вопенка. - Новосибирск : Изд-во Института математики, 2004. - 611 с. : ил. - Библиогр.:с.601-606. - ISBN 5-86134-124-9.
Авторы: Вопенка П.
Шифры: 519 - В 741
Ключевые слова: ТЕОРИЯ МНОЖЕСТВ
Экземпляры: Всего: 3, из них: абнл-1, чзнл-2
Прямая ссылка:
11. Книга
Соар Р.И.
Вычислимо перечислимые множества и степени.Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И. Соар; перевод с английского М.М.Арсланова. - Казань : Казан.матем.об-во, 2000. - 576 с. : ил. - Библиогр.:с.510-548. - ISBN 5-900975-22-3.
Вычислимо перечислимые множества и степени.Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И. Соар; перевод с английского М.М.Арсланова. - Казань : Казан.матем.об-во, 2000. - 576 с. : ил. - Библиогр.:с.510-548. - ISBN 5-900975-22-3.
Авторы: Соар Р.И.
Шифры: 519 - С 54
Ключевые слова: ТЕОРИЯ ВЫЧИСЛИМОСТИ, МНОЖЕСТВА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
12. Книга
Шемакин Ю.И.
Компьютерная семантика / Ю.И. Шемакин, А.А. Романова. - М. : Науч.-образоват.центр "Шк.Китайгородской", 1995. - 343 с. : ил. - Библиогр.: с. 332-343 (160 назв.). - ISBN 5-87151-40-0.
Компьютерная семантика / Ю.И. Шемакин, А.А. Романова. - М. : Науч.-образоват.центр "Шк.Китайгородской", 1995. - 343 с. : ил. - Библиогр.: с. 332-343 (160 назв.). - ISBN 5-87151-40-0.
Авторы: Шемакин Ю.И., Романова А.А.
Шифры: 519 - Ш 46
Ключевые слова: СЕМАНТИКА, ЛИНГВИСТИКА МАТЕМАТИЧЕСКАЯ, ЯЗЫКИ ПРОГРАММИРОВАНИЯ, ЛИНГИСТКА КОМПЬЮТЕРНАЯ
Экземпляры: Всего: 4, из них: абнл-1, чзнл-3
Прямая ссылка:
13. Книга
Хенл Дж.
Введение в теорию множеств / Хенл Дж.; перевод с английского С.И. Травкина ; под ред. В.Б. Кузьмина. - М. : Радио и связь, 1993. - 105 с. : ил. - ISBN 5-256-00485-9 (рус.). - ISBN 0-387-96368-5 (англ.). - ISBN 3-540-96368-5 (нем.).
Введение в теорию множеств / Хенл Дж.; перевод с английского С.И. Травкина ; под ред. В.Б. Кузьмина. - М. : Радио и связь, 1993. - 105 с. : ил. - ISBN 5-256-00485-9 (рус.). - ISBN 0-387-96368-5 (англ.). - ISBN 3-540-96368-5 (нем.).
Авторы: Хенл Дж.
Шифры: 519 - Х 382
Ключевые слова: МНОЖЕСТВА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
14. Книга
Дюбуа Д.
Теория возможностей. Приложение к представлению знаний в информатике / Д. Дюбуа, А. Прад; перевод с французского Тарасова В.Б., под ред. Орловского С.А. - М. : Радио и связь, 1990. - 287 с. - Библиогр.: с.212-216(50 назв.). - ISBN 5-256-00184-1.
Теория возможностей. Приложение к представлению знаний в информатике / Д. Дюбуа, А. Прад; перевод с французского Тарасова В.Б., под ред. Орловского С.А. - М. : Радио и связь, 1990. - 287 с. - Библиогр.: с.212-216(50 назв.). - ISBN 5-256-00184-1.
Авторы: Дюбуа Д., Прад А.
Шифры: 517 - Д 951
Ключевые слова: НЕЧЕТКИЕ ВЕЛИЧИНЫ, ЭКСПЕРТНЫЕ СИСТЕМЫ, РЕЛЯЦИОННЫЕ БАЗЫ ДАННЫХ
Экземпляры: Всего: 6, из них: абнл-4, чзнл-1, чзуч-1
Прямая ссылка:
15. Книга
Мелихов А.Н.
Ситуационные советующие системы с нечеткой логикой / А.Н. Мелихов, Л.С. Берштейн, С.Я. Коровин. - М. : Наука, 1990. - 271 с. : ил. - Библиогр.: с. 270-271 (53 назв.). - ISBN 5-02-014144-5.
Ситуационные советующие системы с нечеткой логикой / А.Н. Мелихов, Л.С. Берштейн, С.Я. Коровин. - М. : Наука, 1990. - 271 с. : ил. - Библиогр.: с. 270-271 (53 назв.). - ISBN 5-02-014144-5.
Авторы: Мелихов А.Н., Берштейн Л.С., Коровин С.Я.
Шифры: 519 - М 474
Ключевые слова: ПРОГРАММНО-АППАРАТНОЕ ОБЕСПЕЧЕНИЕ, АРХИТЕКТУРА ПРОЦЕССОРА
Экземпляры: Всего: 9, из них: абнл-3, списание-1, чзнл-2, чзуч-3
Прямая ссылка:
16. Книга
Уварова Т.Г.
Формальное описание операционного языка для семантических сетей / Т.Г. Уварова, Л.Л. Лившиц. - М. : ВЦ АН СССР, 1987. - 33 с. - (Сообщения по прикладной математике /АН СССР, ВЦ).
Формальное описание операционного языка для семантических сетей / Т.Г. Уварова, Л.Л. Лившиц. - М. : ВЦ АН СССР, 1987. - 33 с. - (Сообщения по прикладной математике /АН СССР, ВЦ).
Авторы: Уварова Т.Г., Лившиц Л.Л.
Шифры: 681.141 - У 18
Ключевые слова: ЯЗЫКИ ФОРМАЛЬНЫЕ, ЯЗЫКИ ПРОГРАММИРОВАНИЯ, СЕМАНТИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
17. Книга
Нечеткие множества в моделях управления и искусственного интеллекта / А.Н. Аверкин, И.З. Батыршин, А.Ф. Блишун, и др. - М. : Наука, 1986. - 311 с. : ил. - (Проблемы искусственного интеллекта). - Авт. указаны на обороте тит. л. - Библиогр.: с. 279-306.
Авторы: Аверкин А.Н., Батыршин И.З., Блишун А.Ф., и др.
Шифры: 621.398.1 - Н 592
Ключевые слова: НЕЧЕТКИЕ МНОЖЕСТВА, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Аннотация: Рассматривается применение аппарата теории нечетких множеств к таким областям математики, как теория матриц и отношений, логика, теория автоматов и алгоритмов, модели принятия решений и др. Описывается применение полученных формальных методов к кластерному анализу, распознаванию образов, задачам рационального выбора, экспертным оценкам, экономическим прогнозам, описанию биологических и социальных процессов, моделированию поведения человека-оператора, к системам планирования и представления знаний в системах искусственного интеллекта, алгоритмам управления роботами и технологическими процессами, допускающим нечеткие инструкции. Для специалистов в области кибернетики, управления, робототехники, биологии, социологии. Табл. 32. Ил. 40. Библиогр. 616 назв.
Экземпляры: Всего: 8, из них: абнл-3, к/х7-2, чзнл-3
Прямая ссылка:
18. Книга
Смирнова Е.Д.
Логическая семантика и философские основания логики / Е.Д. Смирнова. - М. : МГУ, 1986. - 161 с.
Логическая семантика и философские основания логики / Е.Д. Смирнова. - М. : МГУ, 1986. - 161 с.
Авторы: Смирнова Е.Д.
Шифры: 519 - С 506
Ключевые слова: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, ЛОГИЧЕСКАЯ СЕМАНТИКА
Экземпляры: Всего: 2, из них: абнл-1, чзнл-1
Прямая ссылка:
19. Книга
Вольф Е.М.
Функциональная семантика оценки / Е.М. Вольф; Отв. ред. Г.В. Степанов. АН СССР. Ин-т языкознания. - М. : Наука, 1985. - 228 с. - Библиогр.: с. 214-223.
Функциональная семантика оценки / Е.М. Вольф; Отв. ред. Г.В. Степанов. АН СССР. Ин-т языкознания. - М. : Наука, 1985. - 228 с. - Библиогр.: с. 214-223.
Авторы: Вольф Е.М.
Шифры: 519 - В 72
Ключевые слова: СЕМАНТИКА
Экземпляры: Всего: 3, из них: абнл-2, чзнл-1
Прямая ссылка:
20. Книга
Чирка Е.М.
Комплексные аналитические множества / Е.М. Чирка. - М. : Наука, 1985. - 272 с. : ил. - Библиогр.: с.261-268.
Комплексные аналитические множества / Е.М. Чирка. - М. : Наука, 1985. - 272 с. : ил. - Библиогр.: с.261-268.
Авторы: Чирка Е.М.
Шифры: 517 - Ч-651
Ключевые слова: ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНЫХ ПЕРЕМЕННЫХ, МНОЖЕСТВ ТЕОРИЯ, ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
Экземпляры: Всего: 4, из них: к/х7-3, чзнл-1
Прямая ссылка: