Re: цензії
- 25.03.2026|Анастасія БорисюкЧи краще озирнутися й не мовчати?
- 19.03.2026|Віктор ПалинськийЧасоплину течія
- 18.03.2026|Валентина Семеняк, письменницяЗізнання у любові… допоки є час
- 18.03.2026|Віктор ВербичВідсвіт «Пекторалі любові» у контексті воєнних реалій
- 17.03.2026|Василь КузанДелікатна загадковість Михайла Вереса
- 13.03.2026|Марія Федорів, письменниця«Цей Великий день»: свято, закодоване у слові
- 11.03.2026|Буквоїд«Коли межа між світами така тремка і непевна...»
- 09.03.2026|Тетяна Торак, м. Івано-Франківськ100 тонн світла
- 07.03.2026|Надія Гаврилюк“А я з грядущих, вочевидь, епох”
- 06.03.2026|Микола Миколайович ГриценкоДефіцит людського спілкування. Проблематика «Відступників» Христини Козловської
Видавничі новинки
- Сащук Світлана. «Дратва тиші»Поезія | Буквоїд
- «Безрозсудна» Лорен Робертс: почуття vs обов’язок та повалені імперіїКниги | Буквоїд
- Ігор Павлюк. «Голод і любов»Поезія | Буквоїд
- Олена Осійчук. «Говори зі мною…»Поезія | Буквоїд
- Світлана Марчук. «Магніт»Поезія | Буквоїд
- Олександр Скрипник. «НКВД/КГБ проти української еміграції. Розсекречені архіви»Історія/Культура | Буквоїд
- Анатолій Амелін, Сергій Гайдайчук, Євгеній Астахов. «Візія України 2035»Книги | Буквоїд
- Дебра Сільверман. «Я не вірю в астрологію. Зоряна мудрість, яка змінює життя»Книги | Буквоїд
- Наомі Вільямс. «Пацієнтка Х, або Жінка з палати №9»Проза | Буквоїд
- Христина Лукащук. «Мова речей»Проза | Буквоїд
Новини
С. Л. Кривий. «Вступ до методів створення програмних продуктів»
У посібнику розглянуті основні методи створення алгоритмів і програм.
Зокрема, описані методи «поділяй і владарюй», динамічного програмування, жадібного вибору на основі теорії матроїдів, структурного проектування та програмування і змішаних обчислень, оцінки складності алгоритмів і програм як послідовних, так і паралельних, а також основні абстрактні типи даних та методи їх реалізації. Наведена велика кількість прикладів. Представлені формальні логічні мови (модальна логіка та динамічна програмна логіка) для виконання верифікації програм та алгоритмів, а також елементи потокового аналізу програм з простими змінними. Навчальний посібник призначений для студентів старших курсів вищих навчальних закладів та аспірантів, які спеціалізуються за напрямом «Комп’ютерні науки».
С. Л. Кривий. Вступ до методів створення програмних продуктів. Видавничий дім «Букрек», 2012, - 424 с.
Коментарі
Останні події
- 19.03.2026|09:06Писати історію разом: проєкт «Вишиваний. Король України» розширює коло авторів
- 18.03.2026|20:31Україна візьме участь у 55-му Брюссельському книжковому ярмарку
- 17.03.2026|10:45У Івано-Франківську відкривається нова “Книгарня “Є”
- 11.03.2026|18:35«Filling in»: Україна заповнює культурні прогалини на Лейпцизькому книжковому ярмарку 2026
- 09.03.2026|08:57Письменник-азовець Павло Дерев’янко презентує в Луцьку культове козацьке фентезі
- 06.03.2026|08:40Оголошено конкурс літературної премії імені Катерини Мандрик-Куйбіди
- 24.02.2026|15:53XХVІІ Всеукраїнський рейтинг «Книжка року ’2025». Остаточні результати
- 22.02.2026|12:341 березня у Києві відбудеться друга письменницька конференція проекту «Своя полиця»
- 18.02.2026|17:24«Крилатий Лев» оголошує прийом матеріалів на визначення лавреатів 2026 року
- 18.02.2026|17:14Оголошується прийом творів на конкурс імені Івана Чендея 2026 року
