- аксиоматическое описание
- axiomatic specification
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… … Философская энциклопедия
Определение (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия
Рассел Бертран — (Russell) (1872 1970), философ, логик, математик, общественный деятель; основоположник английского неореализма и неопозитивизма. Развил дедуктивно аксиоматическое построение логики в целях логического обоснования математики. Автор (совместно с… … Энциклопедический словарь
ТЕОРИЯ НАУЧНАЯ — наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях изучаемой области действительности. Примерами Т.н. являются классическая механика И. Ньютона, корпускулярная и волновая… … Философская энциклопедия
определение — (лат. definitio) логическая операция, раскрывающая содержание понятия. Напр., обычное О. термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. О. понятия термин говорит, что это… … Словарь терминов логики
Украинская Советская Социалистическая Республика — УССР (Украïнська Радянська Социалicтична Республika), Украина (Украïна). I. Общие сведения УССР образована 25 декабря 1917. С созданием Союза ССР 30 декабря 1922 вошла в его состав как союзная республика. Расположена на… … Большая советская энциклопедия
МОНГОЛЬСКАЯ НАРОДНАЯ РЕСПУБЛИКА — (Бугд Найрамдах Монгол Ард Улс) гос во в Центр. Азии; граничит с СССР (на С.) и КНР (на К)., З. и В.). Площ. 1565 тыс. км 2. Нас. 1120 тыс. чел. (1966). Св. 90% населения монголы, остальные казахи, тувинцы, китайцы и др. Столица Улан Батор. В адм … Советская историческая энциклопедия
Сциентизм — (от лат. scientia наука, знания) общее название идейной позиции, представляющей научное знание наивысшей культурной ценностью и основополагающим фактором взаимодействия человека с миром.[1] Нередко сциентисты считают «образцовыми … Википедия
Дефиниция — Запрос «Неопределённость» перенаправляется сюда. Cм. также другие значения. Содержание 1 Содержание и объём понятия 2 Виды 3 Правила дефиниции … Википедия
аксиоматический метод — способ построения научной теории, при котором какие то положения теории избираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем, посредством доказательств. Положения, доказываемые на основе аксиом,… … Словарь терминов логики
РАССЕЛ — (Russell) Бертран (1872 1970), лорд, внук премьер министра Великобритании Джона Рассела британский философ, логик, математик, социолог, общественный деятель. Крестный сын Милля. Окончил с отличием Кембриджский колледж Святой Троицы. Лауреат… … История Философии: Энциклопедия