Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.

Цели и задачи создания базы данных, ее концептуальная модель. Особенности создания таблиц, их структура. Объекты, входящие в базу данных: запросы, хранимые процедуры, триггеры и др. Построение автоматизированной системы контроля произведенных работ.

Исследование технологии ADSL, программного обеспечения, с помощью которого можно увидеть состояние интернета и телевидения абонента. Анализ активации сервисов в ручном режиме для системы управления оконечным оборудованием по протоколу TR-069 - Axiros ACS.

Теоретические предпосылки активизации самостоятельной учебно-познавательной деятельности учащихся средствами ИКТ. Психолого-педагогические аспекты и методические рекомендации активизации самостоятельной учебно-познавательной деятельности учащихся.

Моделювання як спосіб дослідження об'єктів пізнання. Побудова зразків реально існуючих предметів. Види дослідження явища в керованих умовах. Відмінність від спостереження, методи обробки, перевірки даних. Мета математичної обробки висновків досліду.

Microsoft SQL Server 6.0 - особенности технологии и архитектура клиент – сервер, активное администрирование и объектный интерфейс. Системные устройства и базы данных model, msdb, tempdb, pubs. Системные таблицы и хранимые процедуры, средства и утилиты.

Характеристика инструмента Microsoft SQL Server 6.0. Активное администрирование и объектный интерфейс SQL Server 6.0. Разработка реляционной системы управления базами данных. Три типа специальных пользователей, контролирующих и управляющих SQL Server.

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

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

Дослідження головних особливостей забезпечення організації бухгалтерського обліку і облікової політики. Аналіз механізму формування бази даних релевантної інформації в якості цінного ресурсу для бізнес-процесів внутрішнього та зовнішнього характерів.

Визначення принципів роботи інформаційної інфраструктури, референсних архітектур на базі IT4IТ. Аналіз побудови інформаційної інфраструктури на основі хмарних технологій для створення єдиної інформаційної системи управління ресурсами Збройних Сил України.

Підвищення ефективності інноваційної діяльності в Україні. Визначення рівня інформаційного та інфраструктурного забезпечення сталого розвитку національної економіки. Формування механізмів збереження та верифікація даних у науково-технічної діяльності.

Комплексний аналіз діяльності рекреаційного комплексу Автономної Республіки Крим, на підставі якого визначено головні проблеми функціонування агенцій у Криму. Необхідність впровадження і розвитку комп’ютерних технологій у роботі туристичних агенцій.

Оцінка якості програмного коду при реалізації проектів зі створення інформаційних систем. Класифікація метрик програмного коду. Проведення аналогії між внутрішньою будовою проекту і зовнішнім виглядом міста. Приклад візуалізації проекту у CodeCity.

Дослідження стильових рішень дизайну сторінок десктопних версій веб-сайтів інтернет-магазинів різних типів, виокремлення найбільш поширених з них та розробка їх розгорнутої характеристики. Перелік і аналіз особливостей кожного стильового рішення.

Способность нейронных сетей обучаться на основе опыта и самостоятельно улучшать свои результаты. Области их применения (медицина, финансы, технологии, наука и многие другие). Модель дальнейшего развития доступности нейросетей в современном обществе.

Функции Федерального казначейства, деятельность его и его территориальных органов как оператора информационных систем. Совершенствование механизмов обмена информацией, расширение возможностей для "казначейских клиентов" без территориальной принадлежности.

Особенности применения технологий криптографии в процессе защиты конфиденциальной информации. Исследование алгоритма, основанного на концепции блочного шифрования, его компоненты и этапы реализации, а также анализ и оценка практической эффективности.

Обоснование актуальности использования технологии чат-ботов в работе социальных сетей. Оптимизация затрат владельцев веб-сайтов и цифровых сервисов. Обеспечение комфортного обслуживания клиентов. Автоматизация коммуникации пользователей в мессенджерах.

Применение томограммы как изображения среза, полученного посредством компьютерной томографии для постановки точного диагноза. Виды разрешающей способности: пространственная и по перепаду плотности. Алгоритмы решения задачи реконструкции изображения.

Снижение зависимости малого бизнеса от обслуживающих сервис-организаций и состояния информационной инфраструктуры. Появление решений автоматизации малого бизнеса. Использование облачных технологий хранения данных. Программное обеспечение ERP-систем.

Наличие интегрированной информационной системы сбора и анализа информации о качестве продукции. Особенность полного перехода на безбумажную электронную технологию проектирования. Основные проблемы разработки программного обеспечения в области CALS.

Разработка инновационных методов противодействия преступным действиям в информационной сфере. Применение организационных мероприятий, препятствующих несанкционированному проникновению или доступу неуполномоченных физических лиц к защищаемому объекту.

Автоматизированные системы обработки данных. Исходные, промежуточные и выходные данные. Элементарные данные, элементы данных. Двоичное и двоично-десятичное представления чисел. Способы представления булевых величин в виде тех или иных физических сигналов.

Виды автоматизированных систем обработки данных. Смысл двоичного и двоично-десятичного представления чисел, упакованного кода и модели в математике. Место в машинной информатике алгебры Буля, способы представления булевых величин и схема процессора.

Задачи алгебры логики как математического аппарата, ее связь с двоичным кодированием и основные законы. Особенности логических высказываний и формул. Порядок записи данных и команд в памяти компьютера и регистрах процессора. Сущность триггера и сумматора.

Методы математического моделирования процессов проектирования информационных систем. Конструкции функциональных комплексов данных и абстрактных алгебраических машин, которые обеспечивают языковое единство и оптимизацию на всех этапах разработки.

Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.

Алгебро-логічні методи опису арифметичних операцій віднімання і ділення m-розрядних двоїчних кодів, їх реалізація у вигляді розрахунково–довідкової програми і використання для математичних обчислювань різної складності, наприклад, у ВАТ "Укргіпроелектро".

Алгол - язык программирования высокого уровня. Предназначение, основные версии и недостатки. Язык описаний, язык публикаций и язык аппаратного уровня - уровни языка Алгол. Модифицированная версия Алгол-68, его особенности и отличия от предыдущих.