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

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

Понятие стиля программирования. Базовые концепции языков программирования и их сочетания. Использование операторов goto либо объектов, обменивающихся информацией через общее поле памяти. Функциональный и объектно-ориентированный стиль программирования.

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

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

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

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

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

Обзор адаптивных систем управления и проблем их разработки. Экспериментальное сравнение работы логического анимата с системами адаптивного поведения, основанными на обучении с подкреплением. Характеристика проблем формирования новых типов поведения.

Формализация информационной системы автотранспорта и описание ее логической модели, которая является обобщением математической модели. Организация учета работы автотранспортных предприятий. Характеристика основных процедур отображения данных ИСУРА.

Виды форматирования – создания физической и логической структуры диска. Информационная емкость гибких дисков. Логическая структура гибких и жестких дисков. Размещение каталога - базы данных и таблицы FAT на гибком диске. Процесс дефрагментации диска.

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

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

Логический вентиль – своего рода атом, из которого состоят электронные узлы ЭВМ. Принцип работы вентильных и логических схем. Характеристика логических функций отрицания, инверсии, дизъюнкции и конъюнкции. Примеры использования логических функций.

Современные компьютерные интегрированные системы. Экономическая информационная система. Создание модели данных с помощью AllFusion Erwin Data Modeler 4.1. Информационная модель в нотации IDEF1X. Использование информационных технологий для управления.

Команды управления И, ИЛИ, НЕ, их функции, назначение, реализация и применение. Система команд микропроцессора, средства логического преобразования данных. Логические команды, операции и данные. Основные Булевы операторы. Оператор логического И, ИЛИ.

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

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

Использование математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ при алгоритмизации решения задач. Характеристика пакетов прикладных программ. Основные тенденции в области развития проблемно-ориентированных программных средств.

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

Составление логической функции по таблице истинности. Построение логической схемы в элементом базисе "И-НЕ", "ИЛИ-НЕ", предварительно сделав соответствующее преобразование логической функции. Приведен способ минимизирования исходной логической функции.

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

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

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

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

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

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

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

Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.

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