Формальный вывод - Большая Энциклопедия Нефти и Газа, статья, страница 1
Одна из причин, почему компьютеры могут сделать больше, чем люди - это то, что им никогда не надо отрываться от работы, чтобы отвечать на идиотские телефонные звонки. Законы Мерфи (еще...)

Формальный вывод

Cтраница 1


Более формальный вывод последнего соотношения состоит в следующем.  [1]

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

Понятие формального вывода ( доказательства) может быть распространено на тот случай, когда, кроме аксиом, дано еще некоторое количество формул З, 9Г2, , 2 ( исчисления высказываний в качестве условно истинных формул. Эти формулы уже не выводимы из аксиом ( формально не доказуемы) и не относятся поэтому к формально истинным формулам. Предположение же об их истинности носит условный характер и сохраняется лишь на протяжении рассматриваемого вывода. В отличие от аксиом исчисления высказываний, в этих формулах нельзя вообще говоря, заменять входящие в них пропозициональные буквы произвольными формулами. Иначе говоря, условная истинность, в отличие от формальной истинности, не носит тождественного характера.  [3]

Пункт 6 приведенного формального вывода мы поясним на примере.  [4]

Для обоснования этого формального вывода требуются дополнительные рассуждения, довольно, впрочем, простые; ер.  [5]

Рассмотрим содержательное описание процедуры формального вывода, состоящей из двух шагов.  [6]

Как мы увидим позже, формальный вывод уравнений преобразования для доставляющих dQ; оказывается довольно сложным.  [7]

Эти методы были использованы для формального вывода уравнений пограничного слоя и решения ряда других задач, в том числе и таких, для которых классическая теория пограничного слоя оказалась неприменимой.  [8]

Это обстоятельство, однако, несущественно для формальных выводов, имеющих дело с заведомо ковечнымн средними квадратами.  [9]

Поэтому интеграция по частям, произведенная в конце формального вывода, изложенного в § 11.22, также, законна. Тем самым / ( ж) удовлетворяет уравнению Кэптейна.  [10]

Подходящим упорядочением всех формул, встречающихся в этих формальных выводах мы с помощью ( 11) получим формальный вывод формулы ао из ( Т) - ( Т) посредством то & из ропепз.  [11]

Действительно, обращение порядка интегрирования, произведенное при формальном выводе формулы (2.1.8), законно вследствие абсолютной сходимости.  [12]

Поскольку природа образования нагаров в ДВС и в компрессорах различна, формальный вывод об аналогии теплофизических свойств их нагаров и нагаромасляных отложений должен быть доказан прямыми исследованиями.  [13]

Но этот вывод был бы неправильным: он, например, противоречит формальному выводу, следующему из ( 16) и уже сделанному нами.  [14]

Основания геометрии, постоянно руководствовался своим геометрическим смыслом, а не только правилами формального вывода, которым, безусловно, он владел в совершенстве. Пойа, единственный из опрошенных мною математиков, мыслящий с помощью слов ( там же, с. Адамара, между словами и мышлением математика нельзя ставить знак тождества, вследствие чего можно заключить, что в науке возможно невербальное мышление, а значит, и невербальное, иначе говоря, неявное знание.  [15]



Страницы:      1    2    3    4