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

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

E-Book (pdf)

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

  • автор (соавторы):

    Юрий Белов, Валерий Соколов

  • правообладатель

    БИБКОМ

  • название оригинала:

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

  • выход в свет:

    01.01.2013

  • ISBN:

    978-5-8397-0908-9

  • EAN:

    9785839709089

6,70  вкл. НДС 7,0 %
  • автор (соавторы):

    Юрий Белов, Валерий Соколов

  • правообладатель

    БИБКОМ

  • название оригинала:

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

  • выход в свет:

    01.01.2013

  • ISBN:

    978-5-8397-0908-9

  • EAN:

    9785839709089

Печатные книги (Printed Book) закупаются под заказ в Москве и доставляются в Германию через третьи страны автотранспортом. Сейчас это требует от 4 до 6 недель. Электронные издания (E-Book, Audio) выгружаются в личный кабинет сразу после оплаты. Перед оформлением заказа рекомендуем убедиться, что у вас есть личный кабинет.

Вас также могут заинтересовать
Сервисная информация
[mc4wp_form id="2438"]