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

Umfang 241 Seiten

2012 Jahr

0+

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

5,0
1 bewertung
Nicht zum Verkauf

Über das Buch

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

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

Genres und Tags

Text
Средний рейтинг 4,9 на основе 323 оценок
Audio
Средний рейтинг 4,1 на основе 1073 оценок
Text
Средний рейтинг 4,9 на основе 1494 оценок
Audio
Средний рейтинг 4,7 на основе 370 оценок
Entwurf
Средний рейтинг 4,5 на основе 55 оценок
Text
Средний рейтинг 5 на основе 38 оценок
Text, audioformat verfügbar
Средний рейтинг 4,2 на основе 128 оценок
Audio
Средний рейтинг 4,6 на основе 1102 оценок
Audio
Средний рейтинг 4,1 на основе 66 оценок
Entwurf, audioformat verfügbar
Средний рейтинг 4,8 на основе 320 оценок
Alle Bewertungen anzeigen

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

Einloggen, um das Buch zu bewerten und eine Bewertung zu hinterlassen
Buch А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» — als pdf herunterladen oder online lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
Altersbeschränkung:
0+
Veröffentlichungsdatum auf Litres:
12 November 2015
Schreibdatum:
2012
Umfang:
241 S.
ISBN:
978-5-4439-0013-1
Gesamtgröße:
1.7 МБ
Gesamtanzahl der Seiten:
241
Rechteinhaber:
МЦНМО
Download-Format:
Text PDF
Средний рейтинг 4 на основе 4 оценок