Вступ до методів творення програмних продуктів

Loading...

Вступ до методів творення програмних продуктів

Видавництво:
Букрек
Рік:
2012
Мова:
Українська
Оціни книгу:
|

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

Оціни книгу:

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

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

books
На жаль, ніхто немає даної книги
Будь першим, та залиш свій відгук про книгу