Cтраница 1
Интуитивный смысл этих утверждений должен быть совершенно ясен. [1]
Интуитивный смысл этих утверждений чрезвычайно прост: правдоподобно, что для того, чтобы получить исключенный или вполне исключенный дележ, необходим некоторый ( положительный) минимум эксцесса. I Г ] 2 есть этот минимум, или, вернее, нижняя граница. Так как понятия исключенный и вполне исключенный отличаются только предельным случаем ( знак равенства в соотношении ( 45: 4)), имеются основания для того, чтобы их нижние границы были равны. [2]
Интуитивный смысл выражения (111.28.12) совершенно очевиден. [3]
Интуитивный смысл теорем 9.3 и 9.4 состоит в том, что как классическое, так и интуиционистское пропозициональное исчисление можно интерпретировать как часть модального пропозиционального исчисления. [4]
Интуитивный смысл леммы: если мы доказали что-то про свежую константу с ( не запятнавшую себя участием в формуле з), то фактически мы доказали формулу ( р для произвольных значений переменной. [5]
Интуитивный смысл предложения 3.2.5 совершенно ясен. Поэтому все уже было бы ясно, если бы не тот факт, что вопрос касается также и а-алгебр. [6]
Поясним интуитивный смысл этих правил. [7]
В интуитивном смысле два вывода конгруэнтны, если они обладают одинаковой структурой и, следовательно, определяют один и тот же набор возможных значений для выводимого предложения. Соответствие Галуа дает семантическое определение структуры. Структурное описание вывода - это класс эквивалентности, которому он принадлежит, а, согласно соответствию Галуа, он определяется специальным подклассом интерпретаций, которые признаются допустимыми, исходя из некоторых внешних критериев. [8]
В интуитивном смысле такие композиции являются алгоритмами. Поэтому их реализация посредством машины Тьюринга служит одним из способов обоснования универсальности конструкции Тьюринга. [9]
Алгоритму в интуитивном смысле в книге противопоставляется алгоритм в математическом, или формальном смысле. [10]
Порядок ( в интуитивном смысле), заданный на D отношением фв, изображен на рис. 80 ( ср. [11]
Далеко не все тавтологии имеют ясный интуитивный смысл. Например, формула ( р - /) V ( ( / - р) является тавтологией ( если одно из утверждений р и q ложно, то из него следует все, что угодно; если оба истинны, то тем более формула истинна), хотя и отчасти противоречит нашей интуиции - почему, собственно, из двух никак не связанных утверждений одно влечет другое. [12]
Для любого алгоритма ( в интуитивном смысле) над формальным языком L, если его запись можно рассматривать как конструкцию, существует эквивалентный ему алгоритм в широком формальном смысле, имеющий ту же запись. [13]
Каков бы ни был алгоритм в интуитивном смысле над формальным языком L, если его запись может быть признана конструкцией, то существует эквивалентный ему алгоритм в широком формальном смысле, имеющий ту же запись. [14]
Элемент интерпретации может оказаться счетным в широком интуитивном смысле и несчетным внутри самой теории. Последнее означает, что среди элементов интерпретации отсутствует функция, задающая взаимно однозначное соответствие между элементами данного множества и элементами множества натуральных чисел, в то время как с теоретико-множественной точки зрения существование такой функции можно доказать. [15]