| Найдено документов - 48 | Найти похожие: "Индекс УДК" = '512.54 или 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. Книга
Курош А.Г. (1908-1971).
Теория групп / А.Г. Курош. - Москва : ФИЗМАТЛИТ, 2011. - 806 с. : ил. - (Классика и современность. Математика). - Библиогр.: с.705-782. - ISBN 978-5-9221-1349-6.
Теория групп / А.Г. Курош. - Москва : ФИЗМАТЛИТ, 2011. - 806 с. : ил. - (Классика и современность. Математика). - Библиогр.: с.705-782. - ISBN 978-5-9221-1349-6.
Авторы: Курош А.Г.
Шифры: 512 - К 935
Ключевые слова: ГРУППЫ (МАТ.)
Аннотация: Книга известного советского математика А.Г.Куроша, написана в сороковых годах двадцатого века и давшая толчок к развитию теории групп советскими математиками. В книге рассматриваются общие свойства конечных групп, свойства абелевых групп, теоретико-групповые конструкции, разрешимые и нильпотентные группы, а также развитие теории и свойства бесконечных групп. Издание предназначено алгебраистам, работающим в теории групп, а также студентам, аспирантам и научным работникам, интересующимся данной темой
Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1
Ссылка на ресурс: https://www.rfbr.ru/library/books/1758/
Прямая ссылка:
9. Книга
Нагель Э. (1901-1985).
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Авторы: Нагель Э., Ньюмен Д.Р.
Шифры: 51 - Н 162
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ.
Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
10. Книга
Наймарк М.А. (1909-1978).
Теория представлений групп / М.А. Наймарк. - Изд. 2-е. - Москва : ФИЗМАТЛИТ, 2010. - 572 с. : ил. - (Классика и современность. Математика). - Библиогр.: с.564-568. - ISBN 978-5-9221-1260-4.
Теория представлений групп / М.А. Наймарк. - Изд. 2-е. - Москва : ФИЗМАТЛИТ, 2010. - 572 с. : ил. - (Классика и современность. Математика). - Библиогр.: с.564-568. - ISBN 978-5-9221-1260-4.
Авторы: Наймарк М.А.
Шифры: 512 - Н 205
Ключевые слова: ГРУППЫ (МАТ.)
Аннотация: В книге в доступной форме, но без снижения математической строгости, излагаются основы теории конечномерных представлений групп, в частности, представлений конечных групп, компактных групп и классических групп, а также излагаются основные понятия и предложения теории групп Ли и их конечномерных представлений. Для студентов старших курсов и аспирантов математических, физических и химических факультетов, научных работников: математиков и физиков-теоретиков.
Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/30177?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
11. Книга
Нагель Э.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокр. пер. с англ. Ю.А. Гастева. - Изд. 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
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
12. Книга
Эйзенхарт Л.П.
Непрерывные группы преобразований / Л.П. Эйзенхарт; перевод с английского М.М. Постникова. - Изд. 3-е. - М. : Едиториал УРСС, 2010. - 359 с. - Библиогр.: с. 352-356. - ISBN 978-5-354-01190-2.
Непрерывные группы преобразований / Л.П. Эйзенхарт; перевод с английского М.М. Постникова. - Изд. 3-е. - М. : Едиториал УРСС, 2010. - 359 с. - Библиогр.: с. 352-356. - ISBN 978-5-354-01190-2.
Авторы: Эйзенхарт Л.П.
Шифры: 519 - Э 308
Ключевые слова: ГРУППЫ, ГРУППЫ ЛИ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
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. Книга
Шмидт О.Ю.
Абстрактная теория групп / О.Ю. Шмидт. - Изд. 3-е. - М. : Кн. дом "ЛИБРОКОМ", 2010. - 180 с. : ил. - (Физико-математическое наследие: математика . алгебра). - ISBN 978-5-397-00954-6.
Абстрактная теория групп / О.Ю. Шмидт. - Изд. 3-е. - М. : Кн. дом "ЛИБРОКОМ", 2010. - 180 с. : ил. - (Физико-математическое наследие: математика . алгебра). - ISBN 978-5-397-00954-6.
Авторы: Шмидт О.Ю.
Шифры: 512 - Ш 733
Ключевые слова: ГРУППЫ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
15. Книга
Неретин Ю.А.
Категории симметрий и бесконечномерные группы / Ю.А. Неретин. - изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 431 с. : ил. - Библиогр.: с. 414-425. - ISBN 978-5-397-00116-8.
Категории симметрий и бесконечномерные группы / Ю.А. Неретин. - изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 431 с. : ил. - Библиогр.: с. 414-425. - ISBN 978-5-397-00116-8.
Авторы: Неретин Ю.А.
Шифры: 512 - Н 541
Ключевые слова: ГРУППЫ, СИММЕТРИИ, ПРОСТРАНСТВА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
16. Книга
Клини С.К.
Введение в метаматематику / С.К. Клини; перевод с английского А.С. Есенина-Вольпина под ред. В.А. Успенского. - Изд. 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
Прямая ссылка:
17. Книга
Черч А.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Авторы: Черч А.
Шифры: 51 - Ч-508
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
18. Книга
Многозначные логики и их применения. Т.1 : Логические исчисления, алгебры и функциональные свойства / сост. О.М.Аншаков, Д.В.Виноградов, В.К.Финн под ред. В.К.Финна. - М. : ЛКИ, 2008. - 502 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-382-00768-7.
Шифры: 51 - М 735
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 2, из них: абнл-1, чзнл-1
Прямая ссылка:
19. Книга
Клини С.К.
Математическая логика / С.К. Клини; перевод с английского Ю.А. Гастева; под ред. Г.Е. Минца. - 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
Прямая ссылка:
20. Книга
Багавантам С.
Теория групп и ее применение к физическим проблемам / С. Багавантам, Т. Венкатарайуду; Перевод с английского В.Л. Гуревича; под ред и с предисловием Н.Н. Боголюбова. - Изд. 2-е ; стер. - М. : КомКнига, 2006. - 301 с. : ил. - Библиогр.: с. 294-295 (25 назв.). - ISBN 978-5-484-00627-4.
Теория групп и ее применение к физическим проблемам / С. Багавантам, Т. Венкатарайуду; Перевод с английского В.Л. Гуревича; под ред и с предисловием Н.Н. Боголюбова. - Изд. 2-е ; стер. - М. : КомКнига, 2006. - 301 с. : ил. - Библиогр.: с. 294-295 (25 назв.). - ISBN 978-5-484-00627-4.
Авторы: Багавантам С., Венкатарайуду Т.
Шифры: 519 - Б 14
Ключевые слова: Группы, ГРУППЫ, ТЕОРИЯ ГРУПП
Экземпляры: Всего: 2, из них: абнл-2
Прямая ссылка: