Математическая логика и теория алгоритмов, В. Н. Крупский, В. Е. Плиско

Математическая логика и теория алгоритмов, В. Н. Крупский, В. Е. Плиско - рейтинг книги по отзывам читателей, краткое содержание

Автор:

В. Н. Крупский, В. Е. Плиско

Категория:

Высшая математика

Жанр:

Учебная литература

О книге

  • 2013 Год первого издания книги

Краткое содержание

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

Купить книгу в книжных интернет-магазинах



Другие учебные книги

Забавное видео

В 2 года родители подарили малышу баскетбольное кольцо и мяч, посмотрите, что умеет этот малыш сейчас!


Нужны деньги до зарплаты?

более 30 сервисов

Кредиты онлайн на карту за 15 минут

от 0,01%

ставка

до 180 дней

макс срок

до 20 000 грн.

макс сумма