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

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

Книга ISBN13 9785406001202 - Математическая логика и теория алгоритмов для программистов : учебное пособие (Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

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

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

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

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

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

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

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

Название: Математическая логика и теория алгоритмов для программистов : учеб. пособие
Авторы: Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович
Издательство: Москва: КНОРУС
Год: 2010
Местонахождение: Зональная научная библиотека имени В. А. Артисевич (Саратовский Государственный Университет)
ISBN: 978-5-406-00120-2
Название: Математическая логика и теория алгоритмов для программистов : учеб. пособие
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Авторы: Гринченков Д. В., Потоцкий С. И.
Издательство: М.: Кнорус
Год: 2010
Местонахождение: Научно-техническая библиотека Саратовского Государственного Технического Университета им. Ю.А.Гагарина
ISBN: 978-5-406-00120-2
Название: Математическая логика и теория алгоритмов для программистов : учебное пособие
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем"и специальностям направления "Информатика и вычислительная техника"дневной и заочной форм обучения.
Авторы: Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович
Издательство: Москва: КноРус
Год: 2010
Местонахождение: Национальная библиотека Республики Бурятия
ISBN: 978-5-406-00120-2


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


Новости

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

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