Н.К. Верещагин

Сосудистые заболевания головного мозга. Эпидемиология. Патогенетические механизмы. Профилактика

З.А. Суслина, Ю. Варакин, Н.К. Верещагин

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Н.К. Верещагин, А. Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Изложение рассчитано на учеников математических школ,...

Начала теории множеств. Математическая логика и теория алгоритмов

Н.К. Верещагин, А. Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы).
Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств.
Книга включает в...

Математическая логика и теория алгоритмов. Вычислимые функции

Н.К. Верещагин, А. Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...

Организация и технология механизированных работ в растениеводстве

Н.К. Верещагин

Приведены основы использования машинно-тракторных агрегатов при выполнении механизированных работ в растениеводстве. Изложены организационные и агротехнические основы возделывания сельскохозяйственных культур. Для выполнения механизированных работ рекомендуются современные машины и технологическое оборудование. Для подготовки трактористов-машинистов широкого профиля в учреждениях начального...

Организация и технология механизированных работ в растениеводстве. Учебное пособие

Н.К. Верещагин, А.Т. Левшин, А.Н. Скороходов

Рассмотрено использование машинно-тракторных агрегатов при выполнении механизированных работ в растениеводстве. Изложены организационные и агротехнические основы возделывания сельскохозяйственных культур...

Начала теории множеств. Математическая логика и теория алгоритмов

Н.К. Верещагин, А. Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях `наивной теории множеств` (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Н.К. Верещагин, А. Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.

Вычислимые функции

Н.К. Верещагин, А. Шень

Вводный курс математической логики. 2-е издание

В. Успенский, Н.К. Верещагин

В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для...

Организация и технология механизированных работ в растениеводстве

Н.К. Верещагин, А.Т. Левшин, А.Г. Левшин

В учебном пособии приводятся основы использования машинотракторных агрегатов при выполнении механизированных работ в растениеводстве. Изложены организационные и агротехнические основы возделывания сельскохозяйственных культур. Для выполнения механизированных работ рекомендуются современные машины и технологическое оборудование. Рекомендуется в качестве учебного пособия для подготовки...