Cтраница 2
Формальный аксиоматический метод часто с успехом применяется в связи с неполными системами аксиом в целях одновременного построения общей части теории для многих различных систем. Знаменитым примером является теория групп из алгебры. [16]
Аксиоматический метод построения научной теории заключается в том, что некоторые исходные положения, называемые аксиомами или постулатами, принимаются без доказательства, а все утверждения этой теории выводятся из них путем рассуждений. [17]
Аксиоматический метод расширения концептуальной модели данных в системах интеграции неоднородных баз данных, позволяющего одновременно и совместно использовать одной прикладной программой несколько БД как единого целого. [18]
Приверженцы аксиоматического метода восхваляют его логику. Преподавание науки имеет своей целью не только освоение науки обучающимися, но и дальнейшее развитие науки хотя бы частью обучающихся. [19]
Основоположником аксиоматического метода является математик К. [20]
Приверженцы аксиоматического метода восхваляют его логику. Преподавание науки имеет своей целью не только освоение науки обучающимися. Преподавание ставит своей целью и дальнейшее развитие науки хотя бы частью обучающихся. [21]
Сила аксиоматического метода состоит в том, что он позволяет построить из небольшого числа допущений огромное здание теории. Если нечто удовлетворяет этим допущениям, то оно должно удовлетворять и всем заключениям, которые из них выводятся. [22]
Под аксиоматическим методом построения определенной научной теории или дисциплины понимается такая их организация, когда ряд утверждений принимается без доказательства, а все остальное знание выводится из них по определенным логическим правилам. [23]
При аксиоматическом методе, или методе постулатов, с другой стороны некоторые предложения, именуемые аксиомами или постулатами, с самого начала кладутся в основу в качестве допущений или условий относительно системы S объектов. Затем получаются следствия из этих аксиом, которые и образуют теорию относительно любой существующей системы объектов S, удовлетворяющей этим аксиомам. [24]
В аксиоматическом методе абстрагирования тип данных описывают аналогично описанию алгебраических систем, например групп или колец, используя при этом формальную логику. [25]
В математике аксиоматический метод известен с незапамятных времен. Впервые он был применен в геометрии ( в Началах Евклида), но в своем первоначальном варианте аксиоматический метод существенно отличается от сформулированных выше требований. [26]
Далее изучаются аксиоматический метод доказательства, метод таблиц Бета и метод резолюций. Метод резолюций вместе с алгоритмом унификации положен в основу логического программирования. Для обоснования этих методов приводятся соответствующие теоремы корректности и полноты. [27]
К двойникам аксиоматических методов относится группа простых методов, форма зависимостей, в которых имеет тот же вид, что и в некоторых аксиоматических методах, только без обосновании. [28]
К двойникам аксиоматических методов относятся группа простых методов, форма зависимостей, в которых имеет тот, же вид что и в некоторых аксиоматических методах, только без обосновании. [29]
Существенным условием аксиоматического метода является установление непротиворечивости системы, ее достаточной полноты и независимости. Вопрос об очевидности избираемых аксиом при использовании этого метода решается либо посредством другой научной области, либо путем нахождения интерпретаций. Под интерпретацией понимается раскрытие смысла, придание определенных значений исходным положениям. В силу этого все другие положения, связанные с исходными, приобретают смысл и условия для правильного выражения и построения логических связей. Базой для аксиоматического метода служит предметная содержательность. [30]