Формализация контекстов в теории типов с записями и модулями
Исследование подходов к формализации контекстов в семантике естественного языка, основанных на теории типов с записями и модулями. Описание общих принципов формализации и ее конкретной реализации в системе Agda. Связь подхода с ситуационной семантикой.
Подобные документы
Веб-сервіси - реалізована програмними засобами система для підтримки міжкомп'ютерної взаємодії телекомунікаційних мереж. Сервіс-орієнтована архітектура - концепція розробки та управління функціональними модулями, кожний з яких доступний через мережу.
статья, добавлен 21.07.2017Описание применения универсальной когнитивной аналитической системы "Эйдос": автоматизация формализации предметной области на основе вербального описания ее объектов, формирование описательных шкал и градаций, синтез семантической информационной модели.
статья, добавлен 25.04.2017Рассмотрение сведений о языке программирования Pascal. Описание структуры программы на языке Pascal, операторов ввода-вывода данных, стандартных математических функций языка, условного оператора и оператора выбора, сведения о работе с файлами и строками.
учебное пособие, добавлен 12.08.2015Этапы проектирования основных объектов базы данных. Технология создания структуры таблиц, межтабличных связей, форм для наполнения ячеек записями. Примеры формирования запроса на вывод данных, выборку с параметром, удаление и обновление. Создание отчетов.
контрольная работа, добавлен 26.05.2017Анализ, описание, проектирование и моделирование предметной области. Разработка баз данных для предприятия. Описание атрибутов и типов полей для таблиц. Выбор инструментальных средств и языка программирования. Всевозможные нюансы создания базы данных.
курсовая работа, добавлен 22.01.2017Многопользовательские многозадачные операционные системы. Развитие и становление Linux. Неудобство командной строки в MS-DOS и Windows. Конфликт между разработчиками Microsoft и OS Linux. Принципиальные отличие систем в работе с учетными записями.
реферат, добавлен 23.12.2010Исследование языка визуального проектирования и наполнения онтологий для разработки баз знаний. Разработка схемы соответствия предложенного языка элементам языка OWL. Иллюстрация и оценка результатов программной реализации языка в системе ОРГ-Мастер.
статья, добавлен 18.01.2018Denwer как набор дистрибутивов и программная оболочка, предназначенные для создания и отладки сайтов на локальном персональном компьютере. Основные функции, предоставляемые модулями программы Drupal. Порядок установки и темизации новостной ленты.
дипломная работа, добавлен 17.07.2014Ознайомлення з модулями, за допомогою яких реалізується робота розробленого програмного забезпечення. Дослідження та характеристика основних методів класу main window. Розгляд опису та особливостей інтерфейсу користувача моделі Сонячної системи.
контрольная работа, добавлен 10.07.2017Инкапсулирование дополнительных механизмов, облегчающих управление записями и полями стандартным набором данных Delphi. Поиск в диапазоне и поиск по произвольным полям. Быстрая навигация по набору данных. Необходимость фильтрации записей в наборе данных.
лекция, добавлен 14.03.2014Характеристика основных подходов к определению искусственного интеллекта. Особенность выявления противоречий теории квантового сознания. Создание Веданской теории Валдисом Эгле в 1978 году. Главный анализ использования специфического метода познания.
статья, добавлен 11.07.2018Система мобильных приложений на iOS платформе состоит из двух модулей: клиента на ОС iOS и сервера. Архитектура мобильного приложения на платформе MVVM. Создание дополнительного класса Router, содержащий способы с логикой переходов меж модулями.
статья, добавлен 22.02.2023Функциональная структурная схема позиционного привода. Выбор двигателя привода мехатронного модуля вращательного движения. Определение передаточной и переходной функции, анализ устойчивости. Моделирование в среде прикладного программирования LabVIEW.
контрольная работа, добавлен 26.06.2014Анализ современных подходов по повышению эффективности использования информационных ресурсов промышленного предприятия. Разработка алгоритма обработки информации для формализации и оценки достижимости целей повышения эффективности использования ресурсов.
автореферат, добавлен 02.07.2018Описание и формализация процесса содержания и эксплуатации животных. Математическая модель оптимального плана продаж скота на ферме. Обоснование выбора программных средств разработки и реализации алгоритма. Функционал и интерфейс разработанной программы.
курсовая работа, добавлен 01.12.2016- 91. Система MYCIN
Диагностика и лечение заболеваний крови. Основные потоки информации между модулями. Перевод на обычный язык типичного правила MYCIN. Методика использования уровня соответствия правила. Оценка достоверности совокупности. Структуры управления в MYCIN.
реферат, добавлен 21.09.2013 Последовательность действий, которые возникают в процессе реализации некоторого ветвящегося алгоритма обмена информацией как множество узлов и ориентированных дуг. Особенности формализации технологии обмена данными в среде корпоративного портала.
статья, добавлен 27.05.2018Причины возникновения, история становления, предмет общей теории систем. Формальные и вербальные определения. Структура теории систем по Берталанфи, теоретическая и прикладная части. Абстрактно-логические и математические методы. Связь с другими науками.
презентация, добавлен 19.12.2013Описание теории автоматического управления и этапов ее формирования как науки. Анализ терминологии и концептуальных идей строительства замкнутых систем, а также теории возмущений, устойчивости и самонастраивающихся систем как части общей теории.
статья, добавлен 14.10.2018Характеристика основных причин возникновения ошибок в исходном коде сайта. Разработка инструкции по инсталляции программного обеспечения. Интеграционное тестирование — поиск проблем в интерфейсах взаимодействия между модулями информационной системы.
дипломная работа, добавлен 27.07.2015Изучение общих свойств и классификации протоколов маршрутизации. Проведение исследования внутренних и внешних шлюзовых протоколов. Проектирование сети в системе моделирования Riverbed Modeler. Характеристика основных типов и кодов ICMP-сообщений.
дипломная работа, добавлен 07.08.2018Определение исходного графа графическим, матричным и аналитическим способами. Описание системы уравнений, соответствующей сигнальному графу. Анализ сетей Петри. Элементы математической логики и теории автоматов. Математическое описание линейных систем.
контрольная работа, добавлен 11.06.2015Критерии качества даталогических моделей. Алгоритм получения наилучшего набора типов сущностей. Виды формальных типов структур, которые могут быть использованы в схеме организации данных. Метод преобразования типов сущностей в объекты модели данных.
статья, добавлен 01.09.2018Описание возможности применения информационных систем для анализа и прогнозирования изучаемых эффектов социального поведения. Рассмотрение формализации качественного анализа социологических данных средствами ДСМ-метода автоматического порождения гипотез.
доклад, добавлен 17.01.2018Решение для моделирования мебели и подготовки программ для ее производства — SWOOD Design, SWOOD Cam и SWOOD Nesting. Особенности работы с этими модулями. Специализированная библиотека соединителей. Функционал решения на примере создания модели шкафа.
статья, добавлен 10.10.2019