Алгебра высказываний

Понятие высказывания, операции над простыми высказываниями, таблицы истинности. Примеры построения таблиц истинности сложных высказываний. Таблица истинности импликации. Закон тождества, противоречия, двойного отрицания. Решение логических задач.

Подобные документы

  • Таблицы как неотъемлемый атрибут печатной научно-технической документации. Понятие, цели и задачи технологического обеспечения. Редактирование текста. Рисунки как средство визуального представления. Создание и настройка внешнего вида базовой диаграммы.

    контрольная работа, добавлен 16.09.2014

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

    контрольная работа, добавлен 23.11.2010

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

    практическая работа, добавлен 02.04.2009

  • Диаграммы ER-экземпляров и ER-типа. Моделирование предметной области. Условия применения сущностей. Список таблиц базы данных. Фрагменты окон MS Access. Схема данных, содержание таблиц. Пример заполнения таблицы "материально-ответственные лица".

    курсовая работа, добавлен 22.02.2016

  • Возможности программы Microsoft Excel. Принципы применения операторов сравнения и текста для активизации вычислительной функции. Создание ссылки на объединение ячеек диапазонов. Этапы разработки таблиц расчетов депозитов и начисления заработной платы.

    лабораторная работа, добавлен 20.12.2011

  • Алгоритм как четкая последовательность действий, направленная на решение задачи. Свойства алгоритмов и их характеристика. Способы описания алгоритма. Понятия алгебры логики. Логические переменные, их замена конкретными по содержанию высказываниями.

    презентация, добавлен 18.11.2012

  • Создание и последующее редактирование таблицы базы данных "Студент" с помощью совместного использования мастеров Table Wizard и Table Designer, применяя заранее заготовленные тематические шаблоны. Описание этапов выполнения работы в данных программах.

    лабораторная работа, добавлен 21.03.2011

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

    презентация, добавлен 29.07.2012

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

    курсовая работа, добавлен 15.12.2014

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

    реферат, добавлен 10.06.2010

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

    реферат, добавлен 03.02.2013

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

    презентация, добавлен 29.07.2012

  • Общая характеристика экспертных программ как систем искусственного интеллекта. Описание реализации в реляционной системе управления базами данных. Рассмотрение особенностей интеграции объектных таблиц принятия решения в проект по распознаванию символов.

    дипломная работа, добавлен 20.07.2015

  • Понятие операционной системы и ее расположения в общей структуре компьютера. Классификация операционных систем, их основные функции. Понятие вычислительного процесса и ресурса. Электронная таблица Excel. Назначение и возможности электронной таблицы.

    шпаргалка, добавлен 14.06.2010

  • Создание базы данных в Microsoft Access с помощью мастера шаблонов. Создание таблиц путём ввода данных, с помощью мастера таблиц или таблицы в режиме конструктора таблиц. Создание запросов в Microsoft Access, с помощью мастера или конструктора запросов.

    реферат, добавлен 08.09.2010

  • Оформление таблицы на листе Excel. Применение округления чисел до двух знаков после запятой. Выделение диапазона данных, необходимых для построения графика. Добавление диаграммы на листе. Подписи горизонтальной оси. Добавление линий разделения на график.

    контрольная работа, добавлен 13.11.2011

  • Элементы представления Диаграммы Ганта. Работа с полями данных. Диалоговое окно для установки параметров столбца таблицы, шкалы времени. Визуальное представление иерархии задач. Окно календарного графика. Управление компоновкой, увеличение масштаба рамок.

    презентация, добавлен 15.03.2014

  • Понятие базы данных в Microsoft Access, описание таблицы как объекта. Назначение запросов, форм, отчетов и страниц. Макросы и модули в СУБД. Порядок создания базы данных, ввод описания поля. Свойства полей таблиц. Построение реляционной модели данных.

    презентация, добавлен 18.01.2014

  • Анализ решения задачи линейного программирования. Симплексный метод с использованием симплекс-таблиц. Моделирование и решение задач ЛП на ЭВМ. Экономическая интерпретация оптимального решения задачи. Математическая формулировка транспортной задачи.

    контрольная работа, добавлен 15.01.2009

  • Решение системы линейных уравнений методами деления отрезка пополам, Гаусса и подбора параметров. Формализация задач при моделировании; построение математических, алгоритмических и программных моделей задач с помощью электронных таблиц Microsoft Excel.

    лабораторная работа, добавлен 21.07.2012

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

    курсовая работа, добавлен 03.01.2010

  • Excel как табличный процессор, его структура и содержание, оценка свойств и возможностей. Порядок формирования и работы с таблицами Mіcrosoft Excel. Редактирование и форматирование рабочих листов. Этапы проектирования таблицы Учет товаров на складе.

    реферат, добавлен 05.11.2010

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

    реферат, добавлен 29.10.2013

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

    лабораторная работа, добавлен 26.10.2013

  • Методы хеширования данных и реализация хеш-таблиц. Разработка на языке программирования высокого уровня программы с функциями создания хеш-таблицы, добавления в нее элементов, их просмотра, поиска и удаления. Экспериментальный анализ хеш-функции.

    лабораторная работа, добавлен 18.06.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.