Лекции по математической логике и теории алгоритмов, Часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает около 200 задач различной трудности.
Верещагин
Лекции по математической логике и теории алгоритмов, часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012
Скачать и читать Лекции по математической логике и теории алгоритмов, часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012Лекции по математической логике и теории алгоритмов, часть 1, Начала теории множеств, Верещагин Н.К., Шень А., 2012
Лекции по математической логике и теории алгоритмов, Часть 1, Начала теории множеств, Верещагин Н.К., Шень А., 2012.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности.
Скачать и читать Лекции по математической логике и теории алгоритмов, часть 1, Начала теории множеств, Верещагин Н.К., Шень А., 2012Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности.
50 Художников, Шедевры русской живописи, Верещагин, 2010
50 Художников, Шедевры русской живописи, Верещагин, 2010.
Жизнь Василия Верещагина напоминает авантюрный роман - со стремительной сменой декораций, стрельбой, бурными сценами, неожиданными поворотами сюжета. Художник объехал весь мир, ссорился с царем, воевал на трех войнах - и проклял войну в своих картинах.
Скачать и читать 50 Художников, Шедевры русской живописи, Верещагин, 2010Жизнь Василия Верещагина напоминает авантюрный роман - со стремительной сменой декораций, стрельбой, бурными сценами, неожиданными поворотами сюжета. Художник объехал весь мир, ссорился с царем, воевал на трех войнах - и проклял войну в своих картинах.
Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004
Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Книга предназначена для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.
Скачать и читать Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Книга предназначена для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.
Великие художники, Верещагин, Альбом 56, 2010
Великие художники, Верещагин, Альбом 56, 2010.
Василий Верещагин был сложным, сильным, волевым человеком, который благодаря своему таланту живописца, отваге офицера и решительности общественного деятеля и пацифиста оказал огромное влияние не только на изобразительное искусство Европы и Америки, но и на умы нескольких поколений простых людей и политиков, боровшихся за мир без войн и национальных конфликтов.
Скачать и читать Великие художники, Верещагин, Альбом 56, 2010Василий Верещагин был сложным, сильным, волевым человеком, который благодаря своему таланту живописца, отваге офицера и решительности общественного деятеля и пацифиста оказал огромное влияние не только на изобразительное искусство Европы и Америки, но и на умы нескольких поколений простых людей и политиков, боровшихся за мир без войн и национальных конфликтов.
Физическая культура индийских йогов, Верещагин В.Г., 1982
Физическая культура индийских йогов, Верещагин В.Г., 1982.
Эта книга о физических упражнениях системы йогов. Описываются принципы последовательности и постепенности в освоении упражнений, содержатся рекомендации, с чего и как начинать занятия, и по какому режиму.
Адресуется всем, кто следит за своим здоровьем; будет полезна преподавателям физкультуры, тренерам, спортсменам.
Скачать и читать Физическая культура индийских йогов, Верещагин В.Г., 1982Эта книга о физических упражнениях системы йогов. Описываются принципы последовательности и постепенности в освоении упражнений, содержатся рекомендации, с чего и как начинать занятия, и по какому режиму.
Адресуется всем, кто следит за своим здоровьем; будет полезна преподавателям физкультуры, тренерам, спортсменам.
Верещагин
Предыдущая
Следующая
Показана страница 3 из 3