| Найдено документов - 32 | Найти похожие: "Индекс УДК" = '510.6' | Версия для печати |
Сортировать по:
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. Книга
Екимова М.А.
Задачи на разрезание / М.А. Екимова, Г.П. Кукин. - Изд. 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
Прямая ссылка:
5. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 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
Прямая ссылка:
6. Многотомник
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 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
Прямая ссылка:
7. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 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
Прямая ссылка:
8. Книга
Нагель Э. (1901-1985).
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Авторы: Нагель Э., Ньюмен Д.Р.
Шифры: 51 - Н 162
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ.
Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
9. Книга
Нагель Э.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокр. пер. с англ. Ю.А. Гастева. - Изд. 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
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
10. Книга
Лакатос И.
Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; перевод с английского И.Н. Веселовского; отв. ред. И.Б. Погребысский. - Изд.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
Прямая ссылка:
11. Книга
Клини С.К.
Введение в метаматематику / С.К. Клини; перевод с английского А.С. Есенина-Вольпина под ред. В.А. Успенского. - Изд. 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
Прямая ссылка:
12. Книга
Черч А.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Авторы: Черч А.
Шифры: 51 - Ч-508
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
13. Книга
Многозначные логики и их применения. Т.1 : Логические исчисления, алгебры и функциональные свойства / сост. О.М.Аншаков, Д.В.Виноградов, В.К.Финн под ред. В.К.Финна. - М. : ЛКИ, 2008. - 502 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-382-00768-7.
Шифры: 51 - М 735
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 2, из них: абнл-1, чзнл-1
Прямая ссылка:
14. Книга
Клини С.К.
Математическая логика / С.К. Клини; перевод с английского Ю.А. Гастева; под ред. Г.Е. Минца. - 3-е изд.,стер. - М. : КомКнига, 2007. - 480 с. - Библиогр.:с.451-465. - ISBN 978-5-484-00802-5.
Математическая логика / С.К. Клини; перевод с английского Ю.А. Гастева; под ред. Г.Е. Минца. - 3-е изд.,стер. - М. : КомКнига, 2007. - 480 с. - Библиогр.:с.451-465. - ISBN 978-5-484-00802-5.
Авторы: Клини С.К.
Шифры: 517 - К 493
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 68, из них: абнл-5, абст-58, чзнл-2, чзуч-3
Прямая ссылка:
15. Книга
Новак В.
Математические принципы нечеткой логики / В. Новак, И. Перфильева, И. Мочкорж; перевод с английского под ред. А.Н. Аверкина. - М. : Физматлит, 2006. - 347 с. : ил. - Библиогр.:с.335-343(143 назв.). - ISBN 5-9221-0399-7.
Математические принципы нечеткой логики / В. Новак, И. Перфильева, И. Мочкорж; перевод с английского под ред. А.Н. Аверкина. - М. : Физматлит, 2006. - 347 с. : ил. - Библиогр.:с.335-343(143 назв.). - ISBN 5-9221-0399-7.
Авторы: Новак В., Перфильева И., Мочкорж И.
Шифры: 517 - Н 723
Ключевые слова: ЛОГИКА МАТЕМАТИЧЕСКАЯ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
16. Книга
Наголкин А.Н.
Алгебра логики в золотом сечении. Еще один шаг в область нечетких логик и компьютерного интелекта / А.Н. Наголкин. - М. : МАКС Пресс, 2006. - 181 с. : ил. - Библиогр.: с. 180-181 (26 назв.). - ISBN 5-317-01731-9.
Алгебра логики в золотом сечении. Еще один шаг в область нечетких логик и компьютерного интелекта / А.Н. Наголкин. - М. : МАКС Пресс, 2006. - 181 с. : ил. - Библиогр.: с. 180-181 (26 назв.). - ISBN 5-317-01731-9.
Авторы: Наголкин А.Н.
Шифры: 51 - Н 166
Ключевые слова: АЛГЕБРА ЛОГИКИ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 4, из них: абнл-3, чзнл-1
Прямая ссылка:
17. Книга
Клини С.К.
Математическая логика / С.К. Клини; перевод с английского Ю.А. Гастева; под ред. Г.Е. Минца. - 2-е изд.,стер. - М. : Едиториал УРСС, 2005. - 480 с. : ил. - ISBN 5-354-01011-Х.
Математическая логика / С.К. Клини; перевод с английского Ю.А. Гастева; под ред. Г.Е. Минца. - 2-е изд.,стер. - М. : Едиториал УРСС, 2005. - 480 с. : ил. - ISBN 5-354-01011-Х.
Авторы: Клини С.К.
Шифры: 517 - К 493
Ключевые слова: ЛОГИКА МАТЕМАТИЧЕСКАЯ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
18. Книга
Волгин Л.И.
Алгебраические логики:элементы теории,взаимоотношения,реляторная схемотехника / Л.И. Волгин; Ульяновский гос.техн.ун-т.Тольяттинская гос.акад.сервиса. - Ульяновск : УлГТУ, 2005. - 258 с. : ил. - Библиогр.:с.249-256(97 назв.). - ISBN 5-89146-558-2.
Алгебраические логики:элементы теории,взаимоотношения,реляторная схемотехника / Л.И. Волгин; Ульяновский гос.техн.ун-т.Тольяттинская гос.акад.сервиса. - Ульяновск : УлГТУ, 2005. - 258 с. : ил. - Библиогр.:с.249-256(97 назв.). - ISBN 5-89146-558-2.
Авторы: Волгин Л.И.
Шифры: 517 - В 67
Ключевые слова: ЛОГИКА МАТЕМАТИЧЕСКАЯ, АЛГЕБРА ЛОГИКИ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
19. Книга
Драгалин А.Г.
Конструктивная теория доказательств и нестандартный анализ / А.Г. Драгалин. - М. : Едиториал УРСС, 2003. - 543 с. : ил. - ISBN 5-354-00388-1.
Конструктивная теория доказательств и нестандартный анализ / А.Г. Драгалин. - М. : Едиториал УРСС, 2003. - 543 с. : ил. - ISBN 5-354-00388-1.
Авторы: Драгалин А.Г.
Шифры: 517 - Д 721
Ключевые слова: ДОКАЗАТЕЛЬСТВ ТЕОРИЯ, МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
20. Книга
Кларк Э.М.,мл.
Верификация моделей программ : Model Checking / Кларк Э.М.,мл., О. Грамберг, Д. Пелед; перевод с английского В. Захаров и др., под ред. Р. Смелянского. - М : Моск.центр непрерывного образования, 2002. - 416 с. : ил. - Библиогр.:с.377-399 (251 назв.). - ISBN 5-94057-054-2.
Верификация моделей программ : Model Checking / Кларк Э.М.,мл., О. Грамберг, Д. Пелед; перевод с английского В. Захаров и др., под ред. Р. Смелянского. - М : Моск.центр непрерывного образования, 2002. - 416 с. : ил. - Библиогр.:с.377-399 (251 назв.). - ISBN 5-94057-054-2.
Авторы: Кларк Э.М.,мл., Грамберг О., Пелед Д.
Шифры: 519 - К 474
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ВЕРИФИКАЦИЯ ПРОГРАММ
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка: