Многоаспектные векторные логики
Обобщение понятий истинного и ложного суждения в классической логике. Рассмотрение числовых характеристик суждений. Изучение вопроса упорядочения суждений в Vn-логиках. Анализ процесса формирования сложных суждений в многоаспектных векторных логиках.
Подобные документы
Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
контрольная работа, добавлен 25.03.2017Применение предобученных векторных представлений слов для статей из Трудового Кодекса. Дообучение векторных представлений с помощью юридических учебников. Построение вопросно-ответной системы с использованием расстояния между векторными представлениями.
дипломная работа, добавлен 19.08.2020Рассмотрение понятия и свойств информации; особенности ее хранения и обработки. Изучение правил представления чисел, математических и специальных символов в памяти компьютера. Принципы кодирования растровых и векторных изображений, звука, видеоинформации.
реферат, добавлен 19.04.2011Понятие алгебры логики. Основные логические операции. Логические выражения и таблицы истинности. Алгебра логики в компьютерах. Логические законы и их использование при построении схем компьютера. Программа для проверки любого закона алгебры логики.
статья, добавлен 22.03.2019Анализ разнообразия трактовок числовых адресов. Принцип последовательных уточнений в почтовых адресах. Сущность доменной системы имен. Анализ способов адресации в сети интернет. Типы адресов, их основные классы, автоматизация процесса назначения.
доклад, добавлен 23.10.2012Исследование принципов работы современных беспроводных технологий. Персональные и локальные сети. Рассмотрение особенностей реализации беспроводной технологии на юго-востоке Подмосковья. Изучение основных характеристик сетевого городского интернета.
реферат, добавлен 06.05.2019- 57. Моделирование и оптимизация процесса восполнения ресурса сложных объектов радиоэлектронной техники
Знакомство с основными особенностями моделирования и оптимизации процесса восполнения ресурса сложных объектов радиоэлектронной техники. Параметр потока отказов как наиболее информативная характеристика свойства безотказности восстанавливаемого объекта.
статья, добавлен 28.08.2016 Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
контрольная работа, добавлен 20.09.2015Общность трудностей при отображении, систематизации и изучении составов сложных систем разных типов. Ранговая формула состава (РФ). Информационная энтропия двухкомпонентной системы. Элементы языка RHA, приемы упорядочения при создании языков описания.
автореферат, добавлен 30.08.2014Понятие нечеткой логики и нечетких систем, условия их применения. Нечеткие лингвистические переменные. Описание процесса нагрева воды с помощью аппарата булевой алгебры и четкой логики. Формализация процедур логического вывода в нечетких системах.
лекция, добавлен 09.10.2013Изучение преобразования сигнала логическим элементом. Рассмотрение схемы сложения одноразрядных двоичных чисел с учетом возможности переноса в старший разряд. Реализация логики в вычислительных системах. Анализ инвертора, выполняющего функцию отрицания.
реферат, добавлен 02.05.2018Изучение проблемы использования гибридных систем для высокопроизводительных расчетов. Анализ основных характеристик платформ Nvidia Jetson TK1 и TX1 с использованием модели производительности Roofline. Построение модели производительности с помощью ERT.
дипломная работа, добавлен 27.08.2016Распознавание по отпечаткам пальцев. Идентификация по геометрии руки. Оптическое распознавание символов и электронного перевода текста. Уникальность характеристик человеческого тела. Коэффициент ложного отказа в доступе. Моделирование речевого сигнала.
реферат, добавлен 22.05.2014Рассмотрение вопроса актуальности оценки рукописной подписи. Выявление характеристик, по которым можно оценить рукописную подпись с использованием компьютерного зрения OpenCV. Реализация оценки по каждой из характеристик в виде программного кода.
статья, добавлен 25.07.2018Рассмотрение управленческих технологий, используемых для поддержки сложных технических изделий на этапах жизненного цикла. Изучение программной реализации технологии управления конфигурацией. Анализ существующих информационных систем для управления.
дипломная работа, добавлен 23.10.2016Рассмотрение основных понятий и ключевых требований корпоративных информационных систем. Выявление их роли в экономике предприятий. Изучение архитектуры и этапов проектирования. Разработка процесса внедрения программного продукта "1С:Предприятие 8".
курсовая работа, добавлен 27.03.2014Составление программы для расчетов коэффициентов линейной, квадратичной, степенной, показательной аппроксимирующих функций. Исследование числовых характеристик и качественных свойств объекта. Приближение непрерывной функции к таблично заданным значениям.
лабораторная работа, добавлен 14.08.2015Прикладные математические пакеты как вид программных систем, которые предназначены для обработки числовых данных. Электронная таблица, строка, столбец, ячейка, диапазон и диаграмма - основные элементы табличного процессора Microsoft Office Excel.
статья, добавлен 06.06.2017Изучение хронологии формирования интегрированной сетевой паутины. Рассмотрение сущности, понятий и структуры всемирной компьютерной сети Интернет. Исследование вклада в ее развитие Д. Ликлайдера и Л. Робертса. Обзор возможных архитектур передачи данных.
презентация, добавлен 21.08.2017Исследование блоков и стандартных числовых атрибутов GPSS. Характеристика метода имитационного моделирования. Изучение особенностей системы GPSS World. Укрупнённая схема моделирующего алгоритма и описание её блоков. Рассмотрение операторов языка.
курсовая работа, добавлен 28.01.2014Рассмотрение истоков формальной логики и способов мышления: понятия, высказывания и умозаключения. Алгебра высказываний и логические функции. Логические выражения и таблицы истинности; правила преобразования выражений и основы устройства компьютера.
курсовая работа, добавлен 14.06.2013Методы формирования категорных моделей сложных объектов. Анализ методов комплексного применения индуктивных и дедуктивных методов логического вывода для представления и предварительной обработки информации в информационно-аналитических системах.
статья, добавлен 31.08.2018Исследование особенностей пространственной дискретизации, преобразования информации из аналоговой формы в цифровую. Изучение интерфейса и возможностей растровых и векторных графических редакторов. Анализ хранения рисунков, систем компьютерного черчения.
презентация, добавлен 23.05.2012Представление действительных чисел в памяти компьютера в двоичных кодах с фиксированной и плавающей запятой. Форма представления и основные форматы хранения числовых данных с плавающей запятой. Выполнение арифметических операций с такими числами.
контрольная работа, добавлен 10.01.2016Характеристика особенностей prolog, которая является языком, основанным на программировании логики. Ознакомление с интерфейсом Visual Prolog. Рассмотрение рабочего окна редактора. Исследование процесса разработки графического интерфейса пользователя.
методичка, добавлен 11.12.2015