В последние годы в нашей стране большое внимание уделяется вопросам совершенствования планирования, экономического анализа, управления экономикой. Необходимость такого совершенствования определяется ростом масштабов, усложнением экономических и производственных связей, повышением темпов технического прогресса.
Без этого недостижимо дальнейшее повышение экономической эффективности социалистического хозяйства. Важным средством на этом пути является осуществляемая в настоящее время хозяйственная реформа.
Той же цели служит совершенствование экономической теории и практики, перестройка их на базе использования математических методов и электронной вычислительной техники. Наибольшее распространение и наибольшее значение для социалистической экономики получили методы линейного программирования, возникшие впервые в СССР. Эти методы, основанные на строгох, увязанных математически данных, явились основой оптимального планирования народного хозяйства.
Уже много веков назад люди узнали секрет той чудодейственной силы, которая борется с болезнями, делает человека волевым, бодрым, жизнерадостным, помогает преодолеть любые трудности. В этой книге мы рассказывается о том, как стать здоровым и сильным, как научиться никогда не болеть. Это очень пригодится в жизни. Ведь какую бы ты ни выбрал профессию — космонавта или моряка, врача или инженера,— одних знаний недостаточно, нужно еще обладать крепким здоровьем.
Ленинград — город трех революций; колыбель Советской власти; город-музей замечательных исторических мест, архитектурных сооружений и памятников. Знаешь ли ты этот город и его достопримечательности? Ведь в нем отразилась история нашего отечества. И эта книга может помочь провести в школе или пионерском отряде вечер или сбор, викторину, посвященную Ленинграду. Отвечая на вопросы, ты как бы пройдешься по его улицам и площадям и узнаешь очень много интересного. А свой город ты знаешь? Разве по своему городу нельзя провести подобную викторину?
Книга написана мастером спорта по стрельбе, знакомит читателей с различными системами охотничьего ружья. Приводится техническая характеристика ружей и боеприпасов; рассказывается о факторах, влияющих на бой ружей, и о том, как правильно снаряжать патроны; объясняется методика доводки боя ружья по резкости и кучности. Содержатся рекомендации о пользовании ружьем при различных видах охоты и в разное время года. Рассматриваются вопросы выработки у охотников навыков уверенной и меткой стрельбы по летящей, бегущей и внезапно появляющейся цели. Даются полезные советы о выборе ружья и пользовании им. Для лучшего пояснения текстового материала книга снабжена множеством иллюстраций, делающих ее более доходчивой и интересной. Книга рассчитана на охотников-любителей и промысловиков.
Монография посвящена общей, или теоретико-множественной, топологии. В ней собраны наиболее важные результаты из этой области математики. Большое внимание в книге уделено таким фундаментальным вопросам, как сходимость по направленному множеству, топологические произведения и фактор-пространства, метризационные теоремы, теория бикомпактных пространств, равномерная топология, теория функциональных пространств и др.
В прекрасно подобранных упражнениях излагается большой дополнительный материал, касающийся связей между общей топологией, функциональным анализом и алгеброй.
Книга предназначена для студентов и аспирантов механико-математических факультетов университетов, а также для научных работников в различных областях математики, интересующихся методами общей топологии и их приложениями.
Предлагаемая вниманию читателя книга Р. Р. Столла может быть рекомендована в качестве первоначального пособия — помимо тех категорий читателей, которые указывает в своем предисловии автор, — каждому, кто хочет ознакомиться с основными понятиями, идеями, методами и результатами математической логики и теории множеств; элементарному изложению этих вопросов посвящены первые две главы книги.
Несколько более трудна (по степени абстракции и сложности излагаемых в ней концепций) третья глава, в которой разъясняются важнейшие установки аксиоматического метода, затрагиваются проблематика оснований математики и взаимоотношения между формализованными логико-математическими теориями, их метатеориями и интерпретациями; изложение этих вопросов носит более эскизный характер, нежели в первых двух главах. Заключительная, четвертая глава иллюстрирует содержание предыдущих глав примерами и разнообразно детализирует теорию в алгебре; некоторые из аксиоматических рассмотрений этой главы, быть может, окажутся небезынтересными и для математиков.
Курс «Элементы математической логики и теории множеств» впервые был прочитан для студентов 1-го курса механико-математического факультета Саратовского университета в 1961 году профессором В. В. Вагнером. С тех пор он читается ежегодно с сохранением в основном первоначальной программы.
С 1963 года этот курс введен в учебные планы мехматов университетов. Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962—66 гг. В § 1 вводятся основные понятия теории множеств. В § 2 и § 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается.
В § 4 и § 5 логика предикатов применяется для построения начал алгебры и теории бинарных отношений. В § 6 на основе теории бинарных отношений излагаются начальные понятия по теории отображений и объединений множеств. Каждый параграф заканчивается упражнениями, которые построены по принципу прогрессии трудности. В конце книги приведен список литературы, включающей основное пособие и рядом классик с математической логики и теории множеств.
Книга посвящена графическому аппарату математической логики — диаграммам Веннa, их истории и применению. Автор показывает, что диаграммы Веннa могут облегчать решение различных задач математической логики и задач, связанных с построением надежных автоматов из не вполне надежных элементов.
В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диаграмм в связи с задачами логики высказываний и логики одноместных предикатов, а также в связи с проблемами теории нейронных схем.
В книге рассмотрены основные вопросы проектирования и расчета рулевых устройств морских судов, а также судов смешанного и внутреннего плавания. На основе обобщения современного опыта проектирования, производства и эксплуатации этих устройств даны рекомендации по проектированию и выбору деталей, входящих в рулевые устройства. Рассмотрены методы гидродинамических расчетов рулей и поворотных направляющих насадок, расчетов деталей рулевых устройств на прочность и предложены рекомендации конструктивных решений, обеспечивающих надежную эксплуатацию судовых рулевых устройств.
Книга предназначена для конструкторов и инженерно-технических работников судостроительной промышленности морского и речного флотов, а также может быть использована студентами вузов и учащимися техникумов при курсовом и дипломном проектировании.
В книге рассмотрены вопросы сборни и сварни стальных корпусов морсних транспортных судов в том числе: особенности и технологичесная нлассифинация конструкций и сварных соединений норпуса; струнтура и энономичесная о ценна технологичесних процессов; точность изготовления норпусных нонструнций; сварочные деформации и способы их предотвращения и устранения; сборна под сварну и контроль качества сварни.
Приводятся типовые технологические процессы изготовления различных узлов, секций и блоков, а также сборни и сварни норпуса на построечном месте. Изложены требования н качеству сварных соединений норпуса.
Книга рассчитана на инженерно-техничесних работников предприятий, научно-исследовательских и проектно-конструнторсних организаций судостроительной промышленности, а также может быть использована студентами кораблестроительных вузов и факультетов.
