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

Hajm 241 sahifa

2012 yil

0+

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

5,0
1 baho
Sotuvda yo'q

Kitob haqida

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

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

Barcha sharhlarni ko'rish

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

Kiring, kitobni baholash va sharh qoldirish uchun
Kitob А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.
Yosh cheklamasi:
0+
Litresda chiqarilgan sana:
12 noyabr 2015
Yozilgan sana:
2012
Hajm:
241 Sahifa
ISBN:
978-5-4439-0013-1
Umumiy o'lcham:
1.7 МБ
Umumiy sahifalar soni :
241
Mualliflik huquqi egasi:
МЦНМО
Yuklab olish formati:
Audio
Средний рейтинг 4,2 на основе 1013 оценок
Matn, audio format mavjud
Средний рейтинг 4,7 на основе 6 оценок
Matn, audio format mavjud
Средний рейтинг 4,7 на основе 975 оценок
Audio
Средний рейтинг 4,8 на основе 5211 оценок
Matn
Средний рейтинг 4,9 на основе 311 оценок
Matn, audio format mavjud
Средний рейтинг 4,5 на основе 51 оценок
Audio
Средний рейтинг 4,6 на основе 133 оценок
Audio
Средний рейтинг 4,6 на основе 134 оценок
Matn, audio format mavjud
Средний рейтинг 4,9 на основе 172 оценок
Audio
Средний рейтинг 4,7 на основе 3018 оценок
Matn PDF
Средний рейтинг 4 на основе 4 оценок