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