Формализация контекстов в теории типов с записями и модулями
Исследование подходов к формализации контекстов в семантике естественного языка, основанных на теории типов с записями и модулями. Описание общих принципов формализации и ее конкретной реализации в системе Agda. Связь подхода с ситуационной семантикой.
Подобные документы
Понятие распределенных информационных систем, их функциональные особенности и возможности. Типы решений в зависимости от степени формализации: структурированные, частично структурированные и неструктурированные. Система диалоговой обработки транзакций.
лекция, добавлен 26.11.2013Изучение сущности информации. Возникновение, становление и этапы развития информатики (этап математизации и формализации знаний, этап информатизации, информационно-логического представления знаний). Связь информатики с другими научными дисциплинами.
контрольная работа, добавлен 24.03.2013Преобразование целого со знаком к плавающему типу. Преобразование типов без знака. Преобразования при вычислении выражений. Преобразования при приведении типов. Явное преобразование типов, которое осуществляется посредством операции приведения типов.
контрольная работа, добавлен 06.08.2010Характеристика создания геоинформационных систем и способы управления картографической базой данных. Сканирование и перевод карты в растровое изображение, методы ее отображения. Особенности работы с программными модулями, топологическая связь данных.
курсовая работа, добавлен 06.01.2015Особенности и методы анализа гранулированной информации. Разработка вариантов гибридизации разных типов грамматик с различными структурами терминальных множеств, применяемыми в задачах анализа и - в большей степени - синтеза интеллектуальных систем.
статья, добавлен 18.01.2018Оценка неспецифической резистентности организма пациента на основе предоперационной информации о нем, получаемой методом сердечно-дыхательного синхронизма. Технология и методика когнитивной структуризации и формализации, подготовка обучающей выборки.
статья, добавлен 26.04.2017- 32. Интернет вещей
Изучение принципа работы и преимущества "Интернета вещей". Взаимодействие между поставщиками оборудования с беспроводными модулями и поставщиками услуг беспроводной связи. Подключение к глобальной сети большого количества окружающих людей объектов.
презентация, добавлен 22.02.2021 Теоретическое исследование понятия информация. Рассмотрение способов ее измерения, передачи и обработки. Анализ каналов связи, кодирования, свойств меры информации. Рассмотрение вопросов формализации информации в Internet. Изложение примеров и упражнений.
учебное пособие, добавлен 30.04.2014Изучение и характеристика основных методов и алгоритмов прогнозирования временных рядов на примере решения конкретной задачи интеллектуального анализа данных. Ознакомление с навыками работы с модулями интегрированной статистической системы Statistica.
лабораторная работа, добавлен 29.03.2022Общее исследование набора спецификаций синтаксиса и семантики языков программирования в рамках их стандартизации. Изучение основных типов и структур языков программирования. Реализация денотационных определений языков. Основные элементы теории Скотта.
учебное пособие, добавлен 17.08.2015Знакомство с основными особенностями изучения пакета Microsoft Office с помощью макрокоманд. Анализ метода формализации методических разработок практических заданий при изучении различных программных комплексов на примере программы Microsoft Excel.
статья, добавлен 19.12.2020Понятие дискреционного разграничения доступа. Невозможность существования в компьютерной системе потенциально недоступных объектов, владелец которых отсутствует. Линейно упорядоченный набор меток конфиденциальности и соответствующих им степеней допуска.
презентация, добавлен 01.04.2023Изучение общих принципов, стандартов и целей создания компьютерных сетей, их возможностей и преимуществ. Рассмотрение их типов, видов и способов передачи данных по локальным сетям, а также методов доступа к сети. Описание технологий Ethernet и Token Ring.
реферат, добавлен 25.12.2015Проблема представления темпоральных знаний о гибких процессах преобразования ресурсов. Описание ситуационной модели представления процессных знаний. Виды ограничений, влияющие на выбор конкретной ситуации. Альтернативные варианты реализации модели.
статья, добавлен 19.06.2018Целевое пространство информационных массивов, построение процедур его декомпозиции. Критерий сложности построения информационных массивов. Классификация неопределенностей при решении задачи классификации, выбор математического аппарата для формализации.
автореферат, добавлен 29.08.2018Анализ видов и типов интернет-порталов. Описание их характерных структурных элементов. Характеристика интернет порталов основанных на социальном взаимодействии, вычленение их структурных составляющих, формулирование из каких элементов состоят порталы.
статья, добавлен 27.04.2019Исследование свойств чисел с использованием метода автоматизированного системно-когнитивного анализа, основанного на теории информации. Последовательность преобразования предметных данных в информацию, а ее в знания в интеллектуальной системе "Эйдос".
статья, добавлен 15.05.2017Изучение и анализ влияния величины шага на точность интегрирования методами Рунге–Кутты второго и четвертого порядков. Ознакомление с основными программными модулями. Исследование поведения ошибки интегрирования, как функции независимой переменной.
курсовая работа, добавлен 09.12.2015Моделирование как замещение одного объекта другим с целью получения информации о важнейших свойствах объекта. Анализ формализации процесса функционирования системы на основе "Q-схемы". Этапы разработки машинной модели процесса обслуживания 500 сигналов.
контрольная работа, добавлен 06.04.2013Подходы к формализации задач, связанных с построением моделей эволюции информационных структур, учитывающих динамику развития конкретных компонентов компьютерной системы, лежащей в основе системы управления. Методы решения оптимизационной задачи.
статья, добавлен 14.01.2017Описание основных средств языка Турбо-Бейсик. Изучение структуры программы, типов данных, функций и операторов. Работа с файлами данных последовательного и прямого доступа, операции с цветом и графикой. Создание движущихся изображений и звуковых эффектов.
учебное пособие, добавлен 04.12.2009СУБД IDMS как типичный представитель систем, основанных на сетевой модели данных. Структура сетевых данных. Формирование типов связи. Примерный набор операций манипулирования данными. Ограничения целостности данных. Пример схемы сетевой базы данных.
презентация, добавлен 04.05.2012Исследование подходов для будущего развития пост-квантовой криптографии, а именно направления криптографии на базе теории решеток. Области будущих разработок в схемах электронно-цифровой подписи на базе теории решеток, внедрение в них модели Фиата-Шамира.
статья, добавлен 07.03.2019Общая характеристика семейства систем Windows Server 2003, анализ возможностей. Рассмотрение способов управления учетными записями пользователей. Основные способы обслуживания операционной системы. Знакомство с основами системного администрирования.
курсовая работа, добавлен 28.07.2013Порядок настройки рабочей среды пользователя, методы выделения наиболее часто выполняемых программ. Работа с учётными записями пользователей. Демонстрация работоспособности основных команд встроенного интерпретатора. Процесс создания командных файлов.
курсовая работа, добавлен 23.10.2013