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

Maht 241 lehekülge

2012 aasta

0+

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

5,0
1 hinnang
Pole müügil

Raamatust

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

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

Audio
Средний рейтинг 4,1 на основе 1074 оценок
Tekst
Средний рейтинг 4,9 на основе 1498 оценок
Tekst, helivorming on saadaval
Средний рейтинг 4,2 на основе 128 оценок
Audio
Средний рейтинг 4,7 на основе 370 оценок
Audio
Средний рейтинг 4 на основе 67 оценок
Tekst
Средний рейтинг 3,9 на основе 655 оценок
Tekst PDF
Средний рейтинг 4,6 на основе 32 оценок
Mustand
Средний рейтинг 4,8 на основе 320 оценок
Tekst, helivorming on saadaval
Средний рейтинг 4,7 на основе 7209 оценок
Audio
Средний рейтинг 4,5 на основе 158 оценок
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:
Tekst PDF
Средний рейтинг 4 на основе 4 оценок