Cтраница 1
Логическая взаимозависимость и обусловленность приведенных законов проектирования КТС АСДУ показывает, чти эти законы образуют замкнутое множество, достаточное для формирования на его основе принципов проектирования. [1]
Спецификация системы, разработанная на основе заложенных в ее конструкцию логических взаимозависимостей ме / кду различными функциональными частями данной системы. [2]
Новые Уставы и Кодексы, исходя из рыночных отношений, не предусматривают государственное планирование перевозок, но содержат нормативы, обеспечивающие регулярность, ритмичность, логическую взаимозависимость транспортных операций, взаимную материальную заинтересованность и ответственность производителей и потребителей транспортных услуг в качестве основы для развития равноправных партнерских отношений перевозчиков и клиентуры. [3]
Аксиомы геометрии были представлены здесь Гильбертом с такой полнотой, которая далеко-превосходила Евклида. С целью исследования логической взаимозависимости аксиом была не только рассмотрена так называемая неевклидова геометрия, которой к тому времени исполнилось почти сто лет, но и построено - главным образом на арифметической основе - множество геометрий совершенно иного рода. Ориентация Канта на евклидову геометрию теперь выглядела наивно. Это был сокрушительный удар, и здание кантовской философии, на которую я уповал всей душой, в моих глазах было разрушено. [4]