Проверка - истинность
Cтраница 2
Логические задачи, встречающиеся при машиностроительном проектировании, в свою очередь можно разделить на две группы: задачи, связанные с проверкой истинности ( или ложности) различных простых и сложных высказываний, определяющих взаимосвязи и характеристики объектов и процессов проектирования; задачи, связанные с выбором решения из множества известных вариантов решений на основе анализа множества условий, определяющих этот выбор. Эти задачи являются важнейшими и массовыми в процессе проектирования. [16]
К числу фундаментальных положений и принципов науки относятся прежде всего методологические нормы научного знания, в частности принцип единства логического и исторического, правила теоретической интерпретации и операционализа-ции понятий, построения и проверки истинности теории, обоснования надежности знания. Сюда же включаются структурные механизмы определения объекта и предмета науки, научного н эмпирического факта, объяснения социальных законов и категорий. Теория и эмпирия могут устаревать ( с различной скоростью), но методология остается как система принципов, которая дисциплинирует мышление, придает ему логическую стройность, повышает культуру социологического анализа. [17]
Разумеется, некоторые критики возразят, что второй тип исследования, поскольку он включает как количества, так и цены, вовсе не измеряет производство и ни в каком смысле не является проверкой истинности теории предельной производительности. Безусловно, это несколько иной тип производственной функции по сравнению с функцией, основанной на количественных показателях. [18]
 |
Зависимость ущерба от дефицита мощности. [19] |
Необходимо заметить, что ( 6 - 44) и ( 6 - 45), выражающие достаточные условия для SIOQ и то, написаны в кратчайшей форме, так как в каждой конъюнкции опущены члены с отрицанием. Проверка истинности таких формул на ЦВМ довольно проста. [20]
Формулы, обладающие подобным свойством, принято называть нумерически. Проверка истинности предиката, нумерически выражаемого такой формулой, при любом наборе значений предметных переменных может быть проведена, в силу сказанного, конструктивным путем. В построенной нами формальной арифметической системе каждая формула без переменных является разрешимой, а каждая формула без кванторов - нумерически разрешимой формулой. [21]
Для проверки истинности обоих высказываний требуется один и тот же уровень обработки, но они различаются по частоте совместного появления входящих в них слов. Ее результаты показывают, что время, требуемое для оценки достоверности семантических высказываний, сравнительно мало зависит от уровней обработки. Время, затрачиваемое на обработку и высоко -, и низкочастотных предложений не должно значительно зависеть от количества уровней между субординатами9 и свойствами. [22]
Легко видеть, что если R - каноническая переписывающая система, то каждый терм имеет относительно R единственную нередуцируемую форму. Поэтому для проверки истинности равенства s Et нужно только привести s и / к их нередуцируемым формам и посмотреть, совпадают ли они. [23]
Принципы научной методологии не накладывают никаких жестких ограничений на характер создаваемых моделей, хотя и желательно, чтобы они не содержали логических противоречий. Зато при проверке истинности этих моделей признается в конечном счете лишь один единственный критерий - степень соответствия экспериментальным данным. Предпочтение должно отдаваться той модели ( гипотезе, теории), которая позволяет описать большее количество экспериментальных данных при минимальном числе исходных посылок. [24]
Практика выполняет роль критерия истины в прогностическом познании через научную достоверность прогноза на основе законов науки. С этим способом проверки истинности прогнозов тесно связаны такие формы проверки всех видов знания, как логическая доказательность, чувственная достоверность, эксперимент и интуитивная оценка. Из них для экономического прогнозирования особенно важны логическая доказательность, эксперимент и интуиция. [25]
Задачи 9 и 10 называют двумя основными задачами теории сложных систем. Задачу 9 решают проверкой истинности условий, образующих Q, производя при этом расчеты расходов ресурсов. Задачу 10 решают одним из следующих четырех путей. [26]
Больше того: с проверки истинности этой идеи, казалось бы, и нужно было начинать. Во всяком случае, так поступило бы подавляющее большинс. [27]
Аудиторский контроль в России является относительно новым направлением контроля за финансово-хозяйственной деятельностью организаций. Аудит в узком понимании подразумевает проверку истинности докладов и заявлений руководства и отчетность по результатам такой проверки. [28]
Функции доступа могут считывать или отображать данные. Другим распространенным применением функций доступа является проверка истинности либо ложности условий - подобные функции часто называют предикатными функциями. Примером предикатной функции может служить функция isEm - pty для любого контейнерного класса, такого, как связанный список, стек или очередь. Программа обычно проверяет условие isEmpty перед попыткой считывания еще одного элемента из контейнерного объекта. Предикатная функция isFull может проверять объект контейнерного класса, чтобы установить, что в нем отсутствует дополнительное пространство. [29]
Функции доступа могут читать или отображать данные. Другим типичным применением функций доступа является проверка истинности или ложности условий - такие функции часто называют предикатными функциями. Примером предикатной функции могла бы быть функция isEmpty для любого класса контейнера - класса, способного содержать внутри себя много объектов, например, связного списка, стека или очереди. [30]
Страницы: 1 2 3 4