О свойствах обобщенных категориальных грамматик зависимостей
Исследование обобщенных категориальных грамматик зависимостей (оКГЗ), определение их нормальных форм. Обоснование абстрактности семейства оКГЗ-языков. Определение существования неполулинейных оКГЗ-языков и расширения синтаксиса и алгоритма анализа.
Подобные документы
Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015Понятие простого числа и арифметической прогрессии. Обоснование существования многого количества арифметических прогрессий, образованных из разных простых чисел. Исследование простых чисел в вопросе их принадлежности к арифметической прогрессии.
статья, добавлен 17.02.2019Определение и характерные свойства интеграла, история развития соответствующего исчисления. Криволинейная трапеция, методика ее построения и анализа. Свойства определенного интеграла, направления его применения. Исследование набора стандартных картинок.
курсовая работа, добавлен 12.11.2014Определение и обоснование вероятности состава делегации из двух женщин и одного мужчины. Математическое ожидание и дисперсия дискретной случайной величины, заданной рядом распределения. Исследование и анализ плотности вероятности случайной величины.
контрольная работа, добавлен 20.05.2015Исследование периодической краевой задачи для заданного уравнения. Определение функциональных банаховых пространств. Вычисление ограниченных проекторов на ядро и образ оператора. Расчет и обоснование изоморфизма. Доказательство представленных теорем.
статья, добавлен 26.04.2019Разработка программной реализации (с помощью языка программирования С) алгоритма цифрового синтеза радиосигнала с нелинейной частотной модуляцией. Определение длительности радиосигнала, его представление в цифровом виде. Энергия производной радиосигнала.
контрольная работа, добавлен 21.10.2017Элементы линейной алгебры, векторного анализа и аналитической геометрии. Определение значения матричного многочлена. Разложение элемента по рядам, сведение к треугольному виду. Матричное уравнение. Исследование системы на совместность методом Гаусса.
учебное пособие, добавлен 12.05.2014- 108. Рекурсивные функции
Изучение проблемы формализации алгоритма (рекурсивных функций). Определение частичной функции и упорядочивание последовательности. Теория вычислимости и тезис Черча. Элементарные операции над простейшими функциями: композиция, соединение и рекурсия.
контрольная работа, добавлен 15.04.2015 Возможность применения генетического алгоритма к задаче криптоанализа тригонометрического шифра, разработанного В.П. Сизовым. Схема построения генетического алгоритма и анализ получаемых результатов для произвольных текстов на естественном языке.
статья, добавлен 26.04.2019Теория множеств с самопринадлежностью, свойства структурного изоморфизма при описании бесконечных самоподобных множеств. Анализ и описание свойств структурного изоморфизма, прикладная интерпретация этих свойств на предметной области формальных языков.
статья, добавлен 26.04.2019Рассмотрение области математики, изучающей дискретные математические объекты и структуры. Определение особенностей нахождения оптимального алгоритма расчетов, действий, а так же описания дискретных структур. Изучение различных систем представления чисел.
статья, добавлен 18.03.2019Исследование системы на совместность методом Гаусса. Решение системы линейных алгебраических уравнений двумя методом Крамера и средствами матричного исчисления. Решение пределов, дифференциальных уравнений, определение производных функций и интегралов.
контрольная работа, добавлен 09.04.2012- 113. Сходимость рядов
Исследование сходимости рядов по признаку сходимости Даламбера. Определение интеграла с точностью до 0,001 путем предварительного разложения подинтегральной функции в ряд и почленного интегрирования этого ряда. Определение функции Лапласа.
контрольная работа, добавлен 18.03.2014 Рассмотрение особенностей исследования остаточных величин. Характеристика основных случаев применения метода Гольдфельда-Квандта. Определение значения отсутствия автокорреляции остатков. Выявление алгоритма проверки регрессии на гетероскедастичность.
презентация, добавлен 13.07.2015Определение линейных дифференциальных уравнений. Теорема существования и единственности решения задачи Коши. Уравнения с разделяющимися переменными. Метод Лагранжа и Эйлера. Локальная и интегральная теоремы Лапласа. Формула полной вероятности Байеса.
шпаргалка, добавлен 02.02.2016Наличие совокупности числовых значений, транспонированных к матрице, составленной из алгебраических дополнений соответствующих элементов - одно из условий существования присоединенной матрицы. Основные правила определения ранга матричной таблицы.
лекция, добавлен 20.09.2017Определение точек пересечения графиков и определение суммы абсцисс точек их пересечения. Определение ординаты точки пересечения. Построение графика параболы и перевернутой параболы, определение абсциссы точки. Пересечение графиков параболы и прямой.
контрольная работа, добавлен 18.12.2022Определение касательного вектора к многообразию в произвольной точке. Условия существования непрерывной кривой в трехмерном евклидовом пространстве. Тензоры как важнейший из классов величин, числовая запись которых меняется при изменении координат.
контрольная работа, добавлен 01.09.2017Формула Остроградского-Гаусса. Понятие о задачах векторного анализа и теории поля. Определение скалярного поля. Циркуляция векторного поля. Потенциальное векторное поле. Собственные интегралы, зависящие от параметра. Признаки равномерной сходимости.
курс лекций, добавлен 15.05.2016Изучение четности и нечетности функции. Анализ нахождения наименьшего положительного периода функций. Определение промежутков знакопостоянства. Возрастание и убывание функций. Нахождение точек экстремума. Характеристика алгоритма исследования функции.
презентация, добавлен 22.03.2021Построение статистического ряда распределения организаций по объему работающих активов. Определение характера связи между признаками Работающие активы и Прибыль методами аналитической группировки и корреляционных таблиц. Определение ошибки выборки.
контрольная работа, добавлен 01.03.2017- 122. Высшая математика
Установление точек разрыва функции, составление уравнения асимптот. Поиск координат вершины параболы. Определение условий существования экстремума в стационарной точке. Поиск интеграла по формуле Ньютона-Лейбница. Решение дифференциального уравнения.
контрольная работа, добавлен 25.03.2014 Определение структуры и параметров динамических объектов. Обобщенная структура и процедуры процесса идентификации. Выбор алгоритма и основные группы методов. Построение частотных и временных характеристик. Преобразование передаточной функции к форме Боде.
лекция, добавлен 22.07.2015Исследование понятий о гиперболических функциях, их основных свойствах и графики. Способ разложения этих функций в ряды Маклорена. Использование гиперболических функций при вычислении интегралов дифференциальных уравнений и в теории Относительности.
курсовая работа, добавлен 22.04.2011Определение понятия дисперсионного анализа. Создания выборок и проверка нормальности распределения результативного признака. Описание методов однофакторного дисперсионного анализа для несвязанных и связанных выборок, их графическое представление.
курсовая работа, добавлен 12.10.2016