Верифицируемость

Cтраница 2

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

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

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

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

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

Схема программы и последовательность утверждений для задачи верификации. [23]

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

Гносеологический феноменализм, выражающийся в сведении на - uti o знания к совокупности чувственных данных; дескриптипизм - све-кс нсех функций науки к описанию; методологический эмпиризм - мление решать судьбу теоретического знания, исходя исключительно к i результатов его опытной проверки; вера в формально-логический ана - 1М i как единственное средство решения всех методологических проблем; принятие жесткой дихотомии аналитических и синтетических высказывании и тесно связанное с этим противопоставление формальных и факту - HI. IX наук; дихотомия теоретического и эмпирического знания вфакту - и имх науках в сочетании с тенденцией к полной редукции первого к по-i тему; верификационная теория познавательного значения, включая и индтверждаемость как ослабленный вариант верифицируемости; полная шнмииация традиционных проблем философии и абсолютное противо - 1ПН чавление науки философии. [25]

Селлар-сом и др. с позиций прагматизма. Куайн отверг также принцип верифицируемости значения, требующий подтверждения или отрицания каждого отд. [26]

Эти управляющие и измерительные устройства радикально отличаются по своей конструкции от простых коман-доаппаратов, блоков управления для станков с ЧПУ и релейно-контактных устройств, однако они обязаны унаследовать все лучшее в методике проектирования устройств предыдущих поколений. И если методы управления надежностью аппаратуры образуют уже достаточно сложившуюся область современной технологии, то обеспечение надежности и в особенности контролепригодности ( верифицируемости) программ остается наиболее трудноразрешимой проблемой в современном программировании. Наиболее детально положение дел в этой области рассмотрено в [54]; не отвлекаясь на пересказ содержания этой работы, сосредоточимся на сравнительном анализе, различных языков программирования ПЭВМ в этом аспекте. [27]

Такое определение носит весьма общий характер. Поэтому для практического использования в научной литературе разработан ряд требований, которым должна удовлетворять система показателей. Важнейшими из них, имеющими методологическое значение, являются: а) необходимая широта охвата показателями системы всех сторон изучаемого субъекта или явления; б) взаимосвязь этих показателей; в) верифицируемость. [28]

Гшптин и др.) к сохранению преимуществ классической традиции и одновременно - к обогащению ее, с учетом новых международных реалий и достижений других теоретических течений. Показательно, что один го наиболее давних сторонников транснационализма, Коохейн. Уолц говорит о потребности обогащения реалистического подхода за счет той научной строгости данных и эмпирической верифицируемости выводов, необходимость которой сторонниками традиционного взгляда, как правило, отвергалась. [29]

Реестра основополагающих принципов, принятых всеми странами, всеми бухгалтерами не существует. В разных научных и практических источниках мы можем встретить совокупность примерно одних и тех же принципов, однако, вариация присутствует практически всегда. Уместно отметить и перечень базовых принципов счетоведения, составленный Я.В. Соколовым в книге Основы теории бухгалтерского учета [ 30, с. В этом перечне содержатся следующие принципы: целостности, самостоятельности, регистрации, непрерывности, идентификации ( идентификация методом начисления), квантифицируемости, относительности, дополнительности, верифицируемости, непротиворечивости, ясности, интерпретируемости, коммуникации. С нашей точки зрения, в совокупности принципов особую значимость в настоящее время приобретает принцип коммуникации. [30]

Страницы: 1 2