Висвітлюються основні підходи і засоби програмування в Пролозі (мова логічного програмування) з використанням різноманітних структур даних у програмуванні та їх застосування при побудові ефективних алгоритмів. Наведена загальна характеристика логічного програмування і математичної основи логічних мов програмування. Особлива увага приділяється питанням побудов виведення. Описуються базові структури мови, методи їх використання, аналіз роботи зі змінними, розглядається спосіб їх співставлення, а також наведено контрольні задачі. Аналізуються базові структури програми і процес бектрекінгу, основні підходи до побудови керування, методи зміни стандартного процесу виконання програми за рахунок використання предикатів cut, fail, not. Дається характеристика основ побудови складних структур даних і їх застосування (продукційні системи, семантичні мережі, фрейми). Викладені основні підходи до реалізації ітераційних дій, рекурсії, моделювання циклів тощо.

Изложены основы алгоритмизации и программирования на языке C++. Рассмотрены основные этапы решения задач на ЭВМ, основные алгоритмические структуры (выбора, повторения, последовательная структура и др.), наиболее употребительные алгоритмы (поиска, сортировки, рекурсивные алгоритмы) и методы конструирования программ. Освещаются основы алгоритмического языка C++ - инструмента профессионального программирования: указатели и массивы, строки и структуры, функции, разновидности ввода и вывода, операции и операторы, классы, директивы препроцессора и др.

Вивчається мова програмування Бейсик в інтегрованому середовищі Microsoft QBasic. Описуються принципи роботи з текстовим редактором, системою налагодження й виконання програм та інформаційно-довідковою системою середовища. Розглядаються синтакис і семантика сучасної версії мови Бейсик, яка дає змогу складати програми розв'язування різноманітних задач з дотриманням правил структурного програмування і не має недоліків ранніх версій мови. Матеріал супроводжується ілюстраціями режимів функціонування середовища, зразками та прикладами програм і результатами їх виконання. Наводиться добірка задач, яка може слугувати основою для формування завдань для практичних і лабораторних занять. Для користувачів середовищами Turbo та Power Basic даються описи як середовищ, так і можливостей мови.

Розглядаються основні поняття, що пов'язані з використанням і програмуванням засобів мікропроцесорної техніки, основні принципи формування мовних конструкцій, операторів і програм на мові програмування Асемблер. Містяться конкретні приклади використання асемблерних команд. Висвітлюються особливості архітектури та системи команд процесора INTEL, детально характеризуються екранні операції.

Викладені основні положення мови програмування Turbo Pascal 7.0, що використовується для створення програмного забезпечення при комп'ютерному моделюванні процесів конструювання електронних та оптоелектронних систем. Наведені основні відомості про підпрограми - процедури та функції, розглянуто приклади, які допомагають оволодіти практичними прийомами при складанні програм. Докладно описані найпростіші та найбільш поширені типи даних. На їх основі розглянуті інші більш складні та спеціалізовані типи даних - перелічувані, обмежені, множинні, регулярні, комбіновані та файлові, які значно поширюють діапазон використання мови.

Изложен подход к интеллектуализированному созданию специализированных технологий программирования (СТП). Рассмотрены базовые концепции метода конструирования СТП из технологических объектов, представленных в базе знаний. Описан типовой метатехнологический процесс конструирования СТП.

Рассматриваются темы программирования среднего и высокого уровня сложности в Delphy 4, включая следующие вопросы: СОМ и распределенные вычисления (интерфейсы и основы СОМ, создание серверов и клиентов автоматизации, автоматизация Word и Exel; DCOM, MIDAS, ActiveForms, MTS, CORBA); программирование баз данных (двумерных, реляционных, программирование в InterBase); общие вопросы программирования; программирование графики и DirectX (графические классы VCL, DirectDraw, дополнительные технологии DirectX). Рассказывается о проектировании приложений, о правильном применении объектно-ориентированных технологий.

Описаны события, исключения, классы С++, модель и библиотека визуальных компонентов, основы объектно-ориентированного программирования (наследование, инкапсуляция и полиморфизм), способы создания и пакеты. Значительное внимание уделяется базам данных (двумерным, реляционным и многоуровневым), а также усовершенствованным концепциям InterBase. Представлены ответы на вопросы, связанные с использованием в приложениях возможностей Internet, DCOM, OLEnterprise, ActiveX и DirectX. Связь с файлами Delphi и библиотеками сторонних разработчиков расширяет возможности разработки приложений.

Індекс рубрикатора НБУВ: З973-018.210

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

Розглянуто проблему спеціалізації універсальної системи комп'ютерної алгебри. Викладено загальну структуру та вхідну мову засобів проблемної орієнтації універсальної системи АНАЛІТИК-93.

Індекс рубрикатора НБУВ: З973-018.2 Fancy for Windows

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Рассматривается искусство программирования в среде Visual C++ 6 с использованием как Windows API, так и библиотеки Microsoft Foundation Classes (MFC). Освещается построение Windows-приложений с применением последних инструментальных средств и компонент Microsoft, искусство использования элементов управления, программирование графики и мультимедиа. Анализируется работа с мощными и многофункциональными интерфейсами Windows API, применение технологий ODBS (Open Database Connectivity - открытое соединение с базами данных) для построения приложений баз данных. Представлена разработка высокоэффективных приложений с использованием программных компонент, а также разработка приложений баз данных, основанных на элементах управления ActiveX. Описывается построение интерактивных программ рисования, создание документов со множеством связанных представлений и др.

Розглянуто основні типи даних та операції С++ (унарні, бінарні), оператори вибору і циклу мови С++, а також класи пам'яті, адреси і вказівники, їх типи та операції над ними. Особливу увагу приділено шаблонам функцій, структурам та об'єднанням різнотипних даних, класам як розширенню поняття структури, компонентним даним та функціям. Наведено відомості про бібліотеку потокового вводу-виводу, форматування даних під час обміну з потоками, рядкові потоки та обміни в основній пам'яті, роботу з файлами.

Індекс рубрикатора НБУВ: З965-018.1 + З973-018.2

Рубрики:

Автоматика

Комп'ютери та програмування

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Розглянуто формалізовані засоби побудови автоматизованих систем синтезу інтерактивних програм. Основою дослідження є апарат алгебр та мета-алгебр. Розроблено дворівневу алгебраїчну систему, що є математичним фундаментом побудов автоматизованих систем, в основі якої лежать запропоновані автором мета-алгебри та відповідні їм алгебри конструювання як алгоритмів програм, так і діалогових взаємодій користувача з програмою. Визначено критерії функціональної повноти систем елементів у мета-алгебрах, що дозволяє породжувати алгоритмічні алгебри з різноманітними властивостями операцій у їх сигнатурах. Розглянуто можливості та розроблено концепцію побудови природно-мовних інтерфейсів. На проведених теоретичних дослідженнях розроблено систему автоматизованого синтезу інтерактивних мультимедійних програм "Fancy for Windows".

Визначено головні конструкції мови С++, а також вивчено прийоми програмування даною мовою. Детально проаналізовано особливості передачі параметрів різних типів під час визначення функцій. Значну увагу приділено засобам препроцесорної роботи, роботі з пристроями та каталогами тощо.

Вміщено інформацію, яка знайомить з середовищем Turbo Pascal. Висвітлено алфавіт мови, ідентифікатори та структуру Pascal-програми. Детально викладено теоретичні відомості з опису типів даних, міток, констант, змінних, наведено багато прикладів реалізації окремих операторів (простих та структурних), процедур та функцій, складних типів даних мови Pascal, а також розглянуто модуль GRAPH.

Представлен классический вузовский набор алгоритмов вычислительной математики, ориентированных на программную реализацию средствами языка C++. Рассмотрены специальные классы математических объектов (комплексные числа, векторы, полиномы) и операции над ними, матрицы и задачи линейной алгебры, аналитическое приближение функций, заданных таблично, численное интегрирование и дифференцирование табличных функций, введение в численные методы решения дифференциальных и нелинейных уравнений, поиска экстремумов функций.

Изложены основы программирования на языке С++. Приведены конструкции языка, их использование при составлении программ различных вычислительных процессов. В подборе примеров и составлении программ особое внимание уделено вопросам программирования алгоритмов, в которых преобладают математические вычисления.

Рассмотрен широкий круг вопросов, начиная с основ языка и особенностей конструирования визуального интерфейса, заканчивая отладкой, упаковкой приложений и подготовкой их к распространению среди конечных пользователей. Особое внимание уделено современным технологиям DDO (Динамического обмена данными), OLE-автоматизации, компонентам ActiveX и пр. Проанализированы аспекты создания собственных элементов управления ActiveX. На реальных, "живых", примерах, которые приведены в исходном коде на сопровождающем CD-ROM, рассмотрены возможности новых компонентов и технологий, предназначенных для программирования баз данных (ADO, ODBC, DAO, RDO), для работы в Internet (Internet Transfer Control и WebBrowser), для программирования систем клиент-сервер, для разработки мультимедийных приложений и др. Значительное внимание уделено вопросам использования системных библиотек Windows (интерфейсов API и MDI).