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

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

Книга ISBN13 9785971026297 - Математическая логика и теория алгоритмов (Гуц А.К.) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

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

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

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

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

Название: Математическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются...
Авторы: Гуц А.К.
Издательство: URSS
Год: 2016
Местонахождение: My-shop.ru
ISBN: 978-5-9710-2629-7
Название: Математическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга---Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Авторы: Гуц А.К.
Издательство:
Год: 2016
Местонахождение: OZON.ru
ISBN: 978-5-9710-2629-7


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


Новости

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

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