термами

См. также в других словарях:

• АВТОМАТОВ СПОСОБЫ ЗАДАНИЯ — варианты описания автоматов, их функционирования или поведения. А. с. з. зависят от подхода к определению понятия автомата. При макроподходе (см. Автомат конечный).описывается внешнее поведение автомата; при микроподходе задание должно содержать… …   Математическая энциклопедия

• Рим город* — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Рим, город — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• АВТОМАТ — управляющая система, являющаяся автоматом конечным или некоторой его модификацией, полученной путем изменения компонент или функционирования. Основное понятие конечный А. возникло в середине 20 в. в связи с попытками описать на математическом… …   Математическая энциклопедия

• Подстановка — Это статья о подстановке как о синтаксической операции над термами. Возможно, вас интересует перестановка. В математике и компьютерных науках подстановка  это операция синтаксической замены подтермов данного терма другими термами, согласно… …   Википедия

• Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия

• Лямбда-куб — Лямбда куб. Стрелка вдоль каждого ребра указывает на направление включения; более простая система является частным случаем более сложной. Лямбда куб (λ куб) задает единообразное описание восьми различных систем типизированного лямбда исчисления с …   Википедия

• Расширенная Бэкус — Наурова форма — Расширенная форма Бэкуса Наура (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие.… …   Википедия

• Расширенная форма Бэкуса-Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия

• Расширенная форма Бэкуса—Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия