Алгебра высказываний
Понятие высказывания, операции над простыми высказываниями, таблицы истинности. Примеры построения таблиц истинности сложных высказываний. Таблица истинности импликации. Закон тождества, противоречия, двойного отрицания. Решение логических задач.
Подобные документы
Назначение, функции и структура электронных таблиц Microsoft Excel. Методика выполнения расчетов с использованием стандартных функций и построения диаграмм. Пример построения таблицы и диаграммы о размере выплат заработной платы сотрудникам предприятия.
контрольная работа, добавлен 24.07.2010Экспертные системы реального времени. Основные производители. История возникновения и развития языка ПРОЛОГ. Исчисление высказываний. Исчисление предикатов. Программирование на ПРОЛОГЕ. Принцип резолюций. Поиск доказательства в системе резолюций.
курсовая работа, добавлен 15.04.2008Понятие и свойства лингвистической переменной, ее разновидности. Основы теории приближенных рассуждений. Нечеткие системы логического вывода с одной и несколькими входными переменными. Принципы нечеткого моделирования, вычисление уровней истинности.
презентация, добавлен 29.10.2013Общая характеристика табличных процессоров. Проведение исследования тем электронных таблиц в 7-9 классах. Главная особенность создания многотабличных документов. Построение диаграмм, их модификация и решение экономических задач графическими методами.
курсовая работа, добавлен 12.03.2019- 30. Таблица Excel
Общее понятие о Microsoft Excel. Главное назначение таблицы. Процесс составления таблицы в Excel, правила оформления. Основные способы выделения. Формулы, главные особенности их применения. Использование сводной таблицы в бухгалтерии и экономике.
контрольная работа, добавлен 29.12.2012 Возможности Excel и встроенного языка Visual Basic for Application. Создание и редактирование электронных таблиц с применением набора встроенных функций. Построение диаграмм и графиков разной степени наглядности и детализации. Печать электронных таблиц.
реферат, добавлен 29.08.2010Задание термов лингвистических переменных. Выбор четких входных переменных. Степени истинности правил. Построение нечеткой базы знаний для задачи об эффективности работы предприятия, проверка ее на полноту. Нечеткий вывод для конкретных значений.
контрольная работа, добавлен 19.11.2014Достоинства произведения расчетов при помощи электронных таблиц. Назначение табличных процессоров. Основные структурные элементы электронной таблицы. Описание функций табличной ячейки, особенности работы с ней. Что такое диапазон, классификация данных.
презентация, добавлен 10.11.2010Определение состава реляционных таблиц и логических связей между ними. Создание схемы (пользователя) базы данных. Особенность получения таблиц и ограничения целостности. Выполнение загрузки, модификации и удаления. Поддержка транзакций в Oracle.
лабораторная работа, добавлен 25.10.2021Понятие логических выражений, их назначение в создании алгоритмов. Список операторов сравнения, используемых в табличном редакторе Excel. Синтаксис функции "если" и примеры ее использования. Логические операторы "и", "или", "не", "истина", "ложь".
презентация, добавлен 07.03.2013Основные понятия алгебры высказываний. Характеристика главных законов алгебраической логики, сущность логических операций и определение порядка их проведения. Практическое применение в информатике табличного и алгебраического задания булевских функций.
курсовая работа, добавлен 23.04.2013Изучение тегов для создания списков и таблиц в HTML, основных атрибутов тегов. Практические навыки создания списков и таблиц в HTML-документах. Нумерованные, маркированные и вложенные списки, список определений. Выравнивание данных в ячейках таблицы.
контрольная работа, добавлен 09.08.2014Принципы использования видеоинформации в рекламной деятельности. Требования к ПЭВМ и программам для работы с видео; правила ответственной видеорекламы. Электронные таблицы: функции и возможности приложения MS Excel, составление таблиц, анализ данных.
контрольная работа, добавлен 08.11.2011Особенности модификации таблиц базы данных средствами СУБД Access. Описание свойств полей, задания ограничений, масок ввода данных. Создание и модификации таблиц, установка их свойств. Схема связи таблиц. Представление результатов задания в виде таблицы.
лабораторная работа, добавлен 13.06.2014Способы решения системы дифференциальных, нелинейный и линейных уравнений. Понятие интерполирования и аппроксимации. Основные принципы линейного программирования. Сущность и условия применения трендового анализа. Алгоритм создания электронной таблицы.
курсовая работа, добавлен 02.01.2012Традиционные, специальные и дополнительные реляционные операции. Синтаксис и конструкции языка структурированных запросов SQL, типы данных. Запросы, выполняющие реляционные операции вычитания, пересечения и деления. Создание и обслуживание таблиц.
контрольная работа, добавлен 21.06.2016Правила форматирования текста в редакторе Word. Понятие и назначение стилей в текстовом редакторе, порядок их установки, типы и их отличительные характеристики. Операции со стилями в области задач. Стили и форматирование. Создание таблиц в MS Word.
реферат, добавлен 24.11.2010Программирование линейных и ветвящихся процессов; циклов с предусловием, постусловием и параметром для вычисления сложных сумм и произведений рядов; таблицы значений функции двух переменных. Блок-схемы алгоритмов. Тексты программ и результаты их работы.
курсовая работа, добавлен 11.03.2015Этапы создания программы для учета рождаемости детей. Разработка базы из основной таблицы с оперативными данными и четырех таблиц-справочников с наименованиями кодов. Создание форм для заполнения таблиц и просмотра запросов с русифицированными кнопками.
практическая работа, добавлен 13.07.2010Главное назначение электронных таблиц. Рабочая книга и лист в Microsoft Excel. Строки, столбцы, ячейки таблицы. Ячейки и их адресация. Общее понятие про диапазон ячеек. Ввод, редактирование и форматирование данных. Форматирование содержимого ячеек.
презентация, добавлен 14.03.2012Разработка способа экономного размещения в памяти заданной разреженной таблицы. Разработка процедуры/функции, обеспечивающей доступ к элементам таблицы по номерам строки и имени столбца. Хронометраж выполнения операций чтения и записи элементов в массивы.
лабораторная работа, добавлен 22.12.2011Понятие и назначение электронных таблиц. Сравнительная характеристика редакторов электронных таблиц Microsoft Excel, OpenOffice.org Calc, Gnumeric. Требования к оформлению электронных таблиц. Методика создания электронных таблиц в MS Word и MS Excel.
контрольная работа, добавлен 07.01.2015Определение номера бурового станка с максимальной суммарной производительностью за весь период. Решение задачи с помощью электронных таблиц. Расчетная таблица с формулами. Разработка макроса для построения графика. Разработка интерфейса программы.
курсовая работа, добавлен 10.04.2014Алгоритм построения столбиковой, круговой диаграмм. Порядок заполнения расчетной таблицы с заполнением данных в графах, перенос данных в расчетную таблицу. Применение опции "Автозаполнение" при расчетах в таблице. Примеры расчета итоговых данных.
контрольная работа, добавлен 26.03.2010Характеристика графических возможностей пакета MS Excel. Сущность MS Accses. Анализ систем счисления и арифметические операции над ними. Модифицированный, дополнительный и обратный коды. Принципы построения логических схем, изучение логических операций.
курсовая работа, добавлен 25.03.2015