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

4.75 из 5, отдано 8 голосов

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

Категория: учебники и пособия для вузов

ISBN: 978-5-8397-0908-9

Правообладатель: БИБКОМ

Год: 2013

Легальная стоимость: 320.00 руб.

Ограничение по возрасту: 0+

Читать книгу «Лекции по математической логике и теории алгоритмов» онлайн:

Комментарии ():