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

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

Книга ISBN13 9785406040416 - Математическая логика и теория алгоритмов для программистов (Дмитрий Гринченков) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

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

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

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

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

Название: Математическая логика и теория алгоритмов для программистов. Учебное пособие
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические...
Авторы: Гринченков Д.В.
Издательство: КноРус
Год: 2017
Местонахождение: My-shop.ru
ISBN: 978-5-406-04041-6
Название: Математическая логика и теория алгоритмов для программистов: учебное пособие
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Авторы: Потоцкий Сергей Иванович
Издательство: Кнорус
Год: 2014
Местонахождение: Лабиринт
ISBN: 978-5-406-04041-6
Название: Математическая логика и теория алгоритмов для программистов
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям «Программное обеспечение вычислительной техники и автоматизированных систем», «Математическое обеспечение и администрирование информационных систем» и специальностям направления «Информатика и вычислительная техника» дневной и заочной форм обучения.
Авторы: Дмитрий Гринченков
Издательство: КноРус
Год: 0
Местонахождение: LitRes.ru
ISBN: 978-5-406-04041-6


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


Новости

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

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