Найдено документов - 47 | Найти похожие: "Индекс УДК" = '512.54 или 510.6' | Версия для печати |
Сортировать по:
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. Книга
Екимова М.А.
Задачи на разрезание / М.А. Екимова, Г.П. Кукин. - Изд. 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
4. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 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
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.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 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
6. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 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
7. Книга
Курош А.Г.
Теория групп / А.Г. Курош. - М. : ФИЗМАТЛИТ, 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
Ссылка на ресурс: http://www.rfbr.ru/rffi/ru/books/o_71241
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. Книга
Наймарк М.А. (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
Для просмотра необходимо войти в личный кабинет
10. Книга
Нагель Э.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен ; сокр. пер. с англ. Ю.А. Гастева. - Изд. 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
Для просмотра необходимо войти в личный кабинет
11. Книга
Эйзенхарт Л.П.
Непрерывные группы преобразований / Л.П. Эйзенхарт ; перевод с английского М.М. Постникова. - Изд. 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
12. Книга
Лакатос И.
Доказательства и опровержения. Как доказываются теоремы / И. Лакатос ; перевод с английского И.Н. Веселовского; отв. ред. И.Б. Погребысский. - Изд.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
13. Книга
Шмидт О.Ю.
Абстрактная теория групп / О.Ю. Шмидт. - Изд. 3-е. - М. : Кн. дом "ЛИБРОКОМ", 2010. - 180 с. : ил. - (Физико-математическое наследие: математика . алгебра). - ISBN 978-5-397-00954-6.
Абстрактная теория групп / О.Ю. Шмидт. - Изд. 3-е. - М. : Кн. дом "ЛИБРОКОМ", 2010. - 180 с. : ил. - (Физико-математическое наследие: математика . алгебра). - ISBN 978-5-397-00954-6.
Авторы: Шмидт О.Ю.
Шифры: 512 - Ш 733
Ключевые слова: ГРУППЫ
Экземпляры: Всего: 1, из них: чзнл-1
14. Книга
Неретин Ю.А.
Категории симметрий и бесконечномерные группы / Ю.А. Неретин. - изд. 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
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. Книга
Клини С.К.
Математическая логика / С.К. Клини ; перевод с английского Ю.А. Гастева; под ред. Г.Е. Минца. - 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
19. Книга
Багавантам С.
Теория групп и ее применение к физическим проблемам / С. Багавантам, Т. Венкатарайуду ; Перевод с английского В.Л. Гуревича; под ред и с предисловием Н.Н. Боголюбова. - Изд. 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
20. Книга
Новак В.
Математические принципы нечеткой логики / В. Новак, И. Перфильева, И. Мочкорж ; перевод с английского под ред. А.Н. Аверкина. - М. : Физматлит, 2006. - 347 с. : ил. - Библиогр.:с.335-343(143 назв.). - ISBN 5-9221-0399-7.
Математические принципы нечеткой логики / В. Новак, И. Перфильева, И. Мочкорж ; перевод с английского под ред. А.Н. Аверкина. - М. : Физматлит, 2006. - 347 с. : ил. - Библиогр.:с.335-343(143 назв.). - ISBN 5-9221-0399-7.
Авторы: Новак В., Перфильева И., Мочкорж И.
Шифры: 517 - Н 723
Ключевые слова: ЛОГИКА МАТЕМАТИЧЕСКАЯ
Экземпляры: Всего: 1, из них: чзнл-1