О свойствах обобщенных категориальных грамматик зависимостей
Исследование обобщенных категориальных грамматик зависимостей (оКГЗ), определение их нормальных форм. Обоснование абстрактности семейства оКГЗ-языков. Определение существования неполулинейных оКГЗ-языков и расширения синтаксиса и алгоритма анализа.
Подобные документы
Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 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Определение типа матриц, для которого обратная матрица тот же тип. Анализ условий, обеспечивающих невырожденность матрицы. Исследование матриц третьего порядка. Определение характеристик полей, над которыми существуют обратные матрицы исследуемых типов.
статья, добавлен 30.07.2017Определение понятия дисперсионного анализа. Создания выборок и проверка нормальности распределения результативного признака. Описание методов однофакторного дисперсионного анализа для несвязанных и связанных выборок, их графическое представление.
курсовая работа, добавлен 12.10.2016