Формализация контекстов в теории типов с записями и модулями
Исследование подходов к формализации контекстов в семантике естественного языка, основанных на теории типов с записями и модулями. Описание общих принципов формализации и ее конкретной реализации в системе Agda. Связь подхода с ситуационной семантикой.
Подобные документы
Создание работающего консольного приложения со средой C++ Builder, рассмотрение типов данных языка и операторов ввода-вывода. Ознакомление с операторами языка, использование операторов выбора и цикла. Описание работы с функциями и одномерными массивами.
методичка, добавлен 26.02.2014Ознакомление с примером кибернетического мышления. Рассмотрение и анализ общих аспектов истории развития теории автоматического управления. Характеристика истории создания интересных андроидов. Изучение основных направлений физической теории управления.
контрольная работа, добавлен 18.10.2017Идея создания нового языка программирования. Практические задачи моделирования. Стандартная библиотека С++. Набор встроенных типов данных для представления целых и вещественных чисел, символов. Литералы целых типов. Оператор определения переменной.
контрольная работа, добавлен 22.04.2013Реляционная база данных как совокупность отношений, содержащих всю информацию, которая должна храниться в информационной системе. IDEF0 – методология функционального моделирования и графическая нотация для формализации и описания бизнес-процессов.
отчет по практике, добавлен 26.09.2017Характеристика алфавита языка Java, а также таких его компонентов как литералы, комментарии и переменные. Описание выражений целого, действительного и логического типов. Анализ специфики ввода и вывода данных. Характеристика базовых структур языка.
курс лекций, добавлен 15.09.2017Общие сведения об архитектуре UNIX. Работа с файловой системой. Управление учетными записями пользователей. Низкоуровневые средства фильтрации пакетов IPFV, IPTABLES, используемые для средств защиты. Организация проксирования в UNIX, CHROOT-окружения.
презентация, добавлен 27.11.2013Основные синтаксические правила записи программ на языке Object Pascal. Области видимости. Константы и константные выражения, их использование. Классификация типов данных, объявление типов. Булевы типы данных. Указатели и операции над ними. Виды строк.
контрольная работа, добавлен 19.11.2011Типовые задачи администрирования, управление учетными записями, удаленный доступ, сервер сценариев Windows. Делегирование административных полномочий. Резервирование и восстановление Active Directory. Объекты групповой политики, построение его иерархии.
дипломная работа, добавлен 03.11.2015Порядок использования графического интерфейса, работы с командной строкой, учётными записями и профилями пользователей. Настройка рабочей среды пользователя. Создание командных файлов и сценариев. Демонстрация работоспособности команд интерпретатора.
лабораторная работа, добавлен 31.01.2017Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
статья, добавлен 18.01.2018Администратор защиты как субъект доступа, ответственный за защиту автоматизированной системы от несанкционированного доступа к информации. Управление учетными записями пользователей. Двухуровневая модель системы UNIX. Домашние директории пользователей.
презентация, добавлен 10.02.2015Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.
статья, добавлен 19.01.2018Характеристика информационного обеспечения системы управления. Расходы на оформление договоров и перераспределения сырья. Улучшение качества информации и повышение производительности. Интеграция с модулями, используемыми в концепции передачи данных.
курсовая работа, добавлен 18.09.2014Формирование навыков управления локальными учетными записями пользователей и групп. Рассмотрение возможных вариантов локального входа в систему. Локальные учетные записи пользователей. Особенности планирования новых учетных записей пользователей.
лабораторная работа, добавлен 30.10.2021Подключение источника данных к отчету. Типы соединений, используемые в проекте отчета и приложении Delphi. Основы отчетов: элементы Region, Band и DataBand, обеспечивающие размножение строк отчета в соответствии с записями источников данных.
статья, добавлен 14.03.2014Описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка в экспертных системах, интеллектуальных базах данных, обработке естественного языка, разработка компиляторов ЭВМ.
книга, добавлен 19.01.2012Управляющий модуль распорядительной или исполнительно-распределительной станции. Характеристика задач кластера. Процессорное управление модулями аналоговых и цифровых интерфейсов. Типы линейных комплектов аппаратуры МиниКОМ. Номинальный уровень передачи.
реферат, добавлен 06.12.2013Определение необходимости автоматизации производства. Изучение истории развития Microsoft Dynamics - программного обеспечения для системы MRP (material requirements planning). Ознакомление с основными различиями между модулями исследуемой программы.
реферат, добавлен 12.11.2015Рассмотрение атрибутного подхода к реализации контекстных условий при построении синтаксического анализатора языка с использованием инструментального средства SynGT (Syntax Graph Тransformations). Введение преобразователя, построенного на грамматике.
статья, добавлен 20.08.2017- 70. Машина Тьюринга
Машина Тьюринга — абстрактная вычислительная машина, предназначенная для формализации понятия алгоритма, имитирующая с помощью задания правил перехода других исполнителей, реализующих процесс пошагового вычисления; устройство, описание и схемы машины.
реферат, добавлен 21.02.2013 Исследование формализации метода Лейтнера для разработки мобильного приложения, предназначенного для заучивания иностранных слов с помощью систематических уведомлений, корректирующего параметры своей работы в зависимости от поведения пользователя.
статья, добавлен 19.03.2023Описание простых и перечисляемых типов данных. Определение понятия константы. Диапазоны представления целых и вещественных типов. Примеры программ, иллюстрирующих просмотр с целью поиска компонента с заданным значением в структурах данных типа array.
курсовая работа, добавлен 17.02.2012Рассмотрение возможностей моделирования объектов в программе LightWave 3D на примере создания трехмерной модели компьютерного стола и стула. Автоматическая синхронизация данных между модулями и редакторами. Скрипты и встроенные языки программирования.
статья, добавлен 03.03.2018Исследование теории формальных языков. Характеристика объектно-атрибутной архитектуры для реализации абстрактного автомата и транслятора языка. Особенность создания архитектуры автомата. Разработка виртуальных устройств и их программная реализация.
дипломная работа, добавлен 04.12.2019Ознакомление с возможностями языка программирования C+. Характеристика математического обеспечения. Изучение теории, необходимой для реализации задачи. Реализация решения задачи в доступном пользователям и отвечающем стандарту виде, описание интерфейса.
реферат, добавлен 08.12.2015