Cтраница 1
Проверка истинности, достоверности идеи или найденного решения, их последующие сознательное развитие и формализация. [1]
Проверка истинности предиката sk e U осуществляется путем нахождения пары, в которой - первый элемент. [2]
Проводится проверка истинности, адекватности модели. [3]
Поскольку проверка истинности решений подстановкой в исходные уравнения является общим правилом прикладной математики и должна всегда применяться при расчетах, то преобразования, вводящие лишние решения, но не изменяющие истинных решений, широко используются в практике вычислений. [4]
Этот метод проверки истинности или ложности составных предложений называется методом истинностных таблиц. [5]
Процедура применяется для проверки истинности утверждений, которые по замыслу должны быть истинны, но в силу каких-то ошибок могут нарушаться. Если проверяемое утверждение окажется ложным, процедура приводит к прекращению работы, генерации исключения EAssertionFailed и выдаче сообщения об ошибке. [6]
В связи с этим проверка истинности какого-либо механизма должна охватывать целый ряд экспериментальных данных, если, разумеется, уже первый опыт не показывает наличие существенного расхождения кинетических кривых при любых возможных константах скорости. [7]
В научном познании используются непосредственная и опосредованная проверка истинности знания. [8]
Проблемой проверки научных знаний, т.е. проверкой истинности знания вообще, специально занимается логика как научная дисциплина, и в этом случае речь идет о верификации знания. Под верификацией знания подразумевается проверка и установление не только необходимых и строгих истин, но возможной и вероятной истины. Но точно так же верификации в этом смысле могут подвергнуться все модальности истины, в том числе и отрицательные, от частных до общих, от основных до производных и от простых до наиболее сложных. В рамках рассмотрения весьма сложной проблематики верификации знания почти всегда рассматриваются принципы и методы верификации, вопросы уровня верификации знаний и проблема верификации общих положений. [9]
В этой связи возникает иная трактовка процедуры проверки истинности гипотезы. Поппер обращает внимание на логическую трудность, встающую перед подтверждением общих гипотез в рамках гипотетико-дедуктивного подхода. Чтобы подтвердить общее предложение, надо перебрать все факты, относящиеся к его области применения. Это становится невозможным, когда число таких фактов стремится к бесконечности. Поппер вообще предлагает отказаться от процедуры подтверждения гипотезы. По его мнению, гипотеза может быть лишь апробирована выводом из нее новых предложений, используемых для описания эксперимента. [10]
В этом случае выяснение пределов совпадает с проверкой истинности. Когда высказывается какое-либо всеобщее утверждение, то всегда имеется в виду некоторый класс индивидуальных объектов, к которому это утверждение относится. Выяснение пределов общего утверждения означает выяснение границ этого класса. [11]
Высказывания должны быть сформулированы настолько четко, чтобы всегда можно было выполнить проверку истинности условий в них. [12]
Поэтому, как и в теореме 5.16 применяя процедуру сжатия, можно свести проверку истинности формулы Qi... [13]
Эксперимент не только обогащает учащихся новыми понятиями, умениями, навыками, но и является способом проверки истинности приобретенных ими знаний, способствует более глубокому пониманию материала, усвоению знаний. Он позволяет более полно осуществлять связь с жизнью, с будущей практической деятельностью учащихся. [14]
Операции арифметического отношения ( РАВН, HP, МН, МР, БЛ, БР) производят проверку истинности выражения. Перед операцией операнды приводятся к единому типу и формату, как и перед арифметическими операциями. Результат операции - одноэлементный битовый набор, где 1 означает истинность отношения. [15]