Приложение
для AndroidПолное описание
| 6+ |
510/В 317
Верещагин, Николай Константинович.
Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - Москва : Изд-во МЦНМО, 20 - . - (Современные лекционные курсы). - Загл. обл. : Математическая логика и теория алгоритмов. - Авт. на обл. не указаны. - Текст : непосредственный.
Ч. 2(2025) : Языки и исчисления. - Изд. 7-е, стер. - 2025. - 240 с. : ил. - Библиогр.: с. 224-227 (34 назв.). - Указ.: с. 228-240. - 800 экз. - ISBN 978-5-4439-4707-5 : 260 р.
Фактическая дата выхода книги - 2024 г.
| ГРНТИ | УДК | |
| 27.03.19 | 510.6 | |
| 03.91 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): логика высказываний -- исчисление высказываний -- разрешимые теории -- истинность -- выразимость -- исчисление предикатов -- теория моделей
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Доп. точки доступа:
Шень, Александр
Имеются экземпляры в отделах: всего 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. - 286 с. - Текст : непосредственный.Болибрух А.А. Фуксовы дифференциальные уравнения и голоморфные расслоения / А.А.Болибрух, 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 с. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Самонов А.Е. Геохимия урана и его спутников в содовых мерзлотных ландшафтах:На прим.Витимского плоскогорья : Автореферат диссертации на соискание ученой степени канд.геол.-минералог.наук:04.00.02 / А. Е. Самонов, 1993. - 25 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Анализ проблем контакта с применением техники SGRA / ВЦП. - 4 c. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Семенко Т.И. Моделирование взаимосвязи процессов насыщенной и ненасыщенной фильтрации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Т. И. Семенко, 1994. - 12 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Показать все результатыКудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Алаев П.Е. Определимость в итерированных расширениях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. Е. Алаев, 1998. - 9 с. - Текст : непосредственный.Золотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный.Беклемишев Л.Д. Схемы рефлексии в формальной арифметике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Л. Д. Беклемишев, 1998. - 19 с. - Текст : непосредственный.Селезнева С.Н. О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / С. Н. Селезнева, 2000. - 14 с. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный.Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный.Вербовский В.В. Свойства функций, определяемых в структурах с условиями минимальности семейств формульных подмножеств : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / В. В. Вербовский, 2002. - 15 с. - Текст : непосредственный.Степанова А.А. Теоретико-модельные свойства полигонов : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / А. А. Степанова, 2003. - 21 с. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Прикладные нечеткие системы / К.Асаи,Д.Ватада,С.Иваи и др.;Под ред.Т.Тэрано и др.; Пер.с яп.Ю.Н.Чернышова, 1993. - 368 c. - Текст : непосредственный.Maanen H.A.N.van Axioms for No-categorical orderings / H.A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Нагорный Н.М. К вопросу о непротиворечивости классической формальной арифметики / Н.М.Нагорный, 1995. - 25 c. - Текст : непосредственный.Wygralak M. Vaguely defined objects / M.Wygralak, 1996. - XIV,265 p. p. - Текст : непосредственный.Карпенко А.С. Многозначные логики / А.С.Карпенко, 1997. - 223 с. - Текст : непосредственный.Яблонский С.В. Предполные классы в многозначных логиках : Учеб. пособие по курсу "Дискретная математика" / С.В.Яблонский,Г.П.Гаврилов,А.А.Набебин;Под ред.В.Н.Вагина, 1997. - 142 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽