Формализация контекстов в теории типов с записями и модулями
Исследование подходов к формализации контекстов в семантике естественного языка, основанных на теории типов с записями и модулями. Описание общих принципов формализации и ее конкретной реализации в системе Agda. Связь подхода с ситуационной семантикой.
Подобные документы
Манипулирование файловыми данными. Ограниченный круг запросов к информационной системе. Основные черты баз данных. Описание предметной области задачи. Графическое представление модели "сущность-связь". Иерархическое отношение между записями двух типов.
реферат, добавлен 07.11.2017Варианты реализации универсального программного интерфейса, полностью автоматизирующего первый этап системно-когнитивного анализа данных - когнитивной структуризации и формализации предметной области, отличающейся формой представления исходных данных.
статья, добавлен 27.04.2017Изложение принципа управления учетными записями пользователя: создание пользователя базы данных, учетной записи; роли базы данных (встроенные, пользовательские); применение языка Transact-SQL; использование Обозревателя объектов и Обозревателя шаблонов.
методичка, добавлен 15.04.2014Відсутність можливості одночасного оновлення і розрахунків в одному модулі - один з основних недоліків інформаційної системи планування та управління ресурсами підприємства. Характеристика специфічних особливостей розподілу інфотипів між модулями.
статья, добавлен 14.10.2018Порядок создания учетных записей пользователей для компьютеров, состоящих в рабочей группе и в домене. Управление учетными записями при помощи диалога "Управление УЗП", оснастки "Локальные пользователи и группы" и на SQL Server. Хранение данных.
курсовая работа, добавлен 09.03.2010Понятие типов, принципов работы с языком в императивной и функциональной реализации. Исследование таких синтаксических конструкций как кортежи и записи. Понятие "дискриминационный объединённый". Создание типов путем "сбора" существующих типов вместе.
статья, добавлен 27.04.2019Понятия основы системы безопасности. Идентификация и ее присвоение субъекту. Процедура обеспечения доступа к элементам системы. Разрешения и их определения действий. Управление учетными записями сервера. Требования к паролям входа в учетную запись.
статья, добавлен 15.04.2014Понятие модели и этапы моделирования. Исследование материальных и информационных моделей. Построение моделей для изучения объектов, процессов, явлений. Упрощенное представление о реальном объекте, процессе или явлении. Основной тезис формализации.
контрольная работа, добавлен 29.10.2013Бизнес-процессы движения обучающихся в ВоГУ. Взаимодействие сервисов и информационных систем. Автоматическая система управления учётными записями студентов и работников. Программная реализация разработанной системы. Моделирование новой структуры АС УЗОР.
дипломная работа, добавлен 23.12.2019Технологии компьютерного визуального графоаналитического системного моделирования процессов управления. Средства для формализации процессов. Описание базовых конструкций процесса. Особенности преобразования терминов исчисления в конструкции языка Promela.
автореферат, добавлен 27.03.2018Описание подхода, основанного на элементах статистической теории обучения и вероятностных трактовках взаимозависимости между входами и выходами нейронных сетей по их обучению и тестированию. Задачи распознавания урофлоурограмм заболеваний в урологии.
статья, добавлен 13.01.2017Понятие модели и моделирования. Модели объектов и процессов. Статические, динамические, материальные, информационные модели, этапы моделирования. Формализация текстовой информации. Основные элементы таблицы. Этапы формализации при построении графа.
презентация, добавлен 05.06.2014Изучение структуры простейшей базы данных. Анализ типов информации, применяемой при работе с Microsoft Access. Проведение работы с таблицами, запросами, формами, отчетами, страницами, макросами и модулями. Исследование основного руководства пользователя.
курсовая работа, добавлен 20.12.2017Рассматривается контекстно-ориентированный подход к управлению данными в системах концептуального моделирования. Процесс контроля корректности всех этапов процесса моделирования на основе гибко модифицируемых и оперативно активируемых контекстов.
статья, добавлен 18.01.2018Розробка інформаційної та математичної моделі розподіленої комп’ютерної системи з енергообмеженими вимірювальними модулями. Оптимізація енергоспоживання віддалених модулів. Аналіз результатів експерименту на базі віддалених п’єзоелектричних модулів.
статья, добавлен 25.10.2016Ознакомление с основными объектами базы данных Access: таблицами, отчетами, запросами, макросами, модулями, формами. Определение ограничений на имена полей, которые действуют в Microsoft Access. Характеристика основных типов связей между таблицами.
реферат, добавлен 01.03.2015Система типов - гибко управляемый синтаксический метод доказательства отсутствия в программе определенных видов поведения при помощи классификации выражений языка по типам вычисляемых ими значений. Связь между типами и множествами. Выделение подтипа.
книга, добавлен 14.02.2012Изучение особенностей объектно-ориентированного программирования. Исследование современной системы типов языка С#. Рассмотрение семантики присваивания и передачи аргументов. Процесс преобразования между ссылочными и значимыми типами в программе.
лекция, добавлен 31.10.2016Метод формализации правил оценивания деятельности офицера боевого управления автоматизированного командного пункта (оператора) в процессе тренажной подготовки. Оценка действий оператора (радиообмен, пультовые операции, логические действия и др.).
статья, добавлен 29.06.2016Развитие навыков формализации и моделирования на примере искусственно созданных предметных областей, определенных среди логических задач повышенной сложности. Использование основных языков логического программирования и средств математической логики.
статья, добавлен 26.09.2017Изучение принципов математического описания элементов пользовательских интерфейсов автоматизированных рабочих мест операторов судовых электроэнергетических систем. Описание метода формализации процесса работы оператора с экранными элементами управления.
статья, добавлен 12.08.2016Характеристика основных методов и механизмов правового регулирования для формализации и моделирования процессов сбора, движения и преобразования информации. Использование программирования для проведения и анализа информационных процессов на ЭВМ.
контрольная работа, добавлен 22.11.2009Изучение линейных задач оптимизации в конечномерных пространствах. Описание основных типов прикладных задач линейного программирования и методов их решения. Анализ теории двойственности и поиск путей применения линейного программирования в теории игр.
учебное пособие, добавлен 02.04.2014Сущность и классификация информационных технологий, их разновидности и сферы практического применения, предъявляемые требования и значение. Роль и причины информационных революций в истории развития цивилизации. Примеры формализации и техническая база.
шпаргалка, добавлен 22.09.2016Процесс перехода из реальной области в виртуальную посредством формализации системы с помощью математических соотношений. Структура пакетов протокола уровня приложений. Адресация и статическая маршрутизация в IPv 4-сетях. Организация беспроводных сетей.
лабораторная работа, добавлен 16.12.2021