Алгебра высказываний
Понятие высказывания, операции над простыми высказываниями, таблицы истинности. Примеры построения таблиц истинности сложных высказываний. Таблица истинности импликации. Закон тождества, противоречия, двойного отрицания. Решение логических задач.
| Рубрика | Программирование, компьютеры и кибернетика |
| Предмет | Информатика |
| Вид | курсовая работа |
| Язык | русский |
| Прислал(а) | llubimchik |
| Дата добавления | 23.04.2013 |
| Размер файла | 507,3 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Анализ и решение логических задач с помощью ЭВМ. Умение рассуждать как сущность логики. Освоение алгебры высказываний в информатике. Получение на компьютере таблицы истинности некоторого сложного выражения. Решение задач на языке программирования Паскаль.
реферат [36,8 K], добавлен 29.01.2010Логика высказываний и предикатов. Построение таблицы истинности для логической формулы. Обоснование выбора структур данных. Описание алгоритма решения задачи. Описание пользовательского интерфейса. Окно командной строки, для ввода логической формулы.
курсовая работа [437,7 K], добавлен 10.04.2017Применение математических методов для решения логических задач и построения логических схем. Определение и реализация булевых функций. Основные схемы функциональных элементов. Программируемые логические матрицы. Правила составления таблицы истинности.
курсовая работа [821,6 K], добавлен 19.03.2012Правила двоичного сложения. Таблица и схема истинности полусумматора и полного сумматора. Таблица, стуктурная и логическая схема истинности для полувычитателя и полного вычитателя. Использование сумматоров для вычитания. Работа суммирующего устройства.
учебное пособие [99,7 K], добавлен 06.02.2009Логическая равносильность преобразования, его применение к математическим доказательствам. Применение аппарата булевских функций к синтезу комбинационных схем. Вычисление логических операций выполняемых микропроцессором. Значение истинности высказываний.
методичка [147,4 K], добавлен 24.12.2010Изучение логических операций и правил их преобразований. Моделирование цифровых схем, состоящих из логических вентилей. Способы описания работы логического устройства - таблицы истинности, временные диаграммы, аналитические функции, цифровые схемы.
лабораторная работа [2,1 M], добавлен 02.03.2011Значение алгебры логики. Таблицы истинности. Логические операции: дизъюнкция, конъюнкция и отрицание. Выходной сигнал вентиля. Переключательные схемы. Логические основы компьютера. Значение устройства триггер как элемента памяти. Сумматор и полусумматор.
реферат [923,8 K], добавлен 14.10.2014Применения алгебры высказываний в информатике. Структурные формулы и функциональные схемы логических устройств. Конъюнктор, дизъюнктор и инвертор. Расчет налогового вычета сотрудникам в текущем месяце. Результаты расчета зарплаты в графическом виде.
контрольная работа [792,0 K], добавлен 25.06.2011Методика и основные этапы, принципы построения логических схем в Electronic Workbench. Генерирование значений, снятие и анализ показаний анализаторов. Формирование временных диаграмм. Создание и основное содержание таблиц истинности для каждого триггера.
лабораторная работа [274,8 K], добавлен 18.06.2014Примеры решения математических и экономических задач, выполняемых с помощью средств электронной таблицы Excel и логических функций. Создание и форматирование таблиц. Создание разных баз данных с помощью системы Microsoft Access с использованием запроса.
контрольная работа [88,7 K], добавлен 28.05.2009
