Cтраница 1
Неформальное определение того, что операторы L и L двойственны, содержится в формуле Грина. [1]
Можно поискать замену неформального определения формально логическим. [2]
Престиж представляет собой разновидность неформального определения поведения, которое другие ожидают получить от вас. [3]
Существует довольно большое число неформальных определений программного модуля, которые отражают его различные свойства. [4]
Существует много адекватных и в то же время неформальных определений базы данных. [5]
Элементарный объект, которым умеет управлять компьютерная программа - это переменная. Неформальное определение переменной может быть, например, таким: это место для хранения информации. Каждая переменная имеет имя, позволяющее отличить ее от других переменных. Например, может оказаться, что переменной с именем N можно доверять для хранения лишь целые числа, да и то не больше одного сразу. [6]
Возникает, однако, вопрос: составляет ли программа Гузмана теорию. Если мы воспользуемся неформальным определением, связывающим представление о полезной теории с идеей описания, то можно с определенностью утверждать, что работа Гузмана - это теория того аспекта зрительного восприятия, который мы могли бы назвать способностью к разбиению видимой сцены на части, независимо от того, представлена ли эта теория в описанном здесь виде или воплощена непосредственно в действующей программе Гузмана. Следует, однако, своевременно оговориться, что с точки зрения некоторых критериев оценки качества теорий данная теория не вполне удовлетворительна. [7]
Очевидно, что МТ задает алгоритм в смысле приведенного выше неформального определения. [8]
Пусть X - конечное или бесконечное множество. Отношением на X называется правило, по которому сравниваются его элементы. Это неформальное определение, но его вполне достаточно для наших целей. Заметим, что для определения отношения мы должны четко задать само множество; другими словами, нам должно быть ясно, какие элементы нужно сравнивать. [9]
В настоящее время алгоритм определяют более неформально - как конкретный способ выполнения некоторой работы. Применение алгоритмов выходит далеко за рамки математических задач. Например, преподаватель говорит: Вам необходимо написать два экзаменационных билета по 10 страниц каждый и один экзаменационный билет в 25 страниц, а на экзамене получить не менее 89 очков из 100 возможных, - это алгоритм сдачи экзамена за какой-либо курс обучения. Под наше неформальное определение подходит и процедура выпечки буханки хлеба - она тоже является алгоритмом. [10]
Считается, что существует некоторый алгоритм, позволяющий определять истинность или ложность р ( х) для каждого конкретного случая. Понятие множества в математике является фундаментальным. Оно является основой всех понятий, в рамках которых используются функции ( F. Способы определения множеств различными авторами могут значительно различаться. Специалисты по математической логике очень тщательно разграничивают классы и множества, чтобы с гарантией избежать проявления на множествах таких парадоксов, как парадокс Рассела ( R. Однако, во многих случаях вполне адекватным является данное здесь неформальное определение множества. [11]