Математическая логика и теория алгоритмов, В. Н. Крупский, В. Е. Плиско
Математическая логика и теория алгоритмов, В. Н. Крупский, В. Е. Плиско - рейтинг книги по отзывам читателей, краткое содержание
О книге
- 2013 Год первого издания книги
Краткое содержание
Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального...
Купить книгу в книжных интернет-магазинах
Другие учебные книги
Авторы: | А. М. Попов, В. Н. Сотников |
Жанры: | Учебная литература |
Категория: | Высшая математика |
Авторы: | Б. С. Горобец |
Жанры: | Учебная литература |
Категория: | Высшая математика |
Авторы: | А. К. Боярчук, Г. П. Головач |
Жанры: | Учебная литература |
Категория: | Высшая математика |
Авторы: | Б. А. Горлач |
Жанры: | Учебная литература |
Категория: | Высшая математика |
Авторы: | В. Н. Осташков |
Жанры: | Учебная литература |
Категория: | Высшая математика |
Забавное видео
В 2 года родители подарили малышу баскетбольное кольцо и мяч, посмотрите, что умеет этот малыш сейчас!
Кредиты онлайн на карту за 15 минут
от 0,01%
ставка
до 180 дней
макс срок
до 20 000 грн.
макс сумма