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