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

Volume 241 pages

2012 year

0+

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

5,0
1 rating
Not for sale

About the book

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

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

See all reviews

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

Log in, to rate the book and leave a review
Book А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» — download in pdf or read online. Leave comments and reviews, vote for your favorites.
Age restriction:
0+
Release date on Litres:
12 November 2015
Writing date:
2012
Volume:
241 p.
ISBN:
978-5-4439-0013-1
Total size:
1.7 МБ
Total number of pages:
241
Copyright holder:
МЦНМО
Download format:
Draft, audio format available
Средний рейтинг 4,8 на основе 35 оценок
18+
Text
Средний рейтинг 4,8 на основе 87 оценок
Draft
Средний рейтинг 4,5 на основе 16 оценок
Audio
Средний рейтинг 4,1 на основе 1014 оценок
Audio
Средний рейтинг 4,6 на основе 1058 оценок
Text, audio format available
Средний рейтинг 4,1 на основе 7 оценок
Text, audio format available
Средний рейтинг 4,7 на основе 987 оценок
Draft
Средний рейтинг 4,4 на основе 47 оценок
Audio
Средний рейтинг 4,8 на основе 5212 оценок
Draft
Средний рейтинг 4,7 на основе 75 оценок
Text PDF
Средний рейтинг 4 на основе 4 оценок