- рекурсивная эквивалентность
- мат. recursive equivalence
Большой англо-русский и русско-английский словарь. 2001.
рекурсивная эквивалентность
Смотреть что такое "рекурсивная эквивалентность" в других словарях:
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… … Большая биографическая энциклопедия
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
СМИРНОВ — Георгий Лукич (р. 14.11.1922, хутор Антонов Октябрьского р на Волгоградской обл.), сов. философ и парт. деятель, чл. корр. АН СССР (1981). Чл. КПСС с 1943. Окончил в 1950 Саратовскую парт. школу, в 1952 историч. факультет Волгоградского… … Философская энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
СМИРНОВ Владимир Александрович — (2.03.1931, Москва 12.02.1996, Москва) логик и философ, д р философских наук, проф. Окончил философский ф т МГУ (1954) и аспирантуру того же ф та по кафедре логики (1957). С 1961 г. в Ин те философии АН СССР (РАН), с 1988 г. руководитель… … Русская Философия. Энциклопедия
