А 65 Андреева, Т. А. Программирование на языке Pascal [Текст] : учебное пособие / Т. А. Андреева. - Москва : Интернет-Университет Информационных Технологий, 2006. - 234 с. - (Основы информационных технологий). - ISBN 5-9556-0025-6 : 61.20 грн.
Рубрики: Інформаційні технології--Мови програмування--Навчальні видання для вищих навчальних закладів Кл.слова (ненормовані): алгоритми -- мова Pascal -- масиви, цикли -- бінарні файли -- технологія програмування Анотація: Курс знакомит с основами технологии разработки программ,методами программирования,с началами теории графов.Изложенные материалы сопровождается большим количеством примеров - программ на языке Pascal. Примірників всього: 1 Вул. Левка Лук'яненка, 13-Б Читальний зал, Левка Лук'яненка, 13-Б. Філія 1 (1) Вільні: Левка Лук'яненка, 13-Б. Філія 1 (1) |
D29 Declarative Logic Programming: Theory, Systems, and Applications / Association for Computing Machinery ; editor: M. Kifer, Y. A. Liu. - New York : ACM Books, 2018. - 595 p. - ISBN 978-1-970001-99-0 : Б. ц. Переклад назви: Декларативне логічне програмування: теорія, системи та програми
Рубрики: Інформаційні технології--Мови програмування Логічне програмування Кл.слова (ненормовані): математична логіка -- бази даних -- мови програмування Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити. Дод.точки доступу: Kifer, Michael \editor.\ Liu, Yanhong Annie \editor.\ Association for Computing Machinery Примірників всього: 1 Сервер (1) Вільні: Сервер (1) |