Алгебра высказываний
Понятие высказывания, операции над простыми высказываниями, таблицы истинности. Примеры построения таблиц истинности сложных высказываний. Таблица истинности импликации. Закон тождества, противоречия, двойного отрицания. Решение логических задач.
Подобные документы
Решение базовых задач линейного программирования симплекс-методом, их реализация на языке программирования С++. Математическое обеспечение; разработка алгоритма программы, решающей задачу с помощью симплекс-таблиц с произвольными свободными членами.
курсовая работа, добавлен 25.05.2014Проектирование базы данных на основе модели типа объект-отношение. Создание таблиц средствами СУБД Access, главной кнопочной формы и запросов с помощью операций реляционной алгебры. Изменение последовательности перехода. Введение всплывающей подсказки.
курсовая работа, добавлен 16.01.2015Целевая функция. Многоугольник решений. Решение задачи графическим методом. Линейное программирование. Составление симплекс–таблиц. Система ограничений. Система уравнений. Метод потенциалов. Опорное решение методом наименьших затрат. Матрица оценок.
контрольная работа, добавлен 29.09.2008Создание макроса, позволяющего вставить строку текста, содержащую фамилию и группу, начиная с текущей ячейки, задать для таблицы чисел, состоящей из четырех столбцов и трех строк, найти сумму элементов таблицы, задать границы для полученной таблицы.
контрольная работа, добавлен 28.12.2009Извлечение информации, организация и отбор данных с помощью приложения Microsoft Query. Обработка полученных данных средствами сводной таблицы в табличном процессоре Excel в соответствии с индивидуальным заданием. Возможности Мастера сводных таблиц.
курсовая работа, добавлен 20.11.2011Изучение принципа работы цифрового автомата для сложения двоичных чисел, представленных в форме с фиксированной запятой, на базисе алгебры Буля. Правила построения операционных и функциональных схем отдельных устройств, логических систем и функций.
курсовая работа, добавлен 24.01.2014Построение математической модели. Выбор, обоснование и описание метода решений прямой задачи линейного программирования симплекс-методом, с использованием симплексной таблицы. Составление и решение двойственной задачи. Анализ модели на чувствительность.
курсовая работа, добавлен 31.10.2014Общая характеристика и функциональные особенности табличного редактора MS Excel, содержание его меню и оценка рабочих возможностей. Порядок построения графика и диаграммы. Изучение логических функций. Составление сводной таблицы. Работа с MS Power Point.
лабораторная работа, добавлен 23.05.2014Электронные таблицы как самая продуктивная идея в области компьютерных информационных технологий, принцип их действия и назначение, функциональные особенности. Основные сведения об электронных таблицах Excel, оценка их главных преимуществ и недостатков.
реферат, добавлен 27.03.2010Рассмотрение плана-конспекта урока по информатике по теме "Создание таблицы в текстовом документе". Изучение возможностей редактирования и форматирования таблиц в текстовом редакторе Word. Этапы проведения комбинированного урока и лабораторной работы.
конспект урока, добавлен 23.12.2010Создание и оформление исходных таблиц, их связывание; расчеты в таблицах с применением "Мастера функций"; обработка данных посредством сортировки и выборки (фильтрации); построение диаграмм; оформление отчета в виде комплексного текстового документа.
контрольная работа, добавлен 26.03.2012Описание и примеры применения функций ПЛТ, ППЛАТ, ЧПС, ПС, ПРПЛТ, КПЕР, БС, построение соответствующих таблиц и формул в среде Excel. Составление отчетной ведомости реализации товаров N магазинами с месяца А по месяц В. Вычисления платежей по кредиту.
контрольная работа, добавлен 14.12.2012Использование электронных таблиц Microsoft Excel в решении производственных задач. Определение инерционных характеристик главного вала горячештамповочного автомата. Обработка эксперимента по определению приведенного модуля объемной упругости жидкости.
методичка, добавлен 06.06.2011Язык описания данных Oracle. Предназначение базы данных для хранения информации. Создание и изменение таблиц с помощью операторов Create и Alter table. Правила именования таблицы. Операторы Rename и Truncate. Метод создания и удаления представления.
презентация, добавлен 14.02.2014Понятие объектов и классов в Visual Basic. Свойства, методы и события. Создание Титула на рабочем листе с помощью процедур обработки событий в UserForm. Определение диапазона для создания таблицы и ее заголовка. Создание формы по заполнению таблицы.
курсовая работа, добавлен 28.05.2012Создание базы из основной таблицы с оперативными данными и четырех таблиц справочников с наименованиями кодов. Расшифровка кодов в формах, в представлениях, в запросах и в отчетах. Логическая модель базы данных. Конструктор базового представления.
курсовая работа, добавлен 08.04.2014Разработка программы для решения инженерных задач с использованием функций, процедур и сложных типов данных, в том числе динамических массивов и объединений. Интерфейс ввода/вывода. Схемы алгоритмов отдельных подзадач. Технические требования к программе.
курсовая работа, добавлен 26.11.2012Обзор Microsoft Access, элементы базы данных в различных режимах. Создание простой таблицы. Типы и свойства полей. Установление первичного ключа. Способы удаления и переименования таблиц. Возможности записей с помощью фильтров. Запрос на выборку.
лабораторная работа, добавлен 15.01.2009Графическое решение задач. Составление математической модели. Определение максимального значения целевой функции. Решение симплексным методом с искусственным базисом канонической задачи линейного программирования. Проверка оптимальности решения.
контрольная работа, добавлен 05.04.2016Разработка программы, которая выполняет удаление элементов внешних таблиц, а также очистку файлов, вывод таблиц на экран. Описание программного продукта. Выбор языка программирования. Схема информационных потоков. Комплект поставки и инсталляция.
курсовая работа, добавлен 09.03.2009Структура таблицы и типы данных. Ввод данных в ячейки таблицы. Создание запросов на выборку, удаление, обновление и добавление записей, на создание таблицы. Основное различие между отчетами и формами, их назначение. Создание отчетов для базы данных.
курсовая работа, добавлен 17.06.2014Классы задач P и NP, их сводимость. Примеры NP-полных и NP-трудных задач. Сущность метода поиска с возвратом. Алгоритмы решения классических задач комбинаторного поиска. Решение задачи о восьми ферзях. Поиск оптимального решения методом ветвей и границ.
презентация, добавлен 19.10.2014Назначение, принципы и методы построения таблиц идентификаторов. Метод простого рехэширования с помощью произведения. Назначение лексического анализатора. Таблица лексем и содержащаяся в ней информация. Построение лексических анализаторов (сканеров).
курсовая работа, добавлен 08.02.2011Составление таблицы согласно образцу в программе MS Excel. Создание данных таблицы базы данных. Введение формул в программе MS Excel. Установление связи между таблицами. Создание запроса на выборку данных из одной таблицы с помощью мастер запросов.
контрольная работа, добавлен 17.04.2016Создание базы данных с помощью приложения Microsoft Access. Вспомогательные таблицы Город, Стадион, Матч, Клуб, Контакты. Связывание ключевых полей таблиц. Ввод, просмотр и редактирование записей. Технологии, реализующие объектно-ориентированный подход.
курсовая работа, добавлен 27.12.2014