Математическая логика и теория алгоритмов

Код: 339890

Краткое описание

Язык: 
Вес: 480 г
ISBN: 
9785769595592

Издательство: ДРОФА
Автор: В. Н. Крупский, В. Е. Плиско
Серия: Высшее образование
Страниц: 416
Переплет: 60x90/16
Год издания: 2013
Язык: Русский
Вес: 480
ISBN: 978-5-7695-9559-2

1 657 руб.
Под заказ

Информация о доставке

  • Доставим товар по всей России
  • Более 20 способов доставки
  • По МСК и СПб более 100 ПВЗ
Подробная информация 

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки Информатика и вычислительная техника, Информационные системы, Фундаментальная информатика и информационные технологии (квалификация бакалавр). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального...

По серии

Подборка книг по серии

Рекомендуемые книги

Подборка рекомендуемых книг для Вас.

Математика и вычисления