Основы математической логики
Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
Подобные документы
Создание и оформление исходных таблиц, их связывание. Проведение расчетов с применением "Мастера функций", обработка данных таблиц посредством сортировки и выборки, построение диаграмм. Оформление отчета в виде комплексного текстового документа.
курсовая работа, добавлен 25.05.2016Создание базы данных на языке программирования С++ с элементами ее администрирования. Теоретические основы создания программ. Описание разработанной структуры массива данных. Схемы алгоритмов используемых функций. Логика работы программы и ее листинг.
курсовая работа, добавлен 21.02.2016История и эволюция языков и подходов к программированию, их достоинства и недостатки. Синтаксис и возможности программных систем на основе функционального подхода к проектированию программного обеспечения. Комбинаторная логика как формальная система.
курс лекций, добавлен 21.05.2014Знакомство с видами деятельности ООО "Гамма", этапы расчета налоговых вычетов. В. Лейбниц как основоположник математической логики. Анализ условных обозначений базовых логических элементов. Особенности применения алгебры высказываний в информатике.
курсовая работа, добавлен 05.05.2015Основы нечеткой логики. Аппарат теории нечетких множеств. Методы построения функций принадлежности нечетких множеств. Операции над нечеткими множествами. Наглядное представление операций над нечеткими множествами. Нечеткая и лингвистическая переменные.
реферат, добавлен 19.06.2010Анализ предметной области и описание функций разрабатываемой базы данных для отдела кадров. Построение инфологической модели базы данных в среде Microsoft Access. Проектирование форм, таблиц, используемых отчетов базы данных. Выбор аппаратной части.
дипломная работа, добавлен 10.10.2017Использование логических элементов в системах автоматического и программного управления. Содержание элементарных функций "не", "или", "и". Сущность сложных логических функций "память" и "выдержка времени". Схема реле с блокировкой управляющих сигналов.
презентация, добавлен 26.05.2016Моделирование логических элементов для реализации систем функций в конфигурируемых логических блоках ПЛИС типа FPGA на базе дешифратора – DC LUT и ДНФ – конфигурируемого логического элемента. Анализ системы схемотехнического моделирования NI Multisim 10.
статья, добавлен 26.04.2019Собственные и пользовательские свойства информации. Рассмотрение информационных сведений, относящихся к развитию науки и техники и используемых в любой сфере жизни общества. Формальная структура данных и закономерности передачи научной информации.
лекция, добавлен 28.09.2018Работа с листами книги и ввод данных в программе Microsoft Excel, создание и редактирование формул, работа с мастером функций. Алгоритм оформления таблиц, построение и настройка диаграмм. Сортировка данных, обработка таблиц и подготовка их к печати.
учебное пособие, добавлен 29.07.2014Применение графического метода, использующего карты Карно для минимизации булевых функций относительно небольшого числа переменной. Построение таблицы истинности функции, особенности образования импликант разных рангов. Нахождение тупиковых форм.
реферат, добавлен 07.03.2013- 62. Булева алгебра
Раскрытие понятия математической логики. Логические схемы компьютера, основанные на булевой алгебре. Характеристика логических операций: основных и производных, приоритеты операций. Основные законы Булевой алгебры. Логические элементы компьютера.
реферат, добавлен 13.09.2015 Использование компьютеров для создания баз знаний, их применение в различных областях науки и техники. Развитие нейрокибернетики как науки, применение методов математической логики для разработки аппаратно-программных средств искусственного интеллекта.
реферат, добавлен 25.01.2013Характеристика структурно-кинематической схемы автомата. Анализ показателей таблицы включений с виртуальными переключателями. Методика построения начальной циклограммы работы механизмов. Оценка полученных результатов минимизации логических функций.
курсовая работа, добавлен 09.11.2017Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019Электронные таблицы как программа автоматизации для математической, статистической, графической обработки текстовых и числовых данных. Основное понятие, содержание электронных таблиц, их применение для расчетов. Особенности построение диаграмм и графиков.
реферат, добавлен 10.05.2014Особенности ввода, редактирования текста и создания таблиц в Word. Характеристика работы в Excel: обработка данных, применение итоговых функций, подготовка и форматирование прайс-листа, построение графика решение уравнений. Рассмотрение Access и Qbasic.
контрольная работа, добавлен 05.04.2015Основные возможности Интернет. Основы структурного программирования. Выполнение расчетов на компьютерах. Элементы языка Пролог. Технология дистанционного обучения. Средства обработки данных. Анализ правильности алгоритмов. Элементы математической логики.
учебное пособие, добавлен 25.11.2013Характеристика основных составных частей персонального компьютера: системный блок, клавиатура, монитор, мышь, периферийные устройства. Анализ логических основ работы электронно-вычислительной техники, основы алгебры логики, основные алгоритмы и программы.
реферат, добавлен 13.09.2014Содержание наиболее полной редакции MS Office. Применение Excel для создания документов в табличном виде, построения графиков и диаграмм, ведения расчетов с помощью формул. Общие операции над листами и ячейками рабочей книги, работа с мастером функций.
лабораторная работа, добавлен 04.01.2011Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018Графики, сортировка и фильтрация простых функций, построение и редактирование диаграмм в MS Excel. Решение задач анализа средствами консолидации данных, связывания свободных таблиц. Способы подбора параметров и применение средств MS Excel в CRM-концепции.
лабораторная работа, добавлен 18.02.2019Назначение Mathcad, его компоненты и запуск, типы областей и интерфейс. Допустимые имена переменных и функций. Построение графика в полярной системе, нескольких рядов данных. Символьные вычисления. Встроенные матричные функции и главные операторы.
учебное пособие, добавлен 17.10.2013Основные элементы электронной таблицы (ячейка, ссылка), структура интерфейса, типы входных данных, функций и логических операторов. Область применения, возможности графического представления данных в таблицах MS Excel и их альтернатива - OpenOffice Calc.
курсовая работа, добавлен 21.04.2014Основы расчётов с помощью редактора электронных таблиц MS Excel. Работа со строками и столбцами. Построение диаграмм и решение задач оптимизации. Статистическая обработка данных, анализ и прогнозирование. Построение сводной таблицы стоимости лекарств.
лабораторная работа, добавлен 23.05.2014