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

Объем 241 страница

2012 год

0+

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

5,0
1 оценка
Нет в продаже

О книге

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

Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.

Смотреть все отзывы

Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.

Войдите, чтобы оценить книгу и оставить отзыв
Книга А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
12 ноября 2015
Дата написания:
2012
Объем:
241 стр.
ISBN:
978-5-4439-0013-1
Общий размер:
1.7 МБ
Общее кол-во страниц:
241
Правообладатель:
МЦНМО
Формат скачивания:
18+
Текст
Средний рейтинг 4,8 на основе 83 оценок
Черновик, доступен аудиоформат
Средний рейтинг 4,7 на основе 29 оценок
Черновик
Средний рейтинг 4,5 на основе 15 оценок
Аудио
Средний рейтинг 4,2 на основе 1013 оценок
Черновик
Средний рейтинг 4,4 на основе 46 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,7 на основе 6 оценок
Черновик
Средний рейтинг 4,7 на основе 75 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,7 на основе 986 оценок
Аудио
Средний рейтинг 4,6 на основе 1058 оценок
Черновик
Средний рейтинг 4,8 на основе 42 оценок
Текст PDF
Средний рейтинг 4 на основе 4 оценок