тривиально
121Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …
122Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …
123Категория (математика) — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …
124Компланарные вектора — Три вектора (или большее число) называются компланарными, если они, будучи приведены к общему началу, лежат в одной плоскости[1]. Содержание 1 Обозначения 2 Свойства компланарности 3 Другие объекты …
125Компланарные векторы — Три вектора (или большее число) называются компланарными, если они, будучи приведены к общему началу, лежат в одной плоскости[1]. Содержание 1 Обозначения 2 Свойства компланарности 3 Другие объекты …
126Контравариантный функтор — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …
127Лемма о накачке — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку имеет… …
128Лингвистическая систематика — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …
