Основной контент книги Лекции по математической логике и теории алгоритмов
Tekst PDF

Raamatu kestus 139 lehekülge

2013 aasta

0+

Лекции по математической логике и теории алгоритмов

€3,45

Raamatust

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

Logi sisse, et hinnata raamatut ja jätta arvustus
Raamat Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» — laadi alla pdf formaadis või loe veebis. Jäta kommentaare ja arvustusi, hääleta lemmikute poolt.
Vanusepiirang:
0+
Ilmumiskuupäev Litres'is:
26 veebruar 2016
Kirjutamise kuupäev:
2013
Objętość:
139 lk
ISBN:
978-5-8397-0908-9
Üldsuurus:
19 МБ
Lehekülgede koguarv:
139
Õiguste omanik:
БИБКОМ
Allalaadimise formaat:
Tekst PDF
Средний рейтинг 1 на основе 2 оценок
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
Tekst PDF
Средний рейтинг 3,5 на основе 4 оценок
Tekst PDF
Средний рейтинг 5 на основе 1 оценок
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
Tekst PDF
Средний рейтинг 5 на основе 1 оценок