- непротиворечивое множество
- мат. consistent set
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
ГЁДЕЛЯ ТЕОРЕМА О ПОЛНОТЕ — утверждение о полноте классического исчисления предикатов: всякая предикатная формула, истинная на всех моделях, выводима (по формальным правилам классич. исчисления предикатов). Г. т. о п. показывает, что множество выводимых формул этого… … Математическая энциклопедия
ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… … Математическая энциклопедия
ИОННЫЙ РАДИУС — ИОННЫЙ РАДИУС, величина, характеризующая размер ИОНА определенного типа. Твердое тело (КРИСТАЛЛ) состоит из ионов, относящихся к одному или более типам. Эти ионы можно рассматривать как шарообразные частицы, расположенные определенным образом.… … Научно-технический энциклопедический словарь
КАРНЕАД — (Karneades) (ок. 214/213 129/128 до н.э.) др. греч. философ платоник, глава Академии (см. АКАДЕМИЯ ). К. приехал в Афины (185/180 до н.э.), где познакомился с сочинениями Хрисиппа, изучал диалектику у Диогена стоика. Затем перешел на позиции… … Философская энциклопедия
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
АПОЛОГЕТИКА — [греч. ἀπολογία защита, оправдание, заступничество; речь, сказанная или написанная в защиту кого либо; ἀπολογέομαι защищаться, оправдываться, приводить, говорить что либо в свою защиту], в общем смысле это любая защита христианства от обвинений и … Православная энциклопедия
Clive Barker\'s Undying — Разработчик DreamWorks Interactive Westlake Interactive (Macintosh) Издатель Electronic Arts Aspyr (Macintosh) Локализатор Soft Club … Википедия
Квантовая теория поля — Квантовая теория поля квантовая теория систем с бесконечным числом степеней свободы (полей физических (См. Поля физические)). К. т. п., возникшая как обобщение квантовой механики (См. Квантовая механика) в связи с проблемой описания… … Большая советская энциклопедия
БАХТИН — Михаил Михайлович (1895 1975) философ, принадлежащий постсимволическому периоду культуры серебряного века. Гимназич. образование получил в Вильнюсе и Одессе. В 1913 поступил в Новоросс. ун т, через год перевелся в Петербург, ун т на… … Энциклопедия культурологии