Книга: В. А. Успенский, Н. К. Верещагин, В. Е. Плиско «Вводный курс математической логики»

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

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

Содержание:

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

Издательство: "ФИЗМАТЛИТ" (2002)

Формат: 60x90/16, 128 стр.

ISBN: 5-9221-0278-8

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Верещагин Н.К.Вводный курс математической логикиВ учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия… — Физматлит, - Подробнее...2007
244бумажная книга
В. А. Успенский, Н. К. Верещагин, В. Е. ПлискоВводный курс математической логикиВ учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия… — ФИЗМАТЛИТ, (формат: 60x88/16, 128 стр.) Подробнее...2002
280бумажная книга
Успенский Владимир Андреевич, Верещагин Николай Константинович, Плиско Валерий ЕгоровичВводный курс математической логикиВ учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия… — Физматлит, (формат: 60x88/16, 128 стр.) Подробнее...2007
349бумажная книга
Успенский Владимир Андреевич, Верещагин Николай Константинович, Плиско Валерий ЕгоровичВводный курс математической логики. 2-е издание128 стр. В учебном пособии содержится материал основного курса Введение в математическую логику, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные… — Физматлит, (формат: 60x88/16, 128 стр.) Подробнее...2007
280бумажная книга
В. Дж. Рейуорд-СмитТеория формальных языков. Вводный курсВ книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые… — Радио и связь, (формат: 60x88/16, 128 стр.) Подробнее...1988
147бумажная книга
Теория формальных языков. Вводный курсИспользован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах… — (формат: 60x88/16, 128 стр.) Подробнее...
136бумажная книга
Вечтомов Е.М.Математика: логика, теория множеств и комбинаторика. Учебное пособие для СПОВ учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвященоазбуке современной математики: началам… — Юрайт, (формат: 60x88/16, 128 стр.) Профессиональное образование Подробнее...2018
905бумажная книга
Вечтомов Евгений МихайловичМатематика: логика, теория множеств и комбинаторика. Учебное пособие для СПОВ учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвященоазбуке современной математики: началам… — ЮРАЙТ, (формат: 60x88/16, 128 стр.) Профессиональное образование Подробнее...2018
1038бумажная книга
Евгений Михайлович ВечтомовМатематика: логика, теория множеств и комбинаторика 2-е изд. Учебное пособие для СПОВ учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвященоазбуке современной математики: началам… — ЮРАЙТ, (формат: 60x88/16, 128 стр.) Профессиональное образование Подробнее...2018
549электронная книга
Евгений Михайлович ВечтомовМатематика: логика, множества, комбинаторика 2-е изд. Учебное пособие для академического бакалавриатаВ учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвященоазбуке современной математики: началам… — ЮРАЙТ, (формат: 60x88/16, 128 стр.) Бакалавр. Академический курс Подробнее...2018
549электронная книга
Вечтомов Е.М.Математика: логика, множества, комбинаторика. Учебное пособие для академического бакалавриатаВ учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвященоазбуке современной математики: началам… — Юрайт, (формат: 60x88/16, 128 стр.) Бакалавр. Академический курс Подробнее...2018
905бумажная книга
Вечтомов Е.М.Математика: логика, множества, комбинаторика. Учебное пособие для академического бакалавриатаВ учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвященоазбуке современной математики: началам… — ЮРАЙТ, (формат: 60x88/16, 128 стр.) Бакалавр. Академический курс Подробнее...2018
1038бумажная книга

См. также в других словарях:

  • Лебедев, Сергей Александрович — Лебедев Сергей Александрович …   Википедия

  • Эконометрика — Эконометрика  наука, изучающая количественные и качественные экономические взаимосвязи с помощью математических и статистических методов и моделей[1]. Современное определение предмета эконометрики было выработано в уставе Эконометрического… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.