Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления
✍ Scribed by Голованова Е. М.
- Book ID
- 127405531
- Year
- 2003
- Tongue
- Russian
- Weight
- 472 KB
- Category
- Library
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Изложены принципы формирования состава космических аппаратов (КА), показано устройство КА различного назначения, приведены методы выбора проектных, конструктивных и технологических вариантов систем КА, компоновки КА применительно к решению конкретных целевых задач. Для студентов аэрокосмических спец
Излагаются: состав, назначение, устройство и процесс конструирования основных агрегатов и систем; конструктивно-силовые и кинематические схемы агрегатов, конструкций деталей и узлов агрегатов. Для студентов, обучающихся по направлению <Авиастроение> специальности <Самолето- и вертолетостроение>, а т
Обобщен мировой опыт, теоретические и практические аспекты международных валютно-кредитных и финансовых отношении в условиях глобализации мирохозяйственных связей. Анализируется деятельность мировых рынков валют, ссудных капиталов, ценных бумаг, золота, а также международных финансовых институтов.
Книга рассматривает цикл идеологических моделей, выдвигавшихся в качестве государственной идеологии Российской империи в екатерининское, александровское и николаевское царствования: "греческий проект" Екатерины - Потемкина, концепцию "святой Руси", замысел Священного союза монархов, доктрину "правос