финитная проблема
Смотреть что такое "финитная проблема" в других словарях:
Смирнова, Елена Дмитриевна — (р. 28.04.1929) спец. по логике; д р филос. наук, проф. Род. в Киеве. Окончила филос. ф т МГУ (1954), асп. по кафедре логики того же ф та (1963). С 1963 работает на той же кафедре, в наст. вр. проф., а также с 1996 зав. сектором логики ИФ РАН, в… … Большая биографическая энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
модальная логика — МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… … Энциклопедия эпистемологии и философии науки
ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… … Математическая энциклопедия