Применение алгебры высказываний в информатике
Знакомство с видами деятельности ООО "Гамма", этапы расчета налоговых вычетов. В. Лейбниц как основоположник математической логики. Анализ условных обозначений базовых логических элементов. Особенности применения алгебры высказываний в информатике.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | курсовая работа |
| Язык | русский |
| Дата добавления | 05.05.2015 |
| Размер файла | 86,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Применения алгебры высказываний в информатике. Структурные формулы и функциональные схемы логических устройств. Конъюнктор, дизъюнктор и инвертор. Расчет налогового вычета сотрудникам в текущем месяце. Результаты расчета зарплаты в графическом виде.
контрольная работа [792,0 K], добавлен 25.06.2011Основные понятия алгебры высказываний. Характеристика главных законов алгебраической логики, сущность логических операций и определение порядка их проведения. Практическое применение в информатике табличного и алгебраического задания булевских функций.
курсовая работа [662,0 K], добавлен 23.04.2013Анализ и решение логических задач с помощью ЭВМ. Умение рассуждать как сущность логики. Освоение алгебры высказываний в информатике. Получение на компьютере таблицы истинности некоторого сложного выражения. Решение задач на языке программирования Паскаль.
реферат [36,8 K], добавлен 29.01.2010Применение алгебры высказываний в информатике. Надстройки Microsoft Excel. Применение формул, таблиц, диаграмм. Моделирование реальных систем массового обслуживания с учетом различия серверов. Надстройка "Моделирование Монте-Карло", Дерево решений".
курсовая работа [46,0 K], добавлен 25.04.2013Основные понятия алгебры логики. Логические основы работы ЭВМ. Вычислительные устройства как устройства обработки информации. Основные формы мышления. Обзор базовых логических операций. Теоремы Булевой алгебры. Пути минимизации логических функций.
контрольная работа [62,8 K], добавлен 17.05.2016Понятие высказывания, операции над простыми высказываниями, таблицы истинности. Примеры построения таблиц истинности сложных высказываний. Таблица истинности импликации. Закон тождества, противоречия, двойного отрицания. Решение логических задач.
курсовая работа [507,3 K], добавлен 23.04.2013Логика высказываний и предикатов. Построение таблицы истинности для логической формулы. Обоснование выбора структур данных. Описание алгоритма решения задачи. Описание пользовательского интерфейса. Окно командной строки, для ввода логической формулы.
курсовая работа [437,7 K], добавлен 10.04.2017Основы организации и формы внеклассной работы по информатике. Разработка внеклассного мероприятия по информатике через деловую игру. Деловая игра в практике внеклассного занятия. Общие положения, этапы и содержание деловой игры "Чья фирма успешнее?".
курсовая работа [57,3 K], добавлен 18.09.2010Представление знаний в когнитологии, информатике и искусственном интеллекте. Связи и структуры, язык и нотация. Формальные и неформальные модели представления знаний: в виде правил, с использованием фреймов, семантических сетей и нечетких высказываний.
контрольная работа [29,9 K], добавлен 18.05.2009Логическая равносильность преобразования, его применение к математическим доказательствам. Применение аппарата булевских функций к синтезу комбинационных схем. Вычисление логических операций выполняемых микропроцессором. Значение истинности высказываний.
методичка [147,4 K], добавлен 24.12.2010Алгоритм как четкая последовательность действий, направленная на решение задачи. Свойства алгоритмов и их характеристика. Способы описания алгоритма. Понятия алгебры логики. Логические переменные, их замена конкретными по содержанию высказываниями.
презентация [337,7 K], добавлен 18.11.2012Общеобразовательное и прикладное направления обучения кибернетике и информатике в средней школе. Появление первого школьного учебника по информатике в СССР. Начало преподавания дисциплины в массовой школе, обязательный минимум содержания образования.
презентация [199,4 K], добавлен 19.10.2014Cущность ЕГЭ как основной формы контроля уровня знаний за курс средней школы. Анализ раскрытия технологии программирования в учебниках по информатике 10-11 классов. Разработка уроков по подготовке школьников к решению заданий по программированию.
дипломная работа [988,7 K], добавлен 18.07.2014Характеристика графических возможностей пакета MS Excel. Сущность MS Accses. Анализ систем счисления и арифметические операции над ними. Модифицированный, дополнительный и обратный коды. Принципы построения логических схем, изучение логических операций.
курсовая работа [2,3 M], добавлен 25.03.2015История развития информатики как науки о методах и процессах сбора, хранения, обработки, передачи, анализа информации. Создание компьютерного класса по информатике на основе процессора AMD и видеоадаптера фирмы ATI. Подбор аппаратного обеспечения.
курсовая работа [34,3 K], добавлен 22.12.2015Экспертные системы реального времени. Основные производители. История возникновения и развития языка ПРОЛОГ. Исчисление высказываний. Исчисление предикатов. Программирование на ПРОЛОГЕ. Принцип резолюций. Поиск доказательства в системе резолюций.
курсовая работа [146,2 K], добавлен 15.04.2008Принципы создания электронного пособия по информатике. Требования к электронному учебнику, режим его работы и содержание. Достоинства и недостатки дистанционного обучения с использованием электронных учебников. Анализ электронных учебников Казахстана.
дипломная работа [552,2 K], добавлен 23.04.2015Определение терминов "учебно-исследовательская деятельность" и "исследовательская работа" школьников. Условия организации в основной школе исследовательской работы школьников с использованием кейс-технологии. Процедура применения кейсов по информатике.
дипломная работа [3,0 M], добавлен 05.07.2017Виды организации контроля знаний и умений учащегося. Формирование независимой и объективной информации о результатах учебного процесса для обучаемого и обучающего. Обоснование выбора программы тестирования знаний студентов младших курсов по информатике.
курсовая работа [488,8 K], добавлен 03.09.2016Анализ подходов к системе дистанционного образования. Разработка принципов и структуры программы для внеклассной работы школьников по информатике. Проектирование системы с использованием CASE-средств. Построение автоматизированной модели данных.
дипломная работа [2,6 M], добавлен 27.10.2017
