Приложение
для AndroidПолное описание
| 6+ |
51/В 317
Верещагин, Николай Константинович.
Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - Москва : Изд-во МЦНМО, 20 - . - (Современные лекционные курсы). - Загл. обл. : Математическая логика и теория алгоритмов. - Авт. на обл. не указаны. - Текст : непосредственный.
Ч. 1(2024) : Начала теории множеств. - Изд. 8-е, стер. - 2024. - 112 с. : ил. - Библиогр.: с. 105-106 (13 назв.). - Указ: с. 107-112. - 1000 экз. - ISBN 978-5-4439-4580-4 : 200 р.
https://mccme.ru/shen/logic/sets/part1-6ed.pdf. https://mccme.ru/shen/logic/sets/part1-6ed.zip.
| ГРНТИ | УДК | |
| 27.03.33 | 510.3 |
Рубрики:
Множеств теория
Кл.слова (ненормированные): множества и мощности -- равномощные множества -- счетные множества -- теорема кантора-бернштейна -- операции над множествами
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности.
Доп. точки доступа:
Шень, Александр
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Обложка
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1 : Начала теории множеств, 2002. - 121 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2 : Языки и исчисления, 2002. - 285 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3 : Вычислимые функции, 2002. - 189 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2008) : Языки и исчисления, 2008. - 288 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2008) : Начала теории множеств, 2008. - 127 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2012) : Начала теории множеств, 2012. - 112 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2012) : Языки и исчисления, 2012. - 240 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2020) : Начала теории множеств, 2020. - 112 с. - Текст : непосредственный.Шень, Александр. Программирование. Теоремы и задачи / А. Шень, 2021. - 319 с. - Текст (визуальный) : непосредственный.Лекции по дискретной математике / М. Н. Вялый, В. В. Подольский, А. А. Рубцов [и др.], 2021. - 494 с. - Текст (визуальный) : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2023) : Начала теории множеств, 2023. - 112 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2024) : Начала теории множеств, 2024. - 112 с. - Текст : непосредственный.Шень, Александр. Программирование. Теоремы и задачи / А. Шень, 2024. - 319 с. - Текст (визуальный) : непосредственный.Гельфанд, Израиль Моисеевич. Алгебра / И. М. Гельфанд, А. Шень, 2024. - 144 с. - Текст (визуальный) : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2025) : Языки и исчисления, 2025. - 240 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2025) : Начала теории множеств, 2025. - 112 с. - Текст : непосредственный.Шень, Александр. Игры и стратегии с точки зрения математики / А. Шень, 2025. - 56 с. - Текст (визуальный) : непосредственный.Учебник Школы прикладной математики и информатики МФТИ. № 22 : Информация, кодирование и предсказание : введение в прикладную теорию информации, информация по Хартли, энтропия Шеннона и колмогоровская сложность / Н. К. Верещагин, Е. В. Щепин, 2025. - 245, [1] с. - Текст (визуальный) : непосредственный.
Верещагин Н.К. Начала теории множеств / Н.К.Верещагин,А.Шень, 1999. - 127 с. - Текст : непосредственный.Болибрух А.А. Фуксовы дифференциальные уравнения и голоморфные расслоения / А.А.Болибрух, 2000. - 119 с. - Текст : непосредственный.Гусейн-Заде С.М. Диффенциальная геометрия : Лекции для студентов III курса, осенний семестр 1999-2000 уч.г. / С.М.Гусейн-Заде, 2001. - 74 с. - Текст : непосредственный.Шубин М.А. Лекции об уравнениях математической физики / М.А.Шубин, 2001. - 302 с. - Текст : непосредственный.Белавин А.А. Лекции по теоретической физике / А. А. Белавин, А. Г. Кулаков, Р. А. Усманов, 2001. - 223 с. - Текст : непосредственный.Ландо С.К. Лекции о производящих функциях / С.К.Ландо, 2002. - 143 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1 : Начала теории множеств, 2002. - 121 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2 : Языки и исчисления, 2002. - 285 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3 : Вычислимые функции, 2002. - 189 с. - Текст : непосредственный.Шубин М.А. Лекции об уравнениях математической физики / М.А.Шубин, 2003. - 302 с. - Текст : непосредственный.Ландо С.К. Лекции о производящих функциях / С.К.Ландо, 2004. - 143 с. - Текст : непосредственный.Натанзон С.М. Краткий курс математического анализа / С.М.Натанзон, 2004. - 95 с. - Текст : непосредственный.Флуктуационные эффекты в макрофизике / В.В. Лебедев, 2004. - 253 с. - Текст : непосредственный.Лекции по функциональному анализу : Учебник / А.Я. Хелемский, 2004. - 552 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2008) : Языки и исчисления, 2008. - 288 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2008) : Начала теории множеств, 2008. - 127 с. - Текст : непосредственный.Краткий курс математического анализа / С. М. Натанзон, 2008. - 95 с. - Текст : непосредственный.Лекции о сложности алгоритмов : Учеб. пособие / С. А. Абрамов, 2009. - 252 с. - Текст : непосредственный.Обратные задачи монодромии в аналитической теории дифференциальных уравнений / А. А. Болибрух, 2009. - 220 с. - Текст : непосредственный.
Показать все результатыВерещагин Н.К. Начала теории множеств / Н.К.Верещагин,А.Шень, 1999. - 127 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2008) : Начала теории множеств, 2008. - 127 с. - Текст : непосредственный.Введение в теорию множеств и общую топологию : Учеб. пособие / П. С. Александров, 2008. - 367 с. - Текст : непосредственный.Теория вероятностей, математическая статистика и элементы теории возможностей для физиков : учеб. пособие / Ю. П. Пытьев, И. А. Шишмарев, 2010. - 406 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2012) : Начала теории множеств, 2012. - 112 с. - Текст : непосредственный.Уайтхэд А.Н. Введение в математику : перевод / под ред. С. О. Майзель, 1916. - IV,229 c. - Текст : непосредственный.Александров П.С. Введение в общую теорию множеств и функций : учеб. пособие / П. С. Александров, 2017. - 411 с. - Текст : непосредственный.Виленкин Н.Я. Рассказы о множествах / Н. Я. Виленкин, 2019. - 150 с. - Текст : непосредственный.Малышев Д.С. Задачи по теории множеств, бинарным отношениям и комбинаторике: примеры решения и варианты контрольных работ : учебное пособие / Малышев Дмитрий Сергеевич, 2019. - 29 с. - Текст : непосредственный.Малышев Д.С. Лекции по дискретной математике: множества, бинарные отношения, комбинаторика и теория графов : [учебное пособие] / Д. С. Малышев, 2020. - 93 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2020) : Начала теории множеств, 2020. - 112 с. - Текст : непосредственный.Мартынов А.П. Аксиоматические основы функций подстановки в системе счисления ряда факториальных множеств и их характеристики : монография / А. П. Мартынов, И. А. Мартынова, В. Н. Фомченко, 2019. - 209 с. - Текст : непосредственный.Проценко Е.А. Различные подходы к определению множеств N и No в математической подготовке бакалавров : учебное пособие для студентов высших учебных заведений / Е. А. Проценко, Ю. В. Трофименко, С. В. Проценко, 2020. - 229 с. - Текст (визуальный) : непосредственный.Бородина, Светлана Ивановна. Множества. Отображения. Отношения на множестве / С. И. Бородина, В. В. Показеев, 2020. - 52 с. - Текст (визуальный) : непосредственный.Пархоменко, Алексей Серапионович. Что такое линия / А. С. Пархоменко, 1954. - 139, [1] с. - Текст : непосредственный.Эверстова, В. Н. Вводный курс математики: Множества. Операции над множествами : учебное пособие для самостоятельной работы студентов. Ч. 1, 2021. - 82 с. - Текст : непосредственный.Галканов, Аллаберди Галканович. Три классических доказательства последней теоремы Ферма, доказательство гипотезы Била и решение первой проблемы Гильберта / А. Г. Галканов, 2022. - 136 с. - Текст (визуальный) : непосредственный.Йех, Томас. Теория множеств и метод форсинга / Т. Йех ; перевод с английского В. И. Фуксона ; под редакцией В. Н. Гришина, 1973. - 147, [1] с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2023) : Начала теории множеств, 2023. - 112 с. - Текст : непосредственный.Путилов, Артур Олегович. Дискретная математика: логика, теория множеств и комбинаторика : учебное пособие / А. О. Путилов, Э. Р. Зарипова, 2022. - 108 с. - Текст (визуальный) : непосредственный.
Показать все результатыSchindler R.D. core model up to one strong cardinal : Diss. / R.D.Schindler, 1997. - 122 p. - Текст : непосредственный. Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный.Хенл Дж.М. Введение в теорию множеств / Дж.М.Хенл;Пер. с англ. С.И.Травкина; Под ред.В.Б.Кузьмина, 1993. - 105 c. - Текст : непосредственный.Beigel R. Approximable sets / R.Beigel,M.Kummer,F.Stephan, 1993. - 15 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Todorchevich S. Some applications of the method of forcing / S.Todorchevich,I.Farah, 1995. - 148 p. - Текст : непосредственный.Малинина Т.Б. Высшая математика: элементы теории множеств, линейная алгебра и аналитическая геометрия : Курс лекций / Т.Б.Малинина, 1995. - 100 c. - Текст : непосредственный.Дополнительные разделы элементарной математики. Элементы теории множеств : Текст лекций / С.А.Беликов,Ю.П.Данилов,В.Г.Фарафонов,О.Ю.Шульц, 1995. - 45 c. - Текст : непосредственный.Good C. Measurable cardinals and finite intervals between Hausdorff topologies / C.Good,D.W.McIntyre,W.S.Watson, 1996. - 15 p. - Текст : непосредственный.Halko A. Negligible subsets of the generalized Baire space w1w1 : Diss. / A.Halko, 1996. - 38 p. - Текст : непосредственный.Бурбаки, Н. Начала математики : Пер. с фр. Г.Н.Поварова, Ю.А.Шихановича. Ч. 1 : Основные структуры анализаКн. 1. Теория множеств, 1965. - 455 с. - Текст : непосредственный.Столл Р.Р. Множества. Логистика. Аксиоматические теории / Р.Р.Столл;Пер. с англ. Ю.А.Гастева, И.Х.Шмаина; Под ред. Ю.А.Шихановича, 1968. - 231 с. - Текст : непосредственный.Стрыгин В.З. Метаматематическое, теоретико-множественное и математико-логическое обоснование решения некоторых NP-полных задач полиномиальными алгоритмами / В.З.Стрыгин, 1994. - 35 с. - Текст : непосредственный.Березнюк С. Расположение собственно степеней / С. Березнюк, Р. Кулз, А. Сорби, 1997. - 20 с. - Текст : непосредственный.Шестаков А.А. Высшая математика. Множества и пространства : Учеб.пособие / А.А.Шестаков,Г.Х.Синдаловский, 1997. - 39 с. - Текст : непосредственный.Котлярова И.О. Элементы теории множеств и математической логики : Учеб. пособие / И. О. Котлярова, Е. Л. Кузнецова, Г. Н. Сериков, 1997. - 78 с. - Текст : непосредственный.Насыров З.Х. Множества, отношения, алгоритмы : Учеб.пособие по курсу "Дискрет.мат." / З.Х.Насыров, 1997. - 36 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В.Е.Шестопал, 1997. - 19 с. - Текст : непосредственный.Мальцев Ю.Н. Основания математики. Элементы теории множеств, дискретной математики и математической логики / Ю.Н.Мальцев, 1996. - 83 с. - Текст : непосредственный.
Показать все результатыШерстнева А.И. Почти изоморфные абелевы группы и аналог теоремы Кантора-Шредера-Бернштейна : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Шерстнева, 2002. - 15 с. - Текст : непосредственный.Schindler R.D. core model up to one strong cardinal : Diss. / R.D.Schindler, 1997. - 122 p. - Текст : непосредственный. Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный.Хенл Дж.М. Введение в теорию множеств / Дж.М.Хенл;Пер. с англ. С.И.Травкина; Под ред.В.Б.Кузьмина, 1993. - 105 c. - Текст : непосредственный.Beigel R. Approximable sets / R.Beigel,M.Kummer,F.Stephan, 1993. - 15 p. - Текст : непосредственный.Finite and infinite combinatorics in sets and logic : Proc.of the NATO advanced study inst.on finite and infinite combinatorics in sets and logic,Banff,Alberta,Canada,Apr.21-May 4 1991 / ed. N. W. Sauer, 1993. - XVII,453 p. p. - Текст : непосредственный.Todorchevich S. Some applications of the method of forcing / S.Todorchevich,I.Farah, 1995. - 148 p. - Текст : непосредственный.Set theory of the continuum : Papers presented at an MSRI workshop Oct.16-20,1989,Berkeley(Ca) / ed. H. Judah, 1992. - IX,416 p. p. - Текст : непосредственный.Малинина Т.Б. Высшая математика: элементы теории множеств, линейная алгебра и аналитическая геометрия : Курс лекций / Т.Б.Малинина, 1995. - 100 c. - Текст : непосредственный.Дополнительные разделы элементарной математики. Элементы теории множеств : Текст лекций / С.А.Беликов,Ю.П.Данилов,В.Г.Фарафонов,О.Ю.Шульц, 1995. - 45 c. - Текст : непосредственный.Good C. Measurable cardinals and finite intervals between Hausdorff topologies / C.Good,D.W.McIntyre,W.S.Watson, 1996. - 15 p. - Текст : непосредственный.Halko A. Negligible subsets of the generalized Baire space w1w1 : Diss. / A.Halko, 1996. - 38 p. - Текст : непосредственный.Бурбаки, Н. Начала математики : Пер. с фр. Г.Н.Поварова, Ю.А.Шихановича. Ч. 1 : Основные структуры анализаКн. 1. Теория множеств, 1965. - 455 с. - Текст : непосредственный.Березнюк С. Расположение собственно степеней / С. Березнюк, Р. Кулз, А. Сорби, 1997. - 20 с. - Текст : непосредственный.Шестаков А.А. Высшая математика. Множества и пространства : Учеб.пособие / А.А.Шестаков,Г.Х.Синдаловский, 1997. - 39 с. - Текст : непосредственный.Насыров З.Х. Множества, отношения, алгоритмы : Учеб.пособие по курсу "Дискрет.мат." / З.Х.Насыров, 1997. - 36 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В.Е.Шестопал, 1997. - 19 с. - Текст : непосредственный.Попов Н.А. Теоремы Ахинеева / Н.А.Попов,А.Н.Попов, 1998. - 12 с. - Текст : непосредственный.Fernando R.T.P. primitive recursive set theory and AFA:On the logical complexity of the largest bisimulation / R.T.P.Fernando, 1992. - 15 p. - Текст : непосредственный.Бредихин Д.А. Элементы теории множеств, алгебры и дискретной математики : Учеб. пособие для студентов всех специальностей / Д.А.Бредихин,Д.Е.Черный;Под ред.В.А.Крысько, 1998. - 79 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽