Книга
110-а 9346

Кривий, Сергій Лук'янович.
Вступ до методів створення програмних продуктів : навч. посіб. для студентів ВНЗ / С. Л. Кривий; Нац. ун-т "Києво-Могилянська акад.". – Київ : НаУКМА, 2018. – 449 с.
Бібліогр.: с. 443-445 (53 назви).
ISBN 978-617-7668-00-7.

У підручнику розглядаються основні методи створення алгоритмів і програм. Зокрема, описуються методи «поділяй і владарюй», динамічного програмування, жадібного вибору на основі теорії матроїдів, структурного проектування та програмування і змішаних обчислень. Описуються методи оцінки складності алгоритмів і програм як послідовних, так і паралельних, а також основні абстрактні типи даних та методи їх реалізації. Наводиться велика кількість прикладів. Представлені формальні логічні мови (модальна логіка та динамічна програмна логіка) для виконання верифікації програм та алгоритмів, а також елементи потокового аналізу програм з простими змінними. Навчальний підручник призначений для студентів вищих навчальних закладів та аспірантів, які спеціалізуються за напрямом «Комп’ютерні науки» та «Інженерія програмного забезпечення».



Дисциплины = Природничі науки : Базовый : Програмне забезпечення ЕОМ
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : засоби розробки програмного забезпечення
виртуальный просмотр - книги сентябрь 2019
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : посібники для викладання, навчання, практичної підготовки - програмне забезпечення, програмування : підручники та навчальні посібники для університетів, ВНЗ - програмне забезпечення, програмування
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : програмування комп'ютерів, комп'ютерні програми

1680599 Читальный зал