Результаты поиска

...оследовательностная'', хотя последний термин по преимуществу употребляется в связи с логическими автоматами. ...ункционирования (то есть предполагается наличие [[Память|памяти]], которая в комбинационной логике не предусмотрена). ...

...мпьютерах. [[Нотные знаки]], [[цифры]] — также примеры конечных алфавитов. В некоторых случаях рассматриваются и бесконечные алфавиты, например, множест ...ика|компьютерной лингвистике]]), [[Информатика|информатике]] (в частности, в теории [[Язык программирования|языков программирования]]). Отдельные теорет ...

В [[Математическая логика|математической логике]] и [[Информатика|информатике]] '''рекурсивный язык''' — тип [[Формальный язык|формального языка]], также Этот тип языка не определен в [[Иерархия Хомского|иерархии Хомского]] {{Harv|Chomsky|1959}}. ...

...на́я логика''; {{lang-en|temporal logic}}) — [[логика]], в [[Высказывание (логика)|высказываниях]] которой учитывается временной аспект. Используется для опи ...ская темпоральная логика, впервые концептуализированная и сформулированная в 1950-е годы {{iw|Прайор, Артур (логик)|Артуром Прайором|en|Arthur Prior}}<r ...

{{о|подстановке как о синтаксической операции над термами|подстановках в комбинаторике|перестановка}}'' ...это операция [[синтаксис|синтаксической]] замены подтермов данного [[терм (логика)|терма]] другими термами, согласно определённым правилам. Обычно речь идёт ...

...8192, 16384, 32768, 65536... (последовательность [[oeis:A000079|A000079]] в [[Онлайн-энциклопедия целочисленных последовательностей|OEIS]]) == В математике == ...

В теории переписывающих систем интересуются отношением <math>\to</math> и его ...какой-либо другой <math>y</math> в <math>A</math> и <math>x \to y</math>; в противном случае он называется ''неприводимым'' или ''нормальной формой''. ...

...и́ни''') в [[математическая логика|математической логике]] и [[информатика|информатике]] — ...]. Замыкание Клини множества ''V'' обозначается ''V''*. Широко применяется в [[Регулярные выражения|регулярных выражениях]]. ...

...m]]}} «истинный» + {{lang-la2|[[wikt:facere#Латинский|facere]]}} «делать») в различных сферах деятельности человека может подразумевать: * в науке, проверка теоретических положений на соответствие реальности при помо ...

...кет''' — в [[Математическая логика|математической логике]] и [[Информатика|информатике]] символ <math>\vdash</math> называется «турникетом» из-за его сходства с т ...т этот знак во многих случаях и способен помещать знаки ниже или выше него в нужных местах.<ref>{{Cite web |url=http://www.ctan.org/tex-archive/macros/l ...

...2261707 |date=20180203123215 }} // Большая Российская энциклопедия.</ref>. В некоторых случаях непредикативное определение может [[Самореференция|привес ...называется '''непредикативным''', если оно содержит связанную переменную, в область изменения которой попадает определяемый объект. Свойство называется ...

...а определения, являются ли две {{не переведено 5|Структура (математическая логика)|структуры||structure (mathematical logic)}} ...дной из немногочисленных техник в теории моделей, которые остаются верными в контексте конечных моделей. Другие широко используемые техники для доказате ...

...при доказательстве невозможности доказательства того или иного предложения в рамках заданной математической теории{{sfn|Теория доказательств|с=5|1978}}. ...метики Пеано. Разработка натуральной дедукции и исчисления секвенций ввели в теорию доказательств фундаментальную идею аналитического доказательства. ...

...н|Ян Лукасевич]] изобрёл эту запись примерно в [[1920]], чтобы упростить [[Логика высказываний|пропозициональную логику]]. ...рт|Альфреда Уайтхеда]] и [[Рассел, Бертран Артур Уильям|Бертрана Рассела]] в ''[[Principia Mathematica]]''.<ref>{{книга |заглавие=Introduction to Mathem ...

...нечёткими множествами и формулируется понятие лингвистической переменной, в качестве значений которой выступают нечёткие множества. ...ся построение моделей приближенных рассуждений человека и использование их в компьютерных системах</cite>»</ref>. ...

...оторый зависит от некоторого значения. Зависимые типы играют ключевую роль в [[Интуиционистская теория типов|интуиционистской теории типов]] и построени ...зование произвольных значений, то решение о равенстве типов может включать в себя проверку равенства результата работы двух произвольных программ. Таким ...

...купности. '''''Структурная рекурсия''''' — реализация структурной индукции в форме определения, процедуры доказательства или [[Компьютерная программа|пр ...ской информатике]]{{Sfn|Штеффен, Рютинг, Хут|2018|p=179}}, где применяется в вопросах [[Семантика языка программирования|семантики языков программирован ...

'''Мода́льная ло́гика''' (от {{lang-la|modus}} — способ, мера) — [[логика]], в которой кроме стандартных логических связок, переменных и [[предикат]]ов ес ...ности модальностей). Модальные логики применимы в информатике и особенно — в философии, где суждения с модальностями применяются широко и вместе с тем з ...

...етственно, при упоминании рекурсивных функций без уточнения обычно имеются в виду частично рекурсивные функции. Введены [[Гёдель, Курт|Куртом Гёделем]]. ...можно понимать как счётчик итераций, <math>f</math> — как исходную функцию в начале итерационного процесса, выдающего некую последовательность функций < ...

...елла Карри]] — разработчика [[Комбинаторная логика|комбинаторной логики]], в которой сведение к функциям одного аргумента носит основополагающий характе ...каррирования <math>\Lambda</math> выполняет преобразование <math>h</math> в функцию <math>\Lambda(h) \colon A \to (B \to C)</math>, которая берёт аргум ...