Лекции по математической логике и теории алгоритмов (Юрий Белов) ; БИБКОМ, 2013

256 р.

Автор(ы): Юрий Белов;
Издатель: Бибком
ISBN: 978-5-8397-0908-9
все характеристики
ID: SKU419458
Добавлено: 23.08.2021

Рейтинг:

(0/5)

Отзывы (0) Написать отзыв

Цены (1)Описание О книге Отзывы (0)

Цены

Цена от 256 р. до 256 р. в 1 магазинах

Магазин	Цена	Наличие
ЛитРес 5/5 ООО"Литрес" ИНН: 7719571260	256 р. 320 р. электронная книга \| скачать фрагмент история цены
Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571
Читай-город 5/5 ООО "Новый Книжный Центр" ИНН: 7710422909
МАЙШОП 5/5 ООО "МАГАЗИН КНИГ" ИНН: 9725076959	Один из первых книжных интернет-магазинов, работающий с 2002 года

Как купить или где мы находимся +

Описание

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

Смотри также Характеристики.

Яндекс.Маркет

О книге


Автор(ы)	Юрий Белов
Издатель	БИБКОМ
Год издания	2013
Форматы электронной версии	PDF
ISBN	978-5-8397-0908-9