Sense #0 contexts

… установим существование неалгебраических чисел. Построим взаимно однозначное соответствие между A и некоторым подмножеством Q . Это будет означать, что A -- конечно либо счетно. Но поскольку <formula …

… случае задачи синтаксической типологии сводились бы только к установлению для каждого языка подмножества синтаксических функций, которые он выбирает из выделенного общего набора. В действительности, однако, …

… существование быстрого решения. Приведем пример NР-полной задачи. 2.1. Задача о суммах подмножеств Задана пара (S, t), где S = <y …

… <formula>. Обратно, для каждого подмножества K можно ввести свойство Q : «быть элементом K », и опять-таки будет выполнено …

… будет выполнено соотношение (*) . Таким образом, свойство -- это почти то же самое, что подмножество: «язык свойств» и «язык подмножеств» тривиально переводимы один в другой. (На языке …