Формализация контекстов в теории типов с записями и модулями
Исследование подходов к формализации контекстов в семантике естественного языка, основанных на теории типов с записями и модулями. Описание общих принципов формализации и ее конкретной реализации в системе Agda. Связь подхода с ситуационной семантикой.
Подобные документы
Решение для моделирования мебели и подготовки программ для ее производства — SWOOD Design, SWOOD Cam и SWOOD Nesting. Особенности работы с этими модулями. Специализированная библиотека соединителей. Функционал решения на примере создания модели шкафа.
статья, добавлен 10.10.2019Средства языка программирования. Описание и исследование наиболее наглядной задачи динамического программирования - алгоритма поиска кратчайшего пути. Проблемы реализации и использовании современного подхода к задачам динамического программирования.
курсовая работа, добавлен 05.04.2020Исследование метода проектирования корпоративных информационных систем, основанного на формализации семантики предметной области и процесса проектирования. Анализ необходимости автоматизации процесса разработки и модификации программного обеспечения.
доклад, добавлен 17.01.2018Основи CMS, історія виникнення, характеристики і особливості, функції Joomla. Меню сайту, взаємозв’язок його з модулями. Розширення в Joomla. Побудова власних компонент і модулів. Установка локального сервера. Створення бази даних MySQL для роботи з CMS.
курсовая работа, добавлен 27.02.2013Сущность концепции Blended learning, ее виды. Анализ проекта Visual Math.ru - сервер-платформы написанной на языке программирования JavaScript для просмотра в онлайн режиме лекций с визуальными модулями. Концепция библиотеки Grafar и ее критика.
курсовая работа, добавлен 27.08.2016Основные направления современного развития теории нечетких множеств Заде. Название языка, на котором происходит описание предметной области. Результаты и успехи, достигнутые при изучении и развития теории нечетких множеств, принципиально новые результаты.
дипломная работа, добавлен 17.01.2018Основные функции ядра операционной системы (ОС). Группы вспомогательных модулей ОС. Взаимодействие между ядром и вспомогательными модулями ОС. Ядро в привилегированном режиме. Многослойная структура ОС. Преимущества и недостатки микроядерной архитектуры.
курсовая работа, добавлен 14.01.2012Основные методы и алгоритмы решения задачи диспетчеризации в распределенных системах с энергоограниченными удаленными модулями. Разработка модифицированной модели структуры и математической концепции диспетчера задач. Анализ главных целей планирования.
статья, добавлен 14.07.2016Общие сведения о среде разработки прикладных программ Delphi. Специфика интерфейса, особенности пользования отмеченными модулями Delphi. Дизайнер форм, редактор и палитра. Структура инспектора объектов. Компоненты PopupMenu, Label, Edit, Button и другие.
реферат, добавлен 08.12.2017Методика формализации и расчета параметров сетевых графиков вероятностных технологических процессов производства, выбор варианта их организации. Оценка влияния характеристик отказа и восстановлений функций оборудования, используемого операциями.
статья, добавлен 29.01.2019История разработки первого объектно-ориентированного языка программирования Simula 67. Появление современных языков программирования: C++, Smalltalk, Eiffel. Рассмотрение пяти типов операций: конструктор, деструктор, модификатор, селектор, итератор.
реферат, добавлен 21.08.2017Описание модели Knowledge Net, предназначенной для формализации накопления, представления и использования знаний и данных единого информационного пространства интеллектуального предприятия, в рамках концепции Индустрия 4.0. Проектирование цифровых систем.
статья, добавлен 29.08.2021- 113. Основы информатики
Особенности операционного, процедурного и логического программирования. Разработка интерфейса пользователя. Описание алфавита, типов данных, констант и переменных языка Бейсик. Алгоритм нахождения наибольшего общего делителя двух натуральных чисел.
шпаргалка, добавлен 09.10.2011 Возникновение информатики во второй половине XX столетия. Рассмотрение разделов дискретной математики. Понятие и терминология теории графов. Различные программные проблемы раскраски карты на глобусе и плоскости. Математическая логика и теория типов.
реферат, добавлен 12.03.2015Анализ обучающих информационных технологий. Рассмотрения типов образовательных программ. Исследование принципов компьютерного тестирования. Изучение электронных учебников, математических тренажеров. Перспективы развития современных интерактивных ресурсов.
реферат, добавлен 31.05.2015Изучение современных накопителях информации, таких как ВЗУ со сменными носителями информации. Описание отдельных устройств и принципов организации и функционирования системы обмена информацией и интерфейса для внешних устройств всех типов.
курсовая работа, добавлен 25.05.2009Краткое описание существующих типов баз данных (сетевые, реляционные, иерархические). Основы языка запросов SQL: операции выбора, добавления, изменения и удаления строк или таблиц. Использование PhpMyAdmin для взаимодействия с базой данных MySql.
лекция, добавлен 06.06.2014- 118. Структура языка SQL
Изучение структуры языка программирования баз данных SQL - мощного полнофункционального сервера баз данных, отличающегося высокой производительностью, быстротой освоения и удобным интерфейсом администрирования. Классификация типов данных в языке SQL.
контрольная работа, добавлен 19.11.2009 Сущность и смысл относительного предложения. Основные правила DCG для небольшого подмножества естественного языка. Грамматики DCG, которые охватывают синтаксис и значение нетривиальных подмножеств естественного языка. Функции интерпретатора Prolog.
презентация, добавлен 17.10.2013Основные понятия, характеризующие строение и функционирование систем. Понятие элемент, подсистема, структура, связь, состояние, поведение, внешняя среда, равновесие, цель. Исследование процесса развития. Модель функционирования (поведения) системы.
лекция, добавлен 11.03.2010Создание новой базы данных в OpenOffice.ОrgBase. В новой базе данных создание структуры таблиц в режиме дизайна. Заполнение таблицы конкретными записями. Выполнение создания формы в режиме мастера. Добавление в одну таблицу 3-4 записи с помощью формы.
контрольная работа, добавлен 29.10.2008Рассмотрение типов шкал: абсолютной, относительной, порядковой, семантической. Анализ преимуществ псевдофизических логик, которые обеспечивают представление программного обеспечения на логическом языке. Изучение типов объектов: точечных и интервальных.
презентация, добавлен 19.09.2017Обзор параметров основных типов расчетных сеток и способов хранения информации о структуре таких сеток. Исследование примеров всех трех типов расчетных сеток и решение задачи расчета движения ударной волны с использованием при расчете адаптивной сетки.
статья, добавлен 21.06.2020- 124. Выражения языка С
Классы, приоритеты и ассоциативность операций языка программирования Си. Выражения и подвыражения операторов присваивания. Порядок вычисления выражений, точки следования, побочные эффекты. Неявные преобразования типов над числами и указателями типа void.
презентация, добавлен 11.10.2014 Способы образования словосочетаний из отдельных слов. Разработка способа формульной записи структуры словосочетаний естественного языка, а также методов синтеза реляционных сетей для операций соединения слов в словосочетаниях. Структура реляционной сети.
статья, добавлен 19.06.2018