В настоящее время интерес к математической логике и теории алгоритмов непрерывно растет. Все большее число высших учебных заведений включает в обязательную программу обучения курсы математической логики, теории алгоритмов или их фрагменты. Специалисты в области ЭВМ начинают осознавать, что эти разделы математики являются фундаментом для построения настоятельно необходимой сейчас хорошей теории математического обеспечения и теории вычислений.
Многие специалисты далеких от математики разделов науки начинают сознательно знакомиться с достижениями математической логики. За последние годы вышли переводы многих хороших книг по математической логике и теории алгоритмов, однако ни эти переводы, ни довольно бедный ассортимент отечественных книг не могут полностью удовлетворить запросы читателей.
Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу советских читателей.
Первая книга двухтомника «Спортивная охота в СССР» написана коллективом ученых — охотоведов и зоологов. В ней учтены повышенные требования, предъявляемые ныне к охотнику-спортсмену. Авторы постарались дать читателям представления о биологических основах охотничьего дела — угодьях, птицах и зверях, о вредных и охраняемых видах. Книга предназначена для всех охотников-любителей.
Второй том книги «Спортивная охота в СССР» знакомит читателей с историей охоты в нашей стране, дает подробное описание всех основных способов охоты на пернатую дичь и диких зверей, рассказывает об охотничьих собаках, о ружьях и боеприпасах, о снаряжении и инвентаре охотника. Большое место в книге уделено вопросам охраны природы нашей страны. Книга предназначена для широкого круга охотников-спортсменов, натуралистов и всех любителей природы.
Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа.
Книга доступна математикам всех специальностей, начиная со студентов младших курсов. Она представляет интерес также для всех лиц, интересующихся основаниями математики.
B книге описаны устройство и принцип действия различных систем отопления зданий; приводятся методы расчета теплового режима зданий, выбора, конструирования, расчета и регулирования центральных и местных систем отопления.
Учебник предназначен для студентов, специализирующихся в области отопления и вентиляции.
За последнее время «Судостроение» выпустило несколько переводов книг, изданных в ГДР издательствами Хпншторф и Лоеф, из синей серии («Blaue Reiche»), названной так по цвету обложек. Эти книги посвящены истории мореплавания и судостроения, и каждая из них затрагивает определенный вопрос, разработанный с научной добросовестностью и привлечением всех доступных авторам материалов. К книгам прилагаются чертежи судов, поэтому они чрезвычайно интересны и судомоделистам.
Интерес к морской литературе, увеличивающийся с ростом нашего флота, к сожалению, не удовлетворяется сравнительно малочисленной отечественной литературой по затронутым вопросам. Это подтверждается, например, тем, что перевод книги Р. Хоккеля «Постройка моделей судов XV! и XVII вв.» быстро исчез с прилавков магазинов. Предлагаемая книга в определенной степени является приложением к книге Р. Хоккеля о моделях.
Книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры.
Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости.
Брошюра знакомит читателя с основами теории сравнений, одной из интересных и важных областей математического знания. Доступное изложение современного состояния теории сравнений стало возможно благодаря работам автора брошюры, создавшего новый арифметический метод доказательства всех её результатов.
Ранее это было под силу лишь сложному аппарату алгебраической геометрии.
В книге дано систематическое изложение современных методов исследования нелинейных операторных уравнений, основанных на топологических и геометрических идеях.
Книга охватывает следующие вопросы: методы доказательства разрешимости уравнений, условия единственности решений и оценки числа решений, изучение структуры множества решений, исследование приближенных методов решения уравнений, методы исследования уравнений с параметрами, изучение бифуркаций решений, исследование задач с континуумами решений и др. Указаны приложения к нелинейным интегральным уравнениям, краевым задачам для обыкновенных дифференциальных уравнений и уравнений с частными производными, теории нелинейных колебаний.
Книга рассчитана на специалистов в области функционального анализа и его приложений.
Масанобу Фукуока более 40 лет занимался выращиванием риса и мандаринов. За это время он провел множество экспериментов по выращиванию урожаев разными методами в разных условиях и в конце концов пришел к тому, что сейчас называют натуральным или органическим земледелием. В своей книге он рассказывает о том, как выращивать большие урожаи без вспашки земли, без удобрений, без борьбы с вредителями и сорняками, с любовью и по науке знания Природы. Эту книгу приятно читать как художественную литературу и как теоретическое обоснование правильности органического земледелия.
