курсовая работа Алгебра высказываний
Понятие высказывания, операции над простыми высказываниями, таблицы истинности. Примеры построения таблиц истинности сложных высказываний. Таблица истинности импликации. Закон тождества, противоречия, двойного отрицания. Решение логических задач.
Нажав на кнопку "Скачать архив", вы скачаете нужный вам файл совершенно бесплатно.
Перед скачиванием данного файла вспомните о тех хороших рефератах, контрольных, курсовых, дипломных работах, статьях и других документах, которые лежат невостребованными в вашем компьютере. Это ваш труд, он должен участвовать в развитии общества и приносить пользу людям. Найдите эти работы и отправьте в базу знаний.
Мы и все студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будем вам очень благодарны.
Чтобы скачать архив с документом, в поле, расположенное ниже, впишите пятизначное число и нажмите кнопку "Скачать архив"
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | курсовая работа |
| Язык | русский |
| Дата добавления | 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
