Электронный каталог

Многотомник

Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов / Верещагин, Н. К, Шень, А . - М. : МЦНМО, 2017 . - (Современные лекционные курсы) .
Книга
22.12 В 31

Верещагин, Н. К.
Ч. 2 : Языки и исчисления : [учебное пособие] / Верещагин, Н. К, Шень, А . - стер . - М. : МЦНМО, 2017 ($m) . - 240 с. - (Современные лекционные курсы) . - Литература: с. 224-227 ; предм. указ.: с. 228-236 ; указ. имен: с. 237-240 . - ISBN 978-5-4439-0944-8 .

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

ББК 22.12я73
ББК 22.12
ББК В 31

ПРЕДМЕТНЫЕ РУБРИКИ = МАТЕМАТИКА : МАТЕМАТИЧЕСКАЯ ЛОГИКА; ТЕОРИЯ АЛГОРИТМОВ
КЛЮЧЕВЫЕ СЛОВА = МАТЕМАТИЧЕСКАЯ ЛОГИКА
КЛЮЧЕВЫЕ СЛОВА = ТЕОРИЯ АЛГОРИТМОВ
КЛЮЧЕВЫЕ СЛОВА = ЛОГИКА ВЫСКАЗЫВАНИЙ
КЛЮЧЕВЫЕ СЛОВА = ТЕОРЕМА О ПОЛНОТЕ
КЛЮЧЕВЫЕ СЛОВА = ИСТИННОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ПРЕДИКАТ
КЛЮЧЕВЫЕ СЛОВА = ЭКВИВАЛЕНТНОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ДИАГРАММЫ
КЛЮЧЕВЫЕ СЛОВА = ЯЗЫКИ ПЕРВОГО ПОРЯДКА
КЛЮЧЕВЫЕ СЛОВА = ВЫРАЗИМОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
КЛЮЧЕВЫЕ СЛОВА = ТЕОРИЯ МОДЕЛЕЙ
КЛЮЧЕВЫЕ СЛОВА = АВТОМОРФИЗМЫ
КЛЮЧЕВЫЕ СЛОВА = НЕВЫРАЗИМЫЕ ПРЕДИКАТЫ
КЛЮЧЕВЫЕ СЛОВА = ЭЛИМИНАЦИЯ КВАНТОРОВ
КЛЮЧЕВЫЕ СЛОВА = АРИФМЕТИКА ПРЕСБУРГЕРА
КЛЮЧЕВЫЕ СЛОВА = ТЕОРЕМА ТАРСКОГО-ЗАЙДЕНБЕРГА
КЛЮЧЕВЫЕ СЛОВА = ИГРА ЭРЕНФОЙХТА
КЛЮЧЕВЫЕ СЛОВА = ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
КЛЮЧЕВЫЕ СЛОВА = ТЕОРЕМА ЭРБРАНА
КЛЮЧЕВЫЕ СЛОВА = СКОЛЕМОВСКИЕ ФУНКЦИИ
КЛЮЧЕВЫЕ СЛОВА = АКСИОМЫ РАВЕНСТВА
КЛЮЧЕВЫЕ СЛОВА = ПОЛНЫЕ ТЕОРИИ
КЛЮЧЕВЫЕ СЛОВА = РАСШИРЕНИЯ
КЛЮЧЕВЫЕ СЛОВА = УЛЬТРАФИЛЬТРЫ
КЛЮЧЕВЫЕ СЛОВА = КОМПАКТНОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ПРОПОЗИЦИОННЫЕ ФОРМУЛЫ
КЛЮЧЕВЫЕ СЛОВА = МОДЕЛИ КРИПКЕ
КЛЮЧЕВЫЕ СЛОВА = БУЛЕВЫ ФУНКЦИИ
ДИСЦИПЛИНЫ = Логика и алгоритмы
ПРЕДМЕТНЫЕ РУБРИКИ = N$1
ПРЕДМЕТНЫЕ РУБРИКИ = N$2