модельная полнота
Смотреть что такое "модельная полнота" в других словарях:
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ТАРСКИЙ — (Tarski) Альфред (1901 1983) пол. логик и математик. Изучал математику и философию в Варшаве в 1919 1923; его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925 1939 Т. преподавал… … Философская энциклопедия
Цетановое число — Цетановое число характеристика воспламеняемости дизельного топлива, определяющая период задержки воспламенения смеси (промежуток времени от впрыска топлива в цилиндр до начала его горения). Чем выше цетановое число, тем меньше задержка и… … Википедия