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

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

2012 год

0+

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

Нет в продаже

О книге

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

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

Жанры и теги

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

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

Войдите, чтобы оценить книгу и оставить отзыв
Книга А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
12 ноября 2015
Дата написания:
2012
Объем:
241 стр.
ISBN:
978-5-4439-0013-1
Общий размер:
1.7 МБ
Общее кол-во страниц:
241
Правообладатель:
МЦНМО
Формат скачивания:
Аудио
Средний рейтинг 4,2 на основе 628 оценок
Аудио
Средний рейтинг 4,6 на основе 817 оценок
Аудио
Средний рейтинг 4,7 на основе 1342 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,9 на основе 496 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,7 на основе 608 оценок
Аудио
Средний рейтинг 3,2 на основе 44 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,5 на основе 67 оценок
Текст
Средний рейтинг 4,9 на основе 55 оценок
Аудио
Средний рейтинг 4,3 на основе 102 оценок
Черновик
Средний рейтинг 4,9 на основе 183 оценок
Текст PDF
Средний рейтинг 4 на основе 4 оценок