Разработка программы для построения таблиц истинности заданного закона алгебры логики
Понятие алгебры логики. Основные логические операции. Логические выражения и таблицы истинности. Алгебра логики в компьютерах. Логические законы и их использование при построении схем компьютера. Программа для проверки любого закона алгебры логики.
Подобные документы
Арифметические операции с использованием булевой алгебры. Проектирование комбинационных логических схем. Расчет по математическим основам проектирования цифровых устройств. Синтез комбинационных и последовательностных логических схем и их проектирование.
курсовая работа, добавлен 02.04.2015Синтез законов управления автомобилем на траектории: линеаризация, закон LQR-оптимизации, автоматический выбор параметров управления, построение TS-модель нечёткой логики. Компьютерное и имитационное моделирование. Проверка асимптотической устойчивости.
магистерская работа, добавлен 27.10.2017История создания игр на цифровых устройствах. Знакомство со средой программирования, изучение логики построения игровой программы "Червяк". Составление блок-схемы алгоритма с дополнительными файлами: Snake.h, Fruit.h, Game.h. Графический вид алгоритмов.
лабораторная работа, добавлен 14.03.2022История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Разработка, назначение и реализация гибридной модели, основанной на сочетании фреймового, продукционного, объектно-ориентированного и реляционного подходов к представлению знаний в сочетании с элементами нечеткой логики и механизма "правил активации".
статья, добавлен 16.01.2018Состав директив. Операции присваивания значения и вычисления. Использование шаблонов и функций. Решение систем линейных алгебраических уравнений. Задачи линейной алгебры. Вычисление определителя матрицы n×n. Методы математического анализа.
реферат, добавлен 06.01.2014Особенности статистического и динамического режимов, в которых может выполняться изучение логики работы программы. Суть дизассемблирования – получения листингов исходного текста: из программы на машинном языке получение программы на языке Ассемблер.
реферат, добавлен 18.03.2011Методика оптимизации запросов к базе данных информационной системы учета автотранспорта средствами реляционной алгебры. Формулировка запроса с учетом возможности реляционной аналитики и его оптимизации к реляционной БД. Определение реквизитов клиентов.
статья, добавлен 26.04.2017Понятие микропроцессора как главного компонента компьютера, выполняющего арифметические и логические операции, заданные программой и координирующего работу компьютера. Его структура, тактовая частота. Системная шина и плата, генератор тактовых импульсов.
презентация, добавлен 08.03.2015Методы построения программы с одновременным доказательством ее правильности, сведения ее к более простым задачам. Спецификация программ, логические средства. Предусловие и постусловие, построение инварианта. Выделение последовательности из массива.
методичка, добавлен 08.09.2015Сущность информационного процесса, виды сигналов. Логические состояния, элементы и таблица истинности. Системы счисления. Комбинационные функциональные схемы. Архитектура ЭВМ. Группировки бит. Структура оперативной памяти. Интерфейс микропроцессора.
курс лекций, добавлен 06.08.2017Этапы системного анализа, их основные цели, задачи. Замкнутость реляционной алгебры и операция переименования. Особенности ее теоретико-множественных операций. Основные режимы, в которых происходит деятельность системы: развитие и функционирование.
контрольная работа, добавлен 05.07.2014Методы решения систем линейных уравнений. Разработка классов функций Matrix и Vector для решения простейших задач линейной алгебры, написание алгоритмов на языке Borland C++ для данных классов и ошибки, которые могут возникнуть при их использовании.
курсовая работа, добавлен 25.09.2014Объекты и операторы присваивания в языке программирования С#. Условный оператор if и логические операции. Работа со средой разработки Visual studio 2013 Community, запуск программы и создание нового проекта. Создание окна формы и обработчиков событий.
курсовая работа, добавлен 18.06.2015Описание программного обеспечения для тестирования знаний. Алгоритм подведения итогов тестирования. Методика расчета относительной сложности вопросов. Аспекты, связанные с использованием нечеткой логики и с расчетом относительной сложности вопроса.
реферат, добавлен 27.10.2010Проектирование и реализация системы для просмотра имеющихся билетов и их бронирования через Internet. Создание таблиц, хранимых процедур, реализующих функции бизнес-логики и триггера на удаление записей из таблицы в базе данных. Описание структуры БД.
курсовая работа, добавлен 11.12.2013Проверка истинности высказывания: "Справедливо двойное неравенство A
контрольная работа, добавлен 21.02.2016Разбор логики и ее воспроизведение в программе. Консольная программа, являющаяся аналогией игры "Ним". Основные средства программирования на языке C. Вывод меню игры. Выбор первого хода для игроков. Основные заголовочные файлы, используемые в игре.
курсовая работа, добавлен 18.02.2019Основные сведения об экспертных системах и моделях представления знаний. Реализация проекта с помощью нечеткой логики в MatLab. Создание программы для прогноза профпригодности абитуриента к деятельности инженера-конструктора в среде VisualProlog.
дипломная работа, добавлен 12.01.2018Особенности строения цифровых микросхем, их логические элементы. Использование алгоритмического языка сверхвысокого уровня Питон (Python). Задание расположения кнопок в рабочем окне. Рабочее окно разработки IDLE. Характеристика рабочего окна программы.
курсовая работа, добавлен 25.04.2017Понятие даталогической модели базы данных, отражающей логические взаимосвязи между элементами данных безотносительно их содержания и физической организации. Метод нормализации реляционных таблиц. Анализ процесса последовательного преобразования таблиц.
курсовая работа, добавлен 11.06.2011Обязательные компоненты микропроцессора компьютера. Выполняемые микропроцессором команды. Арифметические действия, логические операции, передача управления и перемещение данных. Разрядность внутренних регистров микропроцессора. Архитектура фон Неймана.
реферат, добавлен 23.12.2016Основные возможности Интернет. Основы структурного программирования. Выполнение расчетов на компьютерах. Элементы языка Пролог. Технология дистанционного обучения. Средства обработки данных. Анализ правильности алгоритмов. Элементы математической логики.
учебное пособие, добавлен 25.11.2013Язык программирования как способ записи программ решения различных задач на ЭВМ в понятной для компьютера форме. Высокоуровневые языки программирования: понятие и основные характеристики. Логические выражения и особенности системы Турбо Паскаль.
курсовая работа, добавлен 22.03.2014Законодательные основы компьютерной безопасности. Создание, использование и распространение вредоносных программ для ЭВМ. Защита данных в сетях и системах сотовой связи. Основные понятия формальной логики. Сущность логических выражений и операций.
контрольная работа, добавлен 23.11.2010