Книга: Верещагин Н.К. «Вводный курс математической логики»
|
Серия: "-" В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о егополноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики. Учебное пособие. Издательство: "Физматлит" (2007)
ISBN: 978-5-9221-0278-0,5-9221-0278-8 Купить за 318 руб в My-shop |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — Русское слово, - Подробнее... | бумажная книга | ||
| Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — Московский центр непрерывного математического образования (МЦНМО), Современные лекционные курсы Подробнее... | бумажная книга | ||
| Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — Русское слово, (формат: 60x90/16мм, 240 стр.) Школьная программа Подробнее... | бумажная книга |
См. также в других словарях:
Лебедев, Сергей Александрович — Лебедев Сергей Александрович … Википедия
Эконометрика — Эконометрика наука, изучающая количественные и качественные экономические взаимосвязи с помощью математических и статистических методов и моделей[1]. Современное определение предмета эконометрики было выработано в уставе Эконометрического… … Википедия
