Информация о книге

978-5-4060-0120-2, 978-5-406-02434-8, 978-5-406-04041-6

Главная  » Тематика определяется » Математическая логика и теория алгоритмов для программистов: учебное пособие

Гринченков Д.В., Потоцкий С.И., Математическая логика и теория алгоритмов для программистов: учебное пособие


серия: Бакалавриат
Кнорус, 2014 г., 978-5-4060-0120-2, 978-5-406-02434-8, 978-5-406-04041-6


Описание книги

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

Поделиться ссылкой на книгу




Об авторе

Гринченков Д.В.

Потоцкий С.И.


Последние поступления в рубрике "Тематика определяется"



Математика. Подготовка к ЕГЭ. Задачи с параметрами.10-11 классы 

В предлагаемом пособии представлен обширный материал, посвященный двум заключительным и сложным темам ЕГЭ профильного уровня: задачам с параметрами и числам и их свойствам. На многочисленных примерах с подробными решениями и обоснованиями (как и требуется на экзамене) показаны различные методы и решения задач....

План счетов бухгалтерского учета с последними изменениями 

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

На ферме. Книжка с наклейками 

Игры с наклейками - занятие не только интересное, но и полезное. С этой книгой малыш познакомится с различными видами транспорта, потренируется решать простые логические задачки и находить соответствия....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Гринченков Д.В., Потоцкий С.И., Математическая логика и теория алгоритмов для программистов: учебное пособие в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.