Cтраница 3
В некотором смысле задача доказательства теорем имеет особенно простую природу. Как только найдена последовательность выражений, которая удовлетворяет тесту на наличие доказательства теоремы ( такой тест всегда существует), можно, так сказать, поставить точку на этой задаче, если только не предъявляется никаких требований к изяществу доказательства. Но, как следует из работы Ньюэлла, Шоу и Саймона [789], любой современной вычислительной машине для доказательства более или менее простой десятишаговой геометрической теоремы путем полного перебора приводящих к доказательству последовательностей потребуется время порядка нескольких тысяч лет. [31]
В данном случае решающим аргументом является возможность получить достаточно правильные результаты. Выяснение такой возможности - задача не тривиальная, оно предполагает наличие веских доказательств. [32]
Данный вывод относится к ответственности в целом каждого из видов транспорта, участвующего в перевозке груза в прямом смешанном сообщении. С конечного перевозчика не должны взыскиваться убытки от несохранности груза при наличии доказательств образования ее по вине предыдущего перевозчика. Исключение составляют случаи, когда конечный перевозчик нарушил порядок и сроки пересылки претензии предыдущему перевозчику. В то же время ответственность транспортных организаций одного вида транспорта солидарная ( как в прямом железнодорожном сообщении), так как транспортные организации назначения и перевалки несут ответственность за все транспортные организации данного вида транспорта. [33]
Данная категория используется главным образом для агентов, смесей и обстоятельств воздействия при наличии недостаточных доказательств для людей и при недостаточных или ограниченных доказательствах у лабораторных животных. [34]
Прежде всего национальные законодательства должны включать процедуру исполнения правовых норм и давать возможность проводить эффективные меро -, приятия против нарушителей прав, в том числе неотложные для предотвращения и противодействия нарушениям прав. Оговорено также предоставление полномочий судебному органу для срочного принятия предварительных мер против нарушителей прав при наличии доказательств, что задержка может причинить непоправимый ущерб владельцу прав или усилить риск уничтожения улик. Содержится также перечень наказаний за нарушение прав, вплоть до тюремного заключения. [35]
Эти измерения не являются взаимоисключающими, и один агент может рассматриваться в нескольких измерениях. Например, действие агента на экспрессию соответствующих генов может быть суммировано в первом и втором измерениях при наличии доказательств, что эти эффекты вызваны генотоксичностью. [36]
Главное, чтобы эти дни были использованы к обоюдной пользе. В таких случаях всегда возникает вопрос оплаты; и некоторые руководители предпочитают оплачивать творческий отпуск только при наличии доказательств успеха, например сдаче экзамена или публикации. [37]
Страховым случаем по страхованию ответственности врача является вступление в силу решения суда или арбитражного суда, устанавливающего имущественную ответственность врача, влекущую за собой возникновение страхового обязательства по страховой выплате. Однако страховщик имеет право в порядке досудебного рассмотрения претензии ( иска) пострадавшего пациента осуществлять страховую выплату при наличии явных доказательств, подтверждающих факт причинения вреда пациенту врачом в процессе его профессиональной деятельности. [38]
Факт наступления страхового случая признается после вступления в законную силу решения суда, устанавливающего имущественную ответственность частнопрактикующего специалиста ( страхователя) за причинение материального ущерба клиенту и его размер. Кроме того, страховым случаем может признаваться факт установления ответственности страхователя за нанесение ущерба третьим лицам при досудебном урегулировании претензий, но при наличии бесспорных доказательств причинения вреда частнопрактикующим специалистам. [39]
Книга написана с учетом опыта чтения лекций на физическом факультете, а также на факультете вычислительной математики и кибернетики Московского государственного университета. От других руководств по линейной алгебре ее отличает более полное изложение теории линейных операторов, наличие специальной главы, посвященной итерационным методам решения линейных систем, наличие доказательства сходимости метода вращении для решения полной проблемы собственных значений, изложение метода регуляризации А. Н. Тихонова для отыскания нормального решения линейной системы. [40]
Стимулирование поиска виновников происходит следующим образом: виновником неучтенных отклонений являются подразделения регистрации или предполагаемый виновник отклонения устанавливается подразделением, оформляющим первичный документ. Часто здесь допускается принципиальная ошибка, поскольку на практике в первичном документе сразу фиксируется виновное лицо, но это может быть лишь предполагаемый виновник / определенный ориентировочно, без наличия доказательств и знания конкретной ситуации по отклонению. Виновность перед записью в первичный документ нужно доказать и учесть возражения предполагаемого виновника. Кроме того, виновников может быть несколько или виновником может оказаться другое лицо. [41]
Оно может выражаться в том, что лицо привлекается следователем, прокурором и лицом, производящим дознание, к уголовной ответственности как при отсутствии необходимых и достаточных доказательств виновности лица, так и при наличии доказательств его невиновности в том преступлении, к-рое ему инкриминируется. [42]
Значительные сложности при определении справедливой стоимости возникают в условиях отсутствия активного рынка. В этом случае значительная доля ответственности за принятое решение в отношении оценки актива лежит на менеджменте предприятия. Однако в данном случае сторонники справедливой стоимости указывают на то, что органы управления предприятия лучше, чем кто-либо другой, осведомлены о справедливой стоимости активов, которыми владеет предприятие, поэтому основная трудность в данном случае сводится к наличию соответствующих доказательств правильности сделанной оценки. [43]
Как только существование или возникновение в прошлом опасного агента было установлено с высокой степенью вероятности - что в контексте также включает количественную оценку - следующим шагом должно стать заключение о правдоподобности причинно-следственной зависимости в индивидуальном рассматриваемом случае. Общее правило в данном случае предполагает, что для принятия в качестве доказанного профессионального характера заболевания либо расстройства на стороне истца должны присутствовать более весомые доказательства, чем на стороне ответчика. Согласно более раннему законодательству, действовавшему до 31 декабря 1992 г., концепция причинной связи была знаменательно более гибкой. Существование причинной связи допускалось уже при наличии доказательств присутствия опасного агента, и никакие доказательства обратного не могли быть представлены. [44]
Потребители могут переключиться на продукцию фирмы, производящей оригинальный товар, узнав, что до этого они приобретали подделки. Таким образом, пострадавшая от деятельности поддельщиков компания надеется, что проблема разрешится сама собой. К тому же отслеживание и привлечение к ответственности пиратов требуют наличия серьезных доказательств, получение которых - дело длительное и дорогостоящее. Доказать нарушение становится еще труднее, когда в продукцию или товарный знак внесены незначительные изменения. Поддельщики, как правило, являются профессионалами в своем деле, действуют быстрее и эффективнее, используя лазейки в законодательстве лучше, чем законопослушные производители. [45]