- логическая полнота
- мат. logical completeness
Большой англо-русский и русско-английский словарь. 2001.
логическая полнота
Смотреть что такое "логическая полнота" в других словарях:
полнота — ы; ж. 1. Наличие чего л. в достаточной степени, высшая степень проявления чего л., насыщенности чем л. П. власти, ответственности, прав. П. жизни, счастья, чувств, сил. П. ответа, текста, коллекции, исследования. Обнаружить исчерпывающую полноту… … Энциклопедический словарь
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
вера и разум — ВЕРА И РАЗУМ фундаментальное соотношение двух способностей человека, явившееся важнейшей философско теологической проблемой на протяжении всего средневекового тысячелетия. В античности вопросы веры исследовались в контексте… … Энциклопедия эпистемологии и философии науки
ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения — Терминология ГОСТ Р МЭК 61508 4 2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа: 3.7.4 анализ влияния (impact analysis) … Словарь-справочник терминов нормативно-технической документации
ЖИЗНЬ — Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) [греч. βίος, ζωή; лат. vita], христ. богословие в учении о Ж.… … Православная энциклопедия
Философия — есть свободное исследование основных проблем бытия, человеческого познания, деятельности и красоты. Ф. имеет задачу весьма сложную и решает ее различным образом, стараясь соединить в одно разумное целое данные, добытые наукой, и религиозные… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
Жанры научной литературы — – исторически сложившиеся устойчивые типы произведений науч. литературы, обладающие функционально стилевой спецификой и стереотипной композиционно смысловой структурой. Науч. стиль речи реализуется в крупных и малых Ж.н.л. К первым относятся… … Стилистический энциклопедический словарь русского языка
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Логика — Гр … Википедия
