- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Кривий, Сергій Лук'янович - Вступ до методів створення програмних продуктів
Книга
Автор: Кривий, Сергій Лук'янович
Вступ до методів створення програмних продуктів : навч. посіб. для студентів ВНЗ
Издательство: НаУКМА, 2018 г.
ISBN 978-617-7668-00-7
Автор: Кривий, Сергій Лук'янович
Вступ до методів створення програмних продуктів : навч. посіб. для студентів ВНЗ
Издательство: НаУКМА, 2018 г.
ISBN 978-617-7668-00-7
Книга
110-а 9346
Кривий, Сергій Лук'янович.
Вступ до методів створення програмних продуктів : навч. посіб. для студентів ВНЗ / С. Л. Кривий; Нац. ун-т "Києво-Могилянська акад.". – Київ : НаУКМА, 2018. – 449 с.
Бібліогр.: с. 443-445 (53 назви).
ISBN 978-617-7668-00-7.
У підручнику розглядаються основні методи створення алгоритмів і програм. Зокрема, описуються методи «поділяй і владарюй», динамічного програмування, жадібного вибору на основі теорії матроїдів, структурного проектування та програмування і змішаних обчислень. Описуються методи оцінки складності алгоритмів і програм як послідовних, так і паралельних, а також основні абстрактні типи даних та методи їх реалізації. Наводиться велика кількість прикладів. Представлені формальні логічні мови (модальна логіка та динамічна програмна логіка) для виконання верифікації програм та алгоритмів, а також елементи потокового аналізу програм з простими змінними. Навчальний підручник призначений для студентів вищих навчальних закладів та аспірантів, які спеціалізуються за напрямом «Комп’ютерні науки» та «Інженерія програмного забезпечення».
Дисциплины = Природничі науки : Базовый : Програмне забезпечення ЕОМ
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : засоби розробки програмного забезпечення
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : програмування комп'ютерів, комп'ютерні програми
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : посібники для викладання, навчання, практичної підготовки - програмне забезпечення, програмування : підручники та навчальні посібники для університетів, ВНЗ - програмне забезпечення, програмування
виртуальный просмотр - книги сентябрь 2019
1680599 Читальный зал
110-а 9346
Кривий, Сергій Лук'янович.
Вступ до методів створення програмних продуктів : навч. посіб. для студентів ВНЗ / С. Л. Кривий; Нац. ун-т "Києво-Могилянська акад.". – Київ : НаУКМА, 2018. – 449 с.
Бібліогр.: с. 443-445 (53 назви).
ISBN 978-617-7668-00-7.
У підручнику розглядаються основні методи створення алгоритмів і програм. Зокрема, описуються методи «поділяй і владарюй», динамічного програмування, жадібного вибору на основі теорії матроїдів, структурного проектування та програмування і змішаних обчислень. Описуються методи оцінки складності алгоритмів і програм як послідовних, так і паралельних, а також основні абстрактні типи даних та методи їх реалізації. Наводиться велика кількість прикладів. Представлені формальні логічні мови (модальна логіка та динамічна програмна логіка) для виконання верифікації програм та алгоритмів, а також елементи потокового аналізу програм з простими змінними. Навчальний підручник призначений для студентів вищих навчальних закладів та аспірантів, які спеціалізуються за напрямом «Комп’ютерні науки» та «Інженерія програмного забезпечення».
Дисциплины = Природничі науки : Базовый : Програмне забезпечення ЕОМ
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : засоби розробки програмного забезпечення
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : програмування комп'ютерів, комп'ютерні програми
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : посібники для викладання, навчання, практичної підготовки - програмне забезпечення, програмування : підручники та навчальні посібники для університетів, ВНЗ - програмне забезпечення, програмування
виртуальный просмотр - книги сентябрь 2019
1680599 Читальный зал