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

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

2012 год

0+

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

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

О книге

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

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

Текст
Средний рейтинг 4,9 на основе 327 оценок
Аудио
Средний рейтинг 4,1 на основе 1074 оценок
Текст
Средний рейтинг 4,9 на основе 1501 оценок
Аудио
Средний рейтинг 4,7 на основе 373 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,2 на основе 128 оценок
Черновик
Средний рейтинг 4,5 на основе 55 оценок
Текст
Средний рейтинг 5 на основе 42 оценок
Аудио
Средний рейтинг 4,1 на основе 69 оценок
Текст PDF
Средний рейтинг 4,6 на основе 32 оценок
Аудио
Средний рейтинг 4,8 на основе 5288 оценок
Смотреть все отзывы

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

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