Понятия со словом «комбинирующий»
Связанные понятия
Абстрактный семантический граф — это более высокий уровень абстракции, чем абстрактное синтаксическое дерево (АСД), которое используется для описания синтаксической структуры выражения или программы.
Транскор (англ. trancecore) — форма хардкор-техно, а также разновидность пост-хардкора/металкора, в которых используются транс, эйсид-звуки и семплы.
Комбинато́рное программи́рование (англ. function-level programming) — парадигма программирования, использующая принципы комбинáторной логики, то есть не требующая явного упоминания аргументов определяемой функции (программы) и использующая вместо переменных комбинаторы и композиции. Является особой разновидностью функционального программирования, но, в отличие от основного его направления, комбинаторное программирование не использует λ-абстракцию).
Абстра́ктный ме́тод (или чистый виртуальный метод (pure virtual method — часто неверно переводится как чИсто виртуальный метод)) — в объектно-ориентированном программировании, метод класса, реализация для которого отсутствует. Класс, содержащий абстрактные методы, также принято называть абстрактным (там же и пример). Абстрактные методы зачастую путают с виртуальными. Абстрактный метод подлежит определению в классах-наследниках, поэтому его можно отнести к виртуальным, но не каждый виртуальный метод...
Тип-сумма (англ. sum type; также Σ-тип, меченое объединение) — конструкция в языках программирования и интуиционистской теории типов, тип данных, построенный как дизъюнктное объединение исходных типов.
Типаж (англ. trait) — абстрактный тип данных, используемый как «простая концептуальная модель для структурирования объектно ориентированных программ». Типажи подобны примесям, но могут содержать только методы. Также отличается способ разрешения конфликтов — типажи не допускают совпадения названий методов.Типажи являются основой языка Rust и встроены в язык Scala, в PHP начиная с версии 5.4, в вариант Squeak языка Smalltalk с версии 3.9, в Perl 6 (где они называются «роли»), для Perl 5 — реализованы...
Свёртка списка (англ. folding, также известна как reduce, accumulate) в программировании — функция высшего порядка, которая производит преобразование структуры данных к единственному атомарному значению при помощи заданной функции. Операция свёртки часто используется в функциональном программировании при обработке списков. Свёртка может быть обобщена на произвольный алгебраический тип данных при помощи понятия катаморфизма из теории категорий.
Комбинационная логика (комбинационная схема) в теории цифровых устройств — двоичная логика функционирования устройств комбинационного типа. У комбинационных устройств состояние выхода однозначно определяется набором входных сигналов, что отличает комбинационную логику от секвенциальной логики, в рамках которой выходное значение зависит не только от текущего входного воздействия, но и от предыстории функционирования цифрового устройства. Другими словами, секвенциальная логика предполагает наличие...
Векторная графика — способ представления объектов и изображений (формат описания) в компьютерной графике, основанный на математическом описании элементарных геометрических объектов, обычно называемых примитивами, таких как: точки, линии, сплайны, кривые Безье, круги и окружности, многоугольники.
Коиндукция в информатике — метод для определения и доказательства свойств систем параллельно взаимодействующих объектов (обобщённо). С математической точки зрения является дуальной к структурной индукции.
Музыка́льное программи́рование — процесс создания музыки при помощи электронных устройств, таких как секвенсоры и компьютерные программы. Основными способами программирования являются семплирование и ввод с MIDI-устройств. Программирование используется практически во всех жанрах электронной музыки, а также хип-хопа, начиная с 1990-х годов. Его также применяют в поп- и рок-музыке, в отдельных случаях в джазовой и современной классической музыке. В XXI веке программирование стало частью направлений...
Эталонная модель (англ. reference model, master model) — это абстрактное представление понятий и отношений между ними в некоторой проблемной области. На основе эталонной строятся более конкретные и детально описанные модели, в итоге воплощённые в реально существующие объекты и механизмы. Понятие эталонной модели используется в информатике.
Звукова́я систе́ма, правильнее звуковысо́тная систе́ма (нем. Tonsystem, от греч. σύστημα) — материальная основа музыкально-логических отношений гармонии. Термин восходит к древнегреческой теории музыки (гармонике), где словом др.-греч. σύστημα обозначался любой звукоряд от трёх ступеней и более (все возможные в звукоряде ступени охватывала так называемая Полная система).
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных...
Hyphy (Ха́йфи) — направление хип-хопа, зародившееся в 1990-х годах в районе Сан-Франциско — область залива.
Синтаксическая диаграмма — это направленный граф с одним входным ребром и одним выходным ребром и помеченными вершинами. Синтаксическая диаграмма задаёт язык. Цепочка пометок при вершинах на любом пути от входного ребра к выходному — это цепочка языка, задаваемого синтаксической диаграммой. Поэтому можно считать, что синтаксическая диаграмма — это одна из форм порождающей грамматики автоматных языков. Синтаксические диаграммы и конечные автоматы имеют тесную связь: любой автоматный язык задаётся...
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Абстрактное синтаксическое дерево (АСД) — в информатике конечное помеченное ориентированное дерево, в котором внутренние вершины сопоставлены (помечены) с операторами языка программирования, а листья — с соответствующими операндами. Таким образом, листья являются пустыми операторами и представляют только переменные и константы.
Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов. Средствами элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика.
Есте́ственный язы́к — в лингвистике и философии языка язык, используемый для общения людей (в отличие от формальных языков и других типов знаковых систем, также называемых языками в семиотике) и не созданный целенаправленно (в отличие от искусственных языков).
Прогрессивный транс (progressive trance) — подстиль музыкального жанра транс. Название жанра обусловлено тем, что в музыкальных мелодиях есть так называемые прогрессии, то есть такое последовательное расположение аккордов и комплексно проработанных ударных, создающих ощущение развития и движения. Характерная скорость прогрессивного транса — 128-132 ударов в минуту.
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
Полнота по Тьюрингу — характеристика исполнителя (множества вычисляющих элементов) в теории вычислимости, означающая возможность реализовать на нём любую вычислимую функцию. Другими словами, для каждой вычислимой функции существует вычисляющий её элемент (например, машина Тьюринга) или программа для исполнителя, а все функции, вычисляемые множеством вычислителей, являются вычислимыми функциями (возможно, при некотором кодировании входных и выходных данных).
Диаграмма обзора взаимодействия (англ. Interaction overview diagram) — одна из разновидностей диаграммы деятельности в языке моделирования UML, которая может включать в себя также элементы диаграммы последовательности. Цель её создания ставится как увязывание в единое целое потока управления между узлами из диаграмм деятельности с последовательностью сообщений между линиями выполнения диаграмм последовательности. Расширение синтаксиса осуществляется за счёт использование ссылок на взаимодействия...
Компонентно-ориентированное программирование (англ. component-oriented programming, COP) — парадигма программирования, существенным образом опирающаяся на понятие компонента — независимого модуля исходного кода программы, предназначенного для повторного использования и развёртывания и реализующегося в виде множества языковых конструкций (например, «классов» в объектно-ориентированных языках программирования), объединённых по общему признаку и организованных в соответствии с определёнными правилами...
Полиритмия — сочетание в музыкальном произведении двух (и более) самостоятельных ритмических рисунков в рамках одного размера.
Реляционная модель данных (РМД) — логическая модель данных, прикладная теория построения баз данных, которая является приложением к задачам обработки данных таких разделов математики, как теория множеств и логика первого порядка.
Параметрическое моделирование (параметризация) — моделирование (проектирование) с использованием параметров элементов модели и соотношений между этими параметрами. Параметризация позволяет за короткое время «проиграть» (с помощью изменения параметров или геометрических соотношений) различные конструктивные схемы и избежать принципиальных ошибок.
Функциональный объект (англ. function object), также функтор, функционал и функционоид — распространённая в программировании конструкция, позволяющая использовать объект как функцию. Часто используется как callback, делегат.
Свобо́дная импровиза́ция (англ. Free improvisation) — музыкальная импровизация, которая реализуется без каких-либо изначально заданных правил, то есть не ограничена никакими жанровыми, стилистическими, гармоническими, мелодическими, ритмическими и прочими рамками.
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.
Метамодель в информатике — модель, описывающая другую модель; транзитивное отношение между двумя моделям (например: если модель M1 описывает язык L0, в котором формулируется модель M0, то M1 является метамоделью М0; если же модель M2 описывает язык L1, в котором была сформулирована модель М1, то М2 — это метамодель M1, а M2 является тогда для M0 мета-метамоделью).
Комбинаторное
программирование (также программирование, свободное от указателей и Бесточечное программирование) — парадигма программирования, в которой при объявлении функций не используются промежуточные переменные, но составляются цепочки из функций.
Бриколаж (от фр. bricolage) — термин, использующийся в различных дисциплинах, в том числе в изобразительном искусстве и в литературе, и означающий создание предмета или объекта из подручных материалов, а также сам этот предмет или объект.
Динамической геометрией часто называют программные среды, которые позволяют делать геометрические построения на компьютере таким образом, что при движении исходных объектов весь чертёж сохраняется. Активно используется в образовании.
Подробнее: Динамическая геометрия
Теория функций, также функциональная теория (нем. Funktionstheorie) в теории музыки — учение о специфических значениях аккордов в классико-романтической тональности. Внедрена и разработана в трудах немецкого музыковеда Гуго Римана (впервые в его книге «Упрощённая гармония», опубликованной в 1893 году).
Постминимали́зм — искусствоведческий термин, вошедший в оборот в начале 1970-х годов для описания особой тенденции в различных сферах искусства, которая отталкивалась от предшествующего ей минимализма — как в стремлении его развить (через сохранение приверженности формальной простоте), так и наоборот преодолеть (стремясь к более широкому смысловому наполнению).
Задача выполнимости формул в теориях (англ. satisfiability modulo theories, SMT) — это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT-формул являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п.
Коммутант в общей алгебре — подсистема алгебр, содержащих групповую структуру (подгруппа, подкольцо, в наиболее общем случае — подгруппа мультиоператорной группы), показывающая степень некоммутативности групповой операции.
Минимал-техно (англ. Minimal-techno) — минималистичный поджанр техно, характеризующийся атональностью, аскетичным, нарочито упрощённым звукорядом и мелодикой.
Альтернативная алгебра — алгебра над полем, умножение в которой является альтернативным. Каждая ассоциативная алгебра, очевидно, альтернативна, однако существуют и неассоциативные альтернативные алгебры, примером которых являются октавы. Обобщение октав, седенионы, уже не обладают свойством альтернативности.
Абстрактный класс в объектно-ориентированном программировании — базовый класс, который не предполагает создания экземпляров. Абстрактные классы реализуют на практике один из принципов ООП — полиморфизм. Абстрактный класс может содержать (и не содержать) абстрактные методы и свойства. Абстрактный метод не реализуется для класса, в котором описан, однако должен быть реализован для его неабстрактных потомков. Абстрактные классы представляют собой наиболее общие абстракции, то есть имеющие наибольший...
Мягкие вычисления — понятие, введённое Лотфи Заде в 1994 году, объединяющее в общий класс неточные, приближённые методы решения задач, зачастую не имеющие решение за полиномиальное время. Задачи, решаемые такого класса методами, возникают в области биологии, медицины, гуманитарных наук, робастного управления, менеджменте.
Нейро-нечёткие системы или Нечёткие нейронные сети — это системы из области искусственного интеллекта, были предложены Ж. С. Р. Чангом, которые комбинируют методы искусственных нейронных сетей и систем на нечёткой логике. Нейро-нечёткие системы являются результатом попытки создания гибридной интеллектуальной системы, которая бы давала синергетический эффект этих двух подходов путём комбинирования человекоподобного стиля рассуждений нечётких систем с обучением и коннекционистской структурой нейронных...
Архетип — это формальная модель понятия предметной области, являющаяся уточнением эталонной информационной модели, выраженным в виде ограничений, накладываемых на эталонную информационную модель, и представленным с помощью определенного формального аппарата в форме машиночитаемых и, одновременно, понятных человеку выражений.
Конечный автомат с выходом — разновидность детерминированного конечного автомата, дополненная выходным алфавитом и функцией выходов.