- интерпретируемая теория
- мат. interpretable theor
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ВЕРИФИКАЦИЯ — в культурологии (позднелат. verificatio доказательство, подтверждение верности или истинности чего либо; от лат. verus истинный и facio делаю) установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о… … Энциклопедия культурологии
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
НЬЮТОН — (Newton) Исаак (1643 1727) английский физик, математик, философ и теолог, который создал теоретические основания механики и астрономии, открыл закон всемирной гравитации, разработал (совместно с Лейбницем) дифференциальное и интегральное… … История Философии: Энциклопедия
Мера множества — У этого термина существуют и другие значения, см. Мера. Мера множества неотрицательная величина, интуитивно интерпретируемая как размер (объем) множества. Собственно, мера это некоторая числовая функция, ставящая в соответствие каждому… … Википедия
НЬЮТОН Исаак (1643-1727) — английский физик, математик, философ и теолог, который создал теоретические основания механики и астрономии, открыл закон всемирной гравитации, разработал (совместно с Лейбницем) дифференциальное и интегральное исчисление в математике, написал… … История Философии: Энциклопедия
Self — объектно ориентированный, прототипный язык программирования, который задумывался как развитие языка Smalltalk. Разрабатывался в лаборатории Xerox PARC, а потом в Стэндфордском университете. Это была экспериментальная разработка, целью которой… … Википедия
Волновой пакет — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
Self (язык программирования) — Self объектно ориентированный, прототипный язык программирования, который задумывался как развитие языка Xerox PARC, а потом в Стэндфордском университете. Это была экспериментальная разработка, целью которой было выяснить, насколько далеко можно… … Википедия
Земля-снежок — Возможно, Земля когда то представляла собой ледяную пустыню «Земля снежок» (англ. Snowball Earth) гипотеза … Википедия
Даль, Роберт — Алан (1915) видный представитель американской политической науки. В ряде получивших мировую известность книг, таких как «Введение в демократическую теорию» (1956), «Современный политический анализ» (1964), «Политические оппозиции в западных… … Политология. Словарь.