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

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 \"Математическое обеспечение и администрирование информационных систем\" и специальностям направления \"Информатика и вычислительная техника\" дневной и заочной форм обучения.

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




Об авторе

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

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


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



Фигуры 2+. Вырезалки Фигуры 2+. Вырезалки Терентьева Н.М., Маврина Л.

Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости....

Первые контурные вырезалки 2+ Первые контурные вырезалки 2+ Терентьева Н.М., Маврина Л.

Умение вырезать - важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет....

Мои первые вырезалки 2+ Мои первые вырезалки 2+ Терентьева Н.М., Маврина Л.

Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет....

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