Алгебра логики высказываний
Логика высказываний и предикатов. Построение таблицы истинности для логической формулы. Обоснование выбора структур данных. Описание алгоритма решения задачи. Описание пользовательского интерфейса. Окно командной строки, для ввода логической формулы.
Подобные документы
Формулировка предметной задачи. Анализ требований к программе. Функциональная модель системы. Выбор языка и программных средств реализации. Описание логической модели базы данных. Концептуальная модель данных информационной системы Интернет-библиотеки.
курсовая работа, добавлен 13.10.2017Проектирование информационной системы. Проект базы данных, проект пользовательского интерфейса системы, проекты реализации основных функций системы. Описание программного проекта: описание модулей (файлов) и подсистем проекта, глобальных данных.
курсовая работа, добавлен 31.10.2015Анализ баз данных и систем управления ими. Проектирование и создание реляционной базы данных в среде MS Access для ресторана "Дельфин": построение информационно логической модели, разработка структур таблиц базы данных и схемы данных, создание Web-узла.
курсовая работа, добавлен 15.11.2010Сущность понятия "алгоритм". Дискретность, детерминированность и сходимость (результативность). Механический, гибкий, стохастический и эвристический алгоритм. Блок-схемное описание алгоритма. Разработка приложений. Код программы на языке Паскаль.
курсовая работа, добавлен 21.01.2015Разработка пользовательской документации для работы с виртуальной библиотекой, описание основных принципов. Требования к составу и параметрам технических средств. Информационное обеспечение задачи. Построение прототипа пользовательского интерфейса.
курсовая работа, добавлен 02.06.2014Транспортная задача как одна из самых распространенных специальных задач линейного программирования: понятие, основное назначение. Формальное описание метода минимального элемента. Характеристика этапов разработки алгоритма решения поставленной задачи.
курсовая работа, добавлен 19.10.2012Описание особенностей функционирования магазина. Проектирование системы: инфологическое моделирование и построение диаграммы потоков данных. Моделирование и программная реализация информационной системы. Проектирование пользовательского интерфейса.
курсовая работа, добавлен 18.02.2013Правила начисления очков футбольным командам во внутренних национальных чемпионатах, групповых этапах клубных турниров. Описание СУБД DB2, методы организации, контроля и администрирования баз данных. Инструменты СУБД DB2 с интерфейсом командной строки.
курсовая работа, добавлен 17.11.2016Содержательное описание предметной области. Структурный анализ бизнес-процесса на основе IDEF0-модели. Построение информационно-логической модели данных. Структурная схема на основе IDEF0. Даталогическая модель данных. Реализация информационной системы.
курсовая работа, добавлен 10.07.2014Проектирование логической модели системы: контекстная диаграмма и детализация процессов, реализация ссылочной целостности. Описание работоспособного программного обеспечения для проекта. SQL-определения запросов. Описание базы данных контрольного примера.
курсовая работа, добавлен 01.09.2010Разработка информационной системы, позволяющей повысить эффективность управления деятельностью автосервиса за счет использования современных компьютерных технологий. Построение базы данных в Microsoft SQL Server. Описание пользовательского интерфейса.
дипломная работа, добавлен 27.01.2009Разработка информационного обеспечения задачи, определение логической структуры реляционной базы данных. Разработка запросов и отчетов для обработки и отображения информации, интерфейса пользователя. Методика и этапы физического проектирования задачи.
курсовая работа, добавлен 25.07.2012Организация рабочей среды. Основное окно MS Project. Правила и принципы работы с файлами. Включение средств защиты файлов проекта. Представления, таблицы и поля. Определение пользовательских представлений. Средства и методы поддержки пользователя.
презентация, добавлен 15.03.2014Разработка информационно-логической модели проектируемой информационной системы. Алгоритм функционирования информационной системы. Описание базы данных. Описание входной, промежуточной и выходной информации. Техническое и программное обеспечение.
реферат, добавлен 09.01.2009Окно для работ с Design Assistant. Пример комбинационной логики, используемой в качестве тактового сигнала. Условия эффективного снижения энергопотребления с помощью сигнала синхронизации, полученного при помощи логической ячейки. Вкладка Fitter Settings.
курсовая работа, добавлен 05.11.2014Формирование на экране меню для выбора функций. Элементы пользовательского интерфейса. Описание внутренних переменных, входных и выходных данных языка программирования Си. Выбор пользователем функции. Создание программы "Список коммерческих банков".
курсовая работа, добавлен 17.03.2015Обоснование необходимости и цели использования вычислительной техники для решения задач руководителя полиграфического производства. Информационная модель разрабатываемого проекта. Построение логической структуры базы данных в среде Microsoft Access.
дипломная работа, добавлен 18.12.2015Описание методов вычисления определителя матрицы. Математическое решение задачи с применением метода исключения Гаусса с выбором главного элемента. Схема алгоритма программы, описание переменных и структур данных, текст программы на языке Pascal.
курсовая работа, добавлен 16.02.2011Численные методы решения нелинейных уравнений, используемых в прикладных задачах. Составление логической схемы алгоритма, таблицы индентификаторов и программы нахождения корня уравнения методом дихотомии и методом Ньютона. Ввод программы в компьютер.
курсовая работа, добавлен 19.12.2009Решение проблемы учета и анализа накладных, используемых организацией для учета поставок и продаж товара потребителям. Разработка информационного обеспечения, определение логической структуры базы данных. Описание реализации отдельных модулей задачи.
курсовая работа, добавлен 01.03.2010Программа перенесения данных из таблицы Word в таблицу базы данных. Алгоритм решения задачи в виде текстового описания. Описание базы данных (структура таблиц, схема). Копии с экрана форм для работы с базой данных при разработке их в конструкторе.
контрольная работа, добавлен 26.03.2011Аппаратные характеристики системы, использованной для разработки информационного ресурса "Сортировка слиянием". Проектирование логической и физической структуры ресурса, реализация его интерфейса. Основные функции программы, ее тестирование и отладка.
курсовая работа, добавлен 26.11.2012Краткий обзор решения транспортных задач. Экономическая интерпретация поставленной задачи. Разработка и описание алгоритма решения задачи. Построение математической модели. Решение задачи вручную и с помощью ЭВМ. Анализ модели на чувствительность.
курсовая работа, добавлен 16.06.2011Разработка программного продукта на языке Delphi, предназначенного для решения японской головоломки "Судоку": ознакомление с правилами игры, выбор необходимых компонент, написание алгоритмов реализации задачи; описание пользовательского интерфейса.
курсовая работа, добавлен 25.06.2011Создание базы данных, построение на ее основе информационной системы в виде веб-сайта. Обоснование и выбор системы управления базой данных. Датологическое проектирование, разработка алгоритма решения задачи, создание форм. Результаты обработки данных.
отчет по практике, добавлен 13.04.2015