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

Maht 241 lehekülge

2012 aasta

0+

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

5,0
1 hinnang
Pole müügil

Raamatust

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

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

Vaata kõiki ülevaateid

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

Logi sisse, et hinnata raamatut ja jätta arvustus
Raamat А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» — laadi alla pdf formaadis või loe veebis. Jäta kommentaare ja arvustusi, hääleta lemmikute poolt.
Vanusepiirang:
0+
Ilmumiskuupäev Litres'is:
12 november 2015
Kirjutamise kuupäev:
2012
Objętość:
241 lk
ISBN:
978-5-4439-0013-1
Üldsuurus:
1.7 МБ
Lehekülgede koguarv:
241
Õiguste omanik:
МЦНМО
Allalaadimise formaat:
Mustand, helivorming on saadaval
Средний рейтинг 4,8 на основе 36 оценок
Mustand
Средний рейтинг 4,2 на основе 36 оценок
18+
Tekst
Средний рейтинг 5 на основе 21 оценок
Mustand
Средний рейтинг 4,8 на основе 8 оценок
Audio
Средний рейтинг 4,2 на основе 1012 оценок
Mustand
Средний рейтинг 4,9 на основе 204 оценок
Tekst, helivorming on saadaval
Средний рейтинг 4,7 на основе 969 оценок
Mustand, helivorming on saadaval
Средний рейтинг 4,9 на основе 16 оценок
Audio
Средний рейтинг 4,6 на основе 1058 оценок
Tekst, helivorming on saadaval
Средний рейтинг 4,5 на основе 49 оценок
Tekst PDF
Средний рейтинг 4 на основе 4 оценок