Формальный аргумент

Предмет Программирование

👍 Проверено Автор24

аргумент, указываемый при объявлении или определении функции.

Научные статьи на тему «Формальный аргумент»

Техника анализа смысловой связи между аргументами в сочинении формата ЕГЭ по русскому языку

С другой стороны, отсутствие свободы в написании сочинения делает это задание формальным, сильно ограничивает...
Найти баланс между формальным характером работы и потребностью в речевом творчестве возможно при условии...
текста на содержательном и формальном уровне....
их значение для понимания соотношения аргументов....
Исправление ошибок в определениях разных видов смысловой связи между аргументами.

Статья от экспертов

Дифференцированное маркирование аргументов в формальных моделях падежа

В статье рассматривается дифференцированное маркирование аргументов (DAM) с точки зрения современных формальных моделей падежа. Утверждается, что DAM может рассматриваться как единый феномен, в основе которого лежит общая модель отклонения от прототипического кодирования грамматической функции, вызванного фактором-лицензором DAM. Благодаря этому феномен DAM может быть охарактеризован при помощи единой системы параметров, включающих локальность лицензора, наличие семантической мотивации, наличие позиционного распределения, корреляцию с согласованием. Эти параметры ложатся в основу оценки объяснительного потенциала современных формальных моделей падежа — минималистской модели приписывания падежа вершинами и конфигурационной модели. Обнаруживается, что в обеих теориях существует принципиальная возможность моделирования всех видов DAM, однако одни типы варьирования гармонируют с моделью приписывания падежа вершинами, в то время как другие типы — с конфигурационной моделью.

Creative Commons

Научный журнал

Логика и математика (их взаимосвязи и различия)

Математика является формальной наукой, которая изучает свойства и отношения чисел, фигур, структур и...
Они обеспечивают строгий и формальный подход к анализу информации и построению аргументов....
рассуждениях; ее можно приблизительно описать, с оговорками и уточнениями, как построение и исследование формальных...
Логика использует формальные языки и правила вывода для анализа аргументов и доказательства их верности...
Математика, как формальная наука, может быть очень абстрактной и теоретической.

Статья от экспертов

Описание контекстных условий формальных языков грамматики с контекстуальными аргументами

В классе грамматик с контекстуальными аргументами выделен подкласс LL(1)K-грамматик. Доказана теорема о детерминированности левостороннего вывода для грамматик класса LL(1)K. И доказана теорема, на основании которой строится анализатор для грамматик этого класса. Рассмотренная грамматика LL(1)K является довольно естественным обобщением класса LL(1)-грамматик. Используемый формализм контекстуальных аргументов позволяет описывать некоторые контекстные условия.

Creative Commons

Научный журнал

Еще термины по предмету «Программирование»

Алгоритм inplace_merge

выполняет слияние двух отсортированных частей одной последовательности.

Веб-сервис, веб-служба

(web service) вид программного обеспечения, предоставляющего свою функциональность клиентам на уровне программных интерфейсов, построенных на базе HTTP протокола.

Система Управления Базами Данных (СУБД)

программное обеспечение (информационная система), осуществляющее весь спектр операций по управлению базами данных, к которым относятся сама организация хранения данных, обработка инструкций SQL, организация резервного копирования, восстановление резервных копий и т.п.

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Попробовать тренажер