Cтраница 1
Проверка доказательств производится способом, устанавливаемым составом арбитража. Состав арбитража может возложить производство проверочных действий на одного из арбитров. [1]
Нередко собранные в ходе проверки доказательства заставляют аудитора осуществить комплекс работ с администрацией экономического субъекта в соответствии с Правилом ( стандартом) аудиторской деятельности Действия аудитора при выявлении искажений бухгалтерской отчетности [ 23, с. [2]
Одним из легко доступных для проверки доказательств исключительной адаптивности микроорганизмов является повреждение различных пластических масс и синтетических волокон. Микробиологические исследования показали, что вскоре после практического использования волокна нитрон, на нем появилась и прижилась микрофлора, состоящая из нескольких видов бактеррш и грибов, разрушающих это волокно. Трудно сказать, в каких условиях будет затухать приспособительная активность микроорганизмов. Однако уже известны многие средства, ограничивающие их жизнедеятельность, и несомненно, что при плодотворном содружестве химиков и микробиологов достигнутые успехи будут преумножены. [3]
Случай d 1, а также проверку доказательства при d - 1 оставляем читателю. [4]
Понятно, что первая задача по завершении классификации - проверка доказательства для устранения упомянутых локальных ошибок. [5]
Вполне осуществимым и уже сегодня практичным автоматизированным средством является система проверки доказательств. Если ей сообщить шаги доказательства, выполненного человеком, она может проверить соответствие каждого шага известным ей правилам вывода. Таким образом она может искать ошибки в подготовленных человеком доказательствах. Однако остальные доказывающие системы ( за исключением систем проверки доказательств) еще долгое время вряд ли будут применимы к реальным программам. [6]
Необходимо отметить, что отыскание такого доказательства, или последовательности правильных формул, совершенно отлично от проверки уже имеющегося доказательства. Для проверки доказательства каждую его строку необходимо исследовать по отношению к предыдущим строкам, чтобы определить, какой закон логики был использован для ее вывода. Такую проверку было бы довольно просто запрограммировать: каждая формула, или строка доказательства, была бы списком символов или слов в памяти машины, а законы логики - подпрограммами. Будем считать, что для нашей машины такая программа проверки доказательства уже составлена. [7]
Заседание арбитражного суда состоит из трех частей: подготовительной, рассмотрения спора по существу ( исследование, проверка доказательств) и принятие решения по делу. [8]
Например, недетерминированный алгоритм решения задачи коммивояжер можно было бы построить, используя в качестве стадии угадывания просто выбор произвольной последовательности городов, а в качестве стадии проверки упомянутую, полиномиальную процедуру и проверку доказательства для задачи коммивояжер. Очевидно, для любой индивидуальной задачи / найдется такая догадка S, что результатом работы стадии проверки на входе ( /, 5) будет да в том и только в том случае, если для индивидуальной задачи / существует маршрут искомой длины. [9]
Необходимо отметить, что отыскание такого доказательства, или последовательности правильных формул, совершенно отлично от проверки уже имеющегося доказательства. Для проверки доказательства каждую его строку необходимо исследовать по отношению к предыдущим строкам, чтобы определить, какой закон логики был использован для ее вывода. Такую проверку было бы довольно просто запрограммировать: каждая формула, или строка доказательства, была бы списком символов или слов в памяти машины, а законы логики - подпрограммами. Будем считать, что для нашей машины такая программа проверки доказательства уже составлена. [10]
Улучшению книги во многом способствовали студенты: Дон Вошбурн, Клод Бениимол н Френк Танг. Мерски помог мне в проверке доказательств. [11]
Мы провели аудит в соответствии с общепринятыми стандартами аудита. Указанные стандарты требуют запланировать и провести аудит так, чтобы получить достаточную уверенность в том, что финансовые отчеты не содержат существенных искажений. Аудит включает проверку доказательств, подтверждающих суммы и факты в финансовых отчетах. Аудит предполагает также оценку используемых принципов учета и существенных оценок, сделанных руководством, а также общего представления финансовой отчетности. Мы полагаем, что наша проверка служит достаточной основой для сделанного нами заключения. [12]
Адвокат), законного представителя, потерпевшего, гражданского истца и гражданского ответчика ( их представителей) осуществляет в судебном заседании непосредственное исследование доказательств по делу. При этом производится проверка доказательств, собранных предварительным С. [13]
При этом производится проверка доказательств, собранных предварительным С. В основу приговора ( определения) могут быть положены только те доказательства, которые исследованы в судебном С. [14]
В юрисдикциях, где процесс осуществляется на состязательной основе, ответственность за предоставление доказательств фактов и медицинских заключений лежит на сторонах. В некоторых системах социального страхования считается, что стороны сами предоставляют те доказательства, которые имеются у них в наличии и которые они могут достать, однако зачастую орган, принимающий решение, ответственен за осуществление действий, необходимых для получения дополнительных данных. Подобным же образом, расследование с целью проверки доказательств, а также в других целях может осуществляться сторонами, страховщиком или задействованным органом. [15]