Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785769595592

Книга ISBN13 9785769595592 - Математическая логика и теория алгоритмов : учеб. пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычисл. техника", "Информ. системы" (Крупский, Владимир Николаевич, Плиско, Валерий Егорович) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Математическая логика и теория алгоритмов
Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальные информатика и информационные технологии»...
Авторы: Крупский В.Н.
Издательство: Академия (Academia)
Год: 2013
Местонахождение: My-shop.ru
ISBN: 978-5-7695-9559-2
Название: Математическая логика и теория алгоритмов
Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального...
Авторы: В. Н. Крупский, В. Е. Плиско
Издательство: ДРОФА
Год: 2013
Местонахождение: OZON.ru
ISBN: 978-5-7695-9559-2

Где читать эту книгу?

Российские библиотеки и не только

Название: Математическая логика и теория алгоритмов : учеб. пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычисл. техника", "Информ. системы"
Авторы: Крупский, Владимир Николаевич, Плиско, Валерий Егорович
Издательство: М.: Академия
Год: 2013
Местонахождение: Алтайская краевая универсальная научная библиотека им. В. Я. Шишкова
ISBN: 978-5-7695-9559-2


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.