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

Светлана Янишевская

Відбір

Чудова книга, читаю вже другий раз! Не відірватися!

Деметра Санкер

Кот Василий

Книга больше подходит для раздела Эротика. История не понравилась, как и персонажи. Роман на любителя.

LaraI63

Стандартная история для этого жанра, сплошные штампы. Главные герои, как обычно - брутальные мужчины с кавказскими именами и внешностью, героини - нежные фиалки с робкими попытками проявить характер. В

LaraI63

Буканьер

В наше время очень редко встречаются грамотные авторы, вдобавок пишущие хорошим литературным языком. Книга зацепила с первой страницы, жаль, что пока серия не дописана - люблю читать полные циклы.

LaraI63

Корсар

Неплохая трилогия. Написано интересно, грамотно, читается легко. Очень жду продолжения, судя по финалу - оно должно быть.

Светлана Янишевская

Измена. (Не) фригидная жена

Замечательная книга! Очень понравилась!

Светлана Янишевская

Ты слишком похож на него

Интересная история, нелегкая, но с ХЭ!

Математика, ОС и Сети

Автор: Крупский Владимир Николаевич, Плиско Валерий Егорович

Серия: "Бакалавриат"

Язык: русский

Год: 2013

Добавил: Admin 1 Авг 20

Редактировал: Дмитрий Афонин 31 Авг 20

Проверил: Admin 1 Сен 20

Формат: FB2, ePub, TXT, RTF, PDF, HTML, MOBI, JAVA, LRF

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

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

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

Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

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

Комментарий не найдено. Будьте первыми!

Чтобы оставить комментарий или поставить оценку книге Вам нужно зайти на сайт или зарегистрироваться