Автоматический водопитатель
водопитатель, автоматически обеспечивающий давление в трубопроводах, необходимое для срабатывания узлов управления.
способ систематического изложения знания в виде системы аксиом данной области знания. Очерчивает границы познанного данной наукой; важный, но частный прием исследования.
Аналогичная позиция ведет к другой крайности – абсолютизации способа аксиоматизации научных доктрин.
A sequential axiomatization for the set of all formulas which are dedusible in Smirnov’s quasi-minimal calculus is presented.
Свой научный индивидуальный подход к аксиоматизации квантовой механики он озвучил в работе на тему «математических...
Нейман заканчивает работу над аксиоматизацией теории множеств и переходит на квантовую механику.
Представлена аксиоматизация некоторых простых паралогик и дано решение проблемы разрешения для этих логик. Описывается связь этих логик с классической пропозициональной и интуиционистской логикой.
водопитатель, автоматически обеспечивающий давление в трубопроводах, необходимое для срабатывания узлов управления.
в готике и ренессансе - инкрустация из дерева, перламутра и кости.
(санскр.) — древнеиндийский трактат о строительстве.