| Найдено документов - 54 | Найти похожие: "Индекс УДК" = '510.6 или 510.5 или 510.22' | Версия для печати |
Сортировать по:
1. Книга
Малинина Н.Л.
Теория структурного синтеза сложных систем и процессов функционирования / Н.Л. Малинина, Л.И. Малинин. - Москва : У Никитских ворот, 2025. - 440, [1] с. : ил., табл. - Библиогр.: с. 431-438 (188 назв.). - ISBN 978-5-00246-398-5.
Теория структурного синтеза сложных систем и процессов функционирования / Н.Л. Малинина, Л.И. Малинин. - Москва : У Никитских ворот, 2025. - 440, [1] с. : ил., табл. - Библиогр.: с. 431-438 (188 назв.). - ISBN 978-5-00246-398-5.
Авторы: Малинина Н.Л., Малинин Л.И.
Шифры: 681.5 - М 19
Ключевые слова: СТРУКТУРНЫЙ СИНТЕЗ, СИНТЕЗ СТРУКТУРЫ, СЛОЖНЫЕ СИСТЕМЫ, СИСТЕМНЫЙ АНАЛИЗ, СТРУКТУРНЫЙ СИНТЕЗ СЛОЖНЫХ СИСТЕМ, СЛОЖНЫЕ ПРОЦЕССЫ, МОДЕЛИРОВАНИЕ СЛОЖНЫХ СИСТЕМ, МОДЕЛИРОВАНИЕ СЛОЖНЫХ ПРОЦЕССОВ, СЕТЕВЫЕ МОДЕЛИ, СЕТЕВОЕ ПЛАНИРОВАНИЕ, КОНЕЧНЫЕ АВТОМАТЫ, НЕЙРОННЫЕ СЕТИ, БУЛЕВЫ ФУНКЦИИ, ГРАФЫ, ПРОБЛЕМА КУКА, АЛГОРИТМЫ, СЕТЕВОЕ УПРАВЛЕНИЕ, СИНТЕЗ СЛОЖНЫХ СИСТЕМ, ДЕДУКТИВНАЯ ЛОГИКА, ИНДУКТИВНАЯ ЛОГИКА, СЕТЕВАЯ МОДЕЛЬ ПОЛЕТА АВИАЦИОННО-КОСМИЧЕСКИХ ЛЕТАТЕЛЬНЫХ АППАРАТОВ, АЭРОКОСМИЧЕСКИЕ СИСТЕМЫ - МОДЕЛИРОВАНИЕ, АЭРОКОСМИЧЕСКИЙ ПОЛЕТ - МОДЕЛИРОВАНИЕ
Аннотация: Книга посвящена теории структурного синтеза сложных систем и процессов функционирования и представляет собой фундаментальные основы системного анализа и синтеза. В главе 1 рассматриваются проблемы моделирования сложных систем и процессов функционирования, характеристики различных методов моделирования. В главе 2 исследуются свойства сетевых моделей и ставится задача их синтеза. В главе 3 рассматриваются сложные процессы проектирования и конструирования применительно к аэрокосмической отрасли. Глава 4 посвящена топологическим особенностям сложных процессов и введению дискретно-непрерывной топологии. В главах 5 и 6 предлагается расширение теории графов для решения проблемы синтеза сложных систем и процессов. Глава 7 предлагает разделение структур алгоритмов по категориям сложности, применительно к проблеме Кука: PvsNP. В главах 8 и 9 разбираются проблемы алгоритмизации сложных систем и процессов и предлагается их возможное решение. Главы 10-14 посвящены примерам возможных задач и разбирается их решение: синтез вычислительных алгоритмов, календарное планирование, детерминирование конечных автоматов и обучение нейросетей. В главе 15 сравниваются дедуктивная и индуктивная логики и доказывается возможность формализации индуктивной логики. В главе 16 рассматриваются проблемы экономической выгоды от применения методов, изложенных в книге. Глава 17 посвящена проблемам программирования булевых функций и их возможному решению.
Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/76851?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
Подробнее
Кафедра: 604
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. Книга
Алгоритмы: построение и анализ = Introduction to Algorithms / Т. Кормен, Ч. Лейзерсон, Р. Ривест, К. Штайн. - 3-е изд. - Москва; Санкт-Петербург : Диалектика, 2019. - 1323 с. : ил. - Библиогр.: с.1282-1298 (360 назв.). - ISBN 978-5-907114-11-1 (рус.). - ISBN 978-0-2620-3384-8 (англ.).
Авторы: Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К.
Шифры: 51 - А 456
Ключевые слова: АЛГОРИТМЫ, КОМПЬЮТЕРНЫЕ АЛГОРИТМЫ
Аннотация: Книга "Алгоритмы. Построение и анализ" удачно объединяет в себе полноту охвата и строгость изложения материала. Много книг, посвященных алгоритмам, отличается строгостью изложения материала, но страдает определенной неполнотой; другие книги охватывают огромный объем материала, но недостаточно строго излагают его. В книге "Алгоритмы. Построение и анализ" описаны самые разнообразные алгоритмы, сочетается широкий диапазон тем с глубиной и полнотой изложения; при этом изложение доступно для читателей самого разного уровня подготовки. Каждая глава книги относительно самодостаточна и может использоваться в качестве отдельной темы для изучения. Алгоритмы в книге "Алгоритмы. Построение и анализ" описаны простым человеческим языком и с применением псевдокода, который понятен любому, кто хоть в небольшой степени знаком с программированием, а пояснения принципов их работы даны без излишней математической строгости и требуют лишь элементарных знаний. Первое издание книги "Алгоритмы. Построение и анализ" давно стало стандартным справочным руководством для профессионалов и учебным пособием для университетов. Второе издание было дополнено новыми главами, раскрывающими такие темы, как вероятностный анализ и рандомизированные алгоритмы, линейное программирование. Третье издание также существенно дополнено и пересмотрено. В него вошли две совершенно новые главы, посвященные деревьям ван Эмде Боаса и многопоточным алгоритмам, а глава, посвященная рекуррентности, существенно расширена. Изменена подача такого материала, как динамическое программирование и жадные алгоритмы, и введено новое понятие потока, основанного на ребрах, в материале о транспортных сетях. В третье издание книги "Алгоритмы. Построение и анализ" также было добавлено множество новых упражнений и задач. Фундаментальный труд "Алгоритмы. Построение и анализ" известных специалистов в области информатики достоин занять место на полке любого человека, чья деятельность так или иначе связана с вычислительной техникой и алгоритмами: для профессионала эта книга может служить настольным справочником, для преподавателя - пособием для подготовки к лекциям и источником интересных нетривиальных задач, для студентов и аспирантов - отличным учебником. Каждый может найти в ней именно тот материал, который касается интересующей его темы и представлен именно с тем уровнем сложности и строгости, который требуется читателю. Описание алгоритмов на естественном языке дополняется псевдокодом, который позволяет любому имеющему хотя бы начальные знания и опыт программирования, реализовать алгоритм на используемом им языке программирования. Строгий математический анализ и обилие теорем сопровождаются большим количеством иллюстраций, элементарными рассуждениями и простыми приближенными оценками. Широта охвата материала и степень строгости его изложения дают основания считать эту книгу одной из лучших книг, посвященных разработке и анализу алгоритмов. Третье издание этого классического труда в большой степени доработано. В нем появились новые главы, в том числе посвященные такой важной в последнее время теме, как многопоточные алгоритмы, а старые подверглись переработке, местами весьма существенной, когда уже имевшийся во втором издании материал излагается с иных позиций, чем ранее. Данная книга будет не лишней как на столе студента и аспиранта, так и на рабочей полке практикующего программиста.
Экземпляры: Всего: 6, из них: абнл-4, чзнл-1, чзуч-1
Прямая ссылка:
5. Книга
Екимова М.А.
Задачи на разрезание / М.А. Екимова, Г.П. Кукин. - Изд. 7-е, стер. - М. : МЦНМО, 2018. - 118, [1] с. : ил. - (Секреты преподавания математики). - Библиогр.: с.118 (11 назв.). - ISBN 978-5-4439-2648-3.
Задачи на разрезание / М.А. Екимова, Г.П. Кукин. - Изд. 7-е, стер. - М. : МЦНМО, 2018. - 118, [1] с. : ил. - (Секреты преподавания математики). - Библиогр.: с.118 (11 назв.). - ISBN 978-5-4439-2648-3.
Авторы: Екимова М.А., Кукин Г.П.
Шифры: 51 - Е 455
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, СРЕДНЯЯ ШКОЛА, ГЕОМЕТРИЧЕСКИЕ ЗАДАЧИ
Аннотация: Эта книга является первой книгой серии «Секреты преподавания математики», призванной изложить и обобщить накопленный опыт в области математического образования. Данный сборник представляет собой одну из частей курса «Развивающая логика в 5–7 классах». Ко всем задачам, приведенным в книге, даны решения или указания. Книга рекомендуется для внеклассной работы по математике
Экземпляры: Всего: 5, из них: абнл-2, чзнл-2, ЭБС-1
Ссылка на ресурс: http://ilib.mccme.ru/pdf/kukin.pdf
Прямая ссылка:
6. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г.
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка:
7. Многотомник
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств. - 2017. - изд. 5-е, стер. - (Современные лекционные курсы). - нет в НТБ.
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств. - 2017. - изд. 5-е, стер. - (Современные лекционные курсы). - нет в НТБ.
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Авторы: Верещагин Н.К., Шень А.
Шифры: 51 - В 317
Прямая ссылка:
8. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Предыдущее издание книги вышло в 2012 г.
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка:
9. Книга
Пантелеев А.В.
Метаэвристические алгоритмы поиска оптимального программного управления / А.В. Пантелеев, Д.В. Скавинская, Е. А. Алешина. - М. : ИНФРА-М, 2016. - 395 с. : ил. - (Научная мысль). - Библиогр.: с.378-388 (171 назв.). - ISBN 978-5-16-011841-3 (print). - ISBN 978-5-6-104298-4 (online).
Метаэвристические алгоритмы поиска оптимального программного управления / А.В. Пантелеев, Д.В. Скавинская, Е. А. Алешина. - М. : ИНФРА-М, 2016. - 395 с. : ил. - (Научная мысль). - Библиогр.: с.378-388 (171 назв.). - ISBN 978-5-16-011841-3 (print). - ISBN 978-5-6-104298-4 (online).
Авторы: Пантелеев А.В., Скавинская Д.В., Алешина Е. А.
Шифры: 517 - П 166
Ключевые слова: ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ, ТЕОРИЯ АЛГОРИТМОВ, АВТОР МАИ, ГЕНЕТИКА, ИССЛЕДОВАНИЕ ОПЕРАЦИЙ, ТЕОРИЯ УПРАВЛЕНИЯ
Аннотация: В книге описано применение современных методов поиска условного глобального экстремума: эволюционных методов; методов «роевого» ин- теллекта; методов, имитирующих физические процессы; мультистартовых методов в задачах нахождения оптимального программного управления нелинейными детерминированными динамическими системами. В каж- дом разделе приведены постановка задачи, стратегия поиска, детальный алгоритм решения, результаты решения модельных примеров и приклад- ных задач. Для студентов и аспирантов технических вузов и университетов, а также инженеров, интересующихся проблемами глобальной оптимиза- ции и теории управления.
Экземпляры: Всего: 5, из них: абнл-3, чзнл-2
Прямая ссылка:
Подробнее
Кафедра: 805
10. Книга
Зак Ю.А.
Принятие решений в условиях нечетких и размытых данных .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
Прямая ссылка:
11. Книга
Нагель Э. (1901-1985).
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Авторы: Нагель Э., Ньюмен Д.Р.
Шифры: 51 - Н 162
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ.
Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
12. Книга
Нагель Э.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокр. пер. с англ. Ю.А. Гастева. - Изд. 2-е, испр. - М. : КРАСАНД, 2010. - 117, [1] с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00092-6.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокр. пер. с англ. Ю.А. Гастева. - Изд. 2-е, испр. - М. : КРАСАНД, 2010. - 117, [1] с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00092-6.
Авторы: Нагель Э., Ньюмен Д.Р.
Шифры: 51 - Н 162
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ
Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Экземпляры: Всего: 2, из них: абнл-1, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/61638?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
13. Книга
Лакатос И.
Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; перевод с английского И.Н. Веселовского; отв. ред. И.Б. Погребысский. - Изд.2-е. - М. : ЛКИ, 2010. - 152 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 146-151. - ISBN 978-5-382-01024-3.
Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; перевод с английского И.Н. Веселовского; отв. ред. И.Б. Погребысский. - Изд.2-е. - М. : ЛКИ, 2010. - 152 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 146-151. - ISBN 978-5-382-01024-3.
Авторы: Лакатос И.
Шифры: 51 - Л 19
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка:
14. Книга
Шурыгин В.А.
Сложностный метод теории алгоритмов / В.А. Шурыгин. - М. : ЛИБРОКОМ, 2009. - 194 с. : ил. - Библиогр.: с. 187-190 (52 назв.). - ISBN 978-5-397-00185-4.
Сложностный метод теории алгоритмов / В.А. Шурыгин. - М. : ЛИБРОКОМ, 2009. - 194 с. : ил. - Библиогр.: с. 187-190 (52 назв.). - ISBN 978-5-397-00185-4.
Авторы: Шурыгин В.А.
Шифры: 51 - Ш 969
Ключевые слова: АЛГОРИТМЫ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
15. Книга
Клини С.К.
Введение в метаматематику / С.К. Клини; перевод с английского А.С. Есенина-Вольпина под ред. В.А. Успенского. - Изд. 2-е., испр. - М. : ЛИБРОКОМ, 2009. - 523 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 493-509. - ISBN 978-5-397-00105-2.
Введение в метаматематику / С.К. Клини; перевод с английского А.С. Есенина-Вольпина под ред. В.А. Успенского. - Изд. 2-е., испр. - М. : ЛИБРОКОМ, 2009. - 523 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 493-509. - ISBN 978-5-397-00105-2.
Авторы: Клини С.К.
Шифры: 51 - К 493
Ключевые слова: ОСНОВАНИЯ МАТЕМАТИКИ, МАТЕМАТИЧЕСКАЯ ЛОГИКА, РЕКУРСИВНЫЕ ФУНКЦИИ, ФУНКЦИИ РЕКУРСИВНЫЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
16. Книга
Черч А.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Авторы: Черч А.
Шифры: 51 - Ч-508
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
17. Книга
Многозначные логики и их применения. Т.1 : Логические исчисления, алгебры и функциональные свойства / сост. О.М.Аншаков, Д.В.Виноградов, В.К.Финн под ред. В.К.Финна. - М. : ЛКИ, 2008. - 502 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-382-00768-7.
Шифры: 51 - М 735
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 2, из них: абнл-1, чзнл-1
Прямая ссылка:
18. Книга
Окстоби Дж.
Мера и категория / Окстоби Дж.; перевод с английского и предисловие В.А. Скворцова. - 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
Прямая ссылка:
19. Книга
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов. Ч.3 : Вычислимые функции / Н.К. Верещагин, А. Шень. - Изд. 3-е., стер. - М. : МЦНМО, 2008. - 189 с. - (Современные лекционные курсы). - Библиогр.: с. 179-180 ( 12 назв.). - ISBN 978-5-94057-323-4.
Лекции по математической логике и теории алгоритмов. Ч.3 : Вычислимые функции / Н.К. Верещагин, А. Шень. - Изд. 3-е., стер. - М. : МЦНМО, 2008. - 189 с. - (Современные лекционные курсы). - Библиогр.: с. 179-180 ( 12 назв.). - ISBN 978-5-94057-323-4.
Авторы: Верещагин Н.К., Шень А.
Шифры: 51 - В 317
Ключевые слова: ВЫЧИСЛИМЫЕ ФУНКЦИИ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
20. Книга
Полещук О.М.
Методы и модели обработки нечеткой экспертной информации / О.М. Полещук, Е.Г. Комаров. - М. : Энергоатомиздат, 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
Прямая ссылка: