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

Objętość 241 strona

2012 rok

0+

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

Niedostępne w sprzedaży

O książce

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

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

Zobacz wszystkie opinie

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

Zaloguj się, aby ocenić książkę i dodać recenzję
Książka А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» — pobierz w formacie pdf lub czytaj online. Zostaw komentarze i recenzje, głosuj na ulubione.
Ograniczenie wiekowe:
0+
Data wydania na Litres:
12 listopada 2015
Data napisania:
2012
Objętość:
241 str.
ISBN:
978-5-4439-0013-1
Całkowity rozmiar:
1.7 МБ
Całkowita liczba stron:
241
Właściciel praw:
МЦНМО
Format pobierania:
Tekst, format audio dostępny
Średnia ocena 4,7 na podstawie 302 ocen
Audio
Średnia ocena 4,2 na podstawie 743 ocen
Tekst, format audio dostępny
Średnia ocena 4,8 na podstawie 91 ocen
Tekst, format audio dostępny
Średnia ocena 4,4 na podstawie 49 ocen
Tekst, format audio dostępny
Średnia ocena 4,8 na podstawie 17 ocen
Audio
Średnia ocena 4,7 na podstawie 28 ocen
Audio
Średnia ocena 4,8 na podstawie 80 ocen