Алгебра логики высказываний
Логика высказываний и предикатов. Построение таблицы истинности для логической формулы. Обоснование выбора структур данных. Описание алгоритма решения задачи. Описание пользовательского интерфейса. Окно командной строки, для ввода логической формулы.
Подобные документы
Описание выходной, входной информации. Определение логической структуры базы данных, контрольный пример. Структура таблиц, схема данных, пользовательские формы. Алгоритм решения задачи. Получение отчета с помощью Мастера отчетов. Создание кнопочной формы.
дипломная работа, добавлен 28.08.2012Практическое обоснование выгодности использования web-модуля "Расширенный поиск по сайту". Схема отображения процесса ввода и запроса информации. Описание алгоритма и модель решения задачи. Структура и характеристика базы данных расширенного поиска.
дипломная работа, добавлен 19.01.2017Разработка концептуальной и логической моделей базы данных "Отдела кадров (института)". Примеры построения запросов для получения данных по различным критериям выборки, описание получения отчетных документов. Формы для ввода и редактирования данных.
курсовая работа, добавлен 16.12.2015Основные функции системы управления базами данных - описание структуры базы данных, обработка данных и управление данными. Компьютерный магазин как предметная область, ее технико-экономические характеристики. Построение логической и физической моделей.
курсовая работа, добавлен 02.07.2012- 55. MS Excel
Вычисления в Excel. Формулы и функции: Использование ссылок и имен, перемещение и копирование формул. Относительные и абсолютные ссылки. Понятиеи и типы функций. Рабочая книга Excel. Связь между рабочими листами. Построение диаграмм в EXCEL.
лабораторная работа, добавлен 28.09.2007 Исследование спецификации логической игры "Сапёр". Системное и функциональное проектирование приложения. Разработка программных модулей. Обзор классов, необходимых для создания интерфейса данного приложения. Инструменты для реализации логической игры.
курсовая работа, добавлен 13.01.2016Проектирование базы данных фирмы по предоставлению телекоммуникационных услуг с помощью СУБД MS SQL SERVER. Построение логической и физической модели данных. Описание информационных потребностей пользователя. Создание хранимых процедур и триггеров.
курсовая работа, добавлен 21.03.2015Возможности извлечения информации из баз данных. Программы для создания и обработки базы данных и создания пользовательского интерфейса. Обоснование выбора программных средств для реализации. Создание базы данных, интерфейса и базы данных к интерфейсу.
курсовая работа, добавлен 24.03.2023Построение логической модели определенного вида по выборке данных указанного объема, которая содержит информацию о трех входах системы и одном выходе, и представлена в виде матрицы размерностью 30х4. Поверка адекватности этой модели по заданному критерию.
дипломная работа, добавлен 13.08.2010Математический набор. Запуск Equation Editor. Построение образца формулы. Создание кубического корня. Вставка формулы в подкоренное выражение. Построение формулы в знаменателе. Текстовые эффекты. Печать документов.
лабораторная работа, добавлен 10.03.2007Внедрение программы "Частный предприниматель" для оперативной обработки информации и автоматизации работы с клиентами и учета товаров. Основные функции системы. Построение информационно-логической модели. Разработка пользовательского интерфейса.
контрольная работа, добавлен 30.11.2009Функциональное назначение программы Labirint, возможность выбора пользователем точки входа в лабиринт и точки выхода из него. Описание логической структуры, выбор способа решения задачи, сущность процедур и функций с использованием локальных переменных.
контрольная работа, добавлен 26.11.2011Размещение центров и синтез абонентских сетей дистанционного обучения в классе радиальных структур. Локальное перестроение дерева Штейнера, процедура объединения свободных ребер. Разработка программы: описание структур данных, настройка алгоритма.
научная работа, добавлен 24.01.2010Оптимизация решения задачи с помощью алгоритма отжига. Анализ теории оптимизации как целевой функции. Метод градиентного спуска. Переменные и описание алгоритма отжига. Представление задачи коммивояжера через граф. Сведение задачи к переменным и решение.
курсовая работа, добавлен 21.05.2015Методика и технологический прием структурного программирования; построение алгоритма программы логической задачи в виде блок-схемы из структур "следование, ветвление, цикл"; кодирование текста программы, языки структурного программирования Паскаль и Си.
реферат, добавлен 25.03.2012Документы предметной области, содержащие информацию, необходимую для решения задачи. Организационно-экономическая сущность, описание входной и выходной информации. Анализ логической структуры реляционной базы данных. Исходные данные контрольного примера.
курсовая работа, добавлен 04.08.2014Теоретические сведения, касающиеся метода. Алгоритм решения задачи. Обоснование выбора структур данных. Программа. Тестирование программы. Создание программного продукта, находящего решения головоломки "Y-пентамино".
курсовая работа, добавлен 08.06.2006Описание модели многослойной защиты. Принципы управления доступом. Шифрование данных и шифрованная файловая система. Ключи шифрования. Хранение зашифрованных данных на удаленных серверах. Управление сертификатами. Использование утилит командной строки.
презентация, добавлен 10.11.2013Описание общих функций сетевого уровня модели OSI: протоколирование, маршрутизация и логическая адресация. Изучение принципов работы сетевого протокола TCP/IP и сетевых утилит командной строки. Адрес локальной сети и определение класса сети Интернет.
презентация, добавлен 05.12.2013Анализ предметной области, категории пользователей и их информационные требования. Методика проектирования логической модели данных для РБД. Реализация проекта средствами СУБД Access 2003. Разработка простого и удобного пользовательского интерфейса.
дипломная работа, добавлен 27.12.2010Основные понятия алгебры высказываний. Характеристика главных законов алгебраической логики, сущность логических операций и определение порядка их проведения. Практическое применение в информатике табличного и алгебраического задания булевских функций.
курсовая работа, добавлен 23.04.2013Создание программы для обработки информации об объектах предметной области "Бытовая техника" в среде визуального программирования C++. Иерархия родственных классов. Описание логической структуры программы. Реализация файлового ввода/вывода данных.
курсовая работа, добавлен 27.07.2014Описание предметной области "Спортивные соревнования". Проектирование концептуальной и логической модели данных. Добавление не вошедших в ER–диаграмму атрибутов. Разработка SQL запросов к базе данных. Описание работы, тестирование клиентского приложения.
курсовая работа, добавлен 24.11.2014Разработка приложения для шифрования данных с помощью алгоритма DES5: процесс шифрования, расшифрования, получение ключей. Спецификация программы, процедуры и функции; описание интерфейса пользователя. Реализация задачи в среде программирования DELPHI.
курсовая работа, добавлен 27.03.2012Описание логической и модульной структуры разрабатываемой программы, используемые в данном процессе основные технические средства. Организация хранения данных в программе, проектирование интерфейса. Тестирование и отладка, листинг готовой программы.
курсовая работа, добавлен 20.06.2012