непротиворечивость
101Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
102Математическое моделирование — Математическая модель это математическое представление реальности[1]. Математическое моделирование процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат, по сути… …
103Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
104Проблемы Гилберта — Проблемы Гильберта список из 23 кардинальных проблем математики, представленный Давидом Гильбертом на II Международном Конгрессе математиков в Париже в 1900 году. Тогда эти проблемы (охватывающие основания математики, алгебру, теорию чисел,… …
105Семьи — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …
106Семья языков — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …
107Семья языковая — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …
108Языковая семья — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …
109Языковая таксонимия — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …
110логичность — последовательность, связность, связь, стройность; разумность, неслучайность, непротиворечивость, обоснованность, логика, закономерность, закон. Ant. нелогичность, непоследовательность, алогичность Словарь русских синонимов. логичность 1.… …
