Что такое АКСИОМАТИЧЕСКИЙ МЕТОД?
АКСИОМАТИЧЕСКИЙ МЕТОД
АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной из основ математической науки: его использовали еще в древней Греции, а формализацию его осуществил в начале XX в. Давид ГИЛЬБЕРТ. В аксиоматической системе некоторые неопределяемые единицы (термины) берутся в качестве исходных и описываются набором аксиом. Из них путем логических рассуждений выводятся другие соотношения (теоремы), часто совершенно неожиданные. см. также ГЕДЕЛЬ.
Научно-технический энциклопедический словарь.
Словарь — упорядоченный в алфавитном или тематическом порядке список заглавных слов, лексикографически обработанных.
Словарь — лексикографический продукт, который содержит упорядоченный перечень языковых единиц (слов, словосочетаний и т.п.) с короткими их характеристиками или характеристиками обозначенных ими понятий, или с переводом на другой язык.
