Книга представляет собой практическое руководство по проектирование радиоуправляемых моделей кораблей и судов.
Она содержит теоретические сведения и практические указания по расчету, конструкции и технологии изготовления радиоуправляемых моделей кораблей и судов.
Приведено подробное описание радиоуправляемой модели корабля.
Для опытных судомоделистов и руководителей судомодельных кружков.
В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств — один из самых интересных и ярких результатов, полученных в математике за последнее десятилетие. Именно за этот результат ее автор, профессор Стэнфордского университета П. Коэн, был удостоен медали Филдса на последнем Международном конгрессе математиков (Москва, 1966).
Книга, несомненно, заинтересует широкий круг математиков, в первую очередь специалистов по теории множеств, математической логике и основаниям математики. Она будет полезна преподавателям, аспирантам и студентам старших курсов университетов и пединститутов.
Вы, конечно, знаете, что глубокий снег подчас затрудняет движение обычных, наземных видов транспорта не только по проселочным дорогам, но и по шоссейным автомагистралям. Аэросани промышленной постройки — это машины многоцелевого назначения. Они могут быть использованы для перевозки почты, различных грузов, пассажиров. Особое значение они имеют в условиях зимнего бездорожья для оказания срочной медицинской и технической помощи, для обеспечения быстрой и надежной связи с отдаленными населенными пунктами. Книга инженера И. Н. Ювенальева «Юным конструкторам аэросаней» рассчитана на широкий круг читателей. Она может служить руководством при конструировании и постройке аэросаней кружками юных техников и отдельными любителями зимнего моторного спорта.
Богата, красочна и разнообразна природа нашей необъятной страны. Непроходимая тайга и степи, горы и субтропическая растительность юга, тундра и живописные поймы рек. Всякому молодому любителю природы свойственно стремление к путешествиям. Одни мечтают о Кавказе, других на Урал тянет, третьих — в Уссурийский край. В любом крае, в любом уголке нашей Родины есть тысячи разных мест, ошеломляющих своей неожиданностью и красотой природы. Путешествия, туристические походы, прогулки и экскурсии открывают перед нами красоту родного края. Природа неисчерпаема на загадки и явления. В огромном мире природы эти удивительные явления встречаются очень часто. Но чтобы их увидеть, надо быть наблюдательным.
Представителям самых различных специальностей приходится решать задачи, в которых рассматриваются те или иные комбинации, составленные из букв, цифр и иных объектов. Начальнику цеха надо распределить несколько видов работ между имеющимися станками, агроному — разместить посевы сельскохозяйственных культур на нескольких полях, заведующему учебной частью школы — составить расписание уроков, ученому-химику — рассмотреть возможные связи между атомами и молекулами, лингвисту — учесть различные варианты значений букв незнакомого языка и т. д.
Область математики, в которой изучаются вопросы о том, сколько раз личных комбинаций, подчиненных тем или иным условиям, можно составить из заданных объектов, называется комбинаторикой.
Монография известного ученого, вице-президента Академии наук Польской Народной Республики, иностранного члена АН СССР Казимира Куратовского — выдающееся явление в математической литературе. Она представляет собой наиболее полное и легко читаемое сочинение, охватывающее большинство разделов современной общей топологии. Монография выдержала три издания на французском языке.
В последние годы текст книги был значительно переработан автором. Перевод первого тома нового, исправленного и дополненного издания был выпущен в 1966 г. (изд-во «Мир») и получил высокую оценку советской научной общественности.
Книга заинтересует всех математиков, начиная от студентов и кончая специалистами, так как топологические методы в настоящее время широко проникли во все отрасли математики.
В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор Х. Фрейденталь — известный голландский математик с весьма широкими интересами; развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии; в последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), описывающая предложенный им «космический язык».
«Exacte logica», впрочем, рассчитана на читателей, в большинстве своем не только ничего не слышавших ни про интуиционизм, ни про топологию, ни про математическую лингвистику (о космосе, правда, в наши дни говорят с детства…), но и о логике знающих лишь то, что это что-то средневековое…
Но за последнее время слово «логика» (да еще с эпитетом «математическая») нежиданно вошло в моду; журналисты, физики и лирики приучили своих читателей ассоциировать его с всевозможной кибернетикой. Совсем ничего не знать о логике в современном смысле этого слова становится уже как-то непривычно, старомодно, что ли. Но в школу логике не учат. Специальные учебники по логике для школ чем-то слишком трудны, чтобы считаться их «уроком образования».
Книга выдающегося польского математика Р. Сикорского посвящена одному из важнейших разделов современной математики — теории булевых алгебр. Это наиболее полное изложение теории булевых алгебр с теоретико-множественной точки зрения. В книге, по-видимому, впервые систематически изучаются булевы алгебры с бесконечными операциями.
Последний раздел (дополнение) содержит многочисленные применения булевых алгебр к другим областям математики. Книга написана очень просто и подробно. Она вполне доступна и полезна широким кругам математиков, а также физикам и инженерам.
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Предлагаемый сборник задач составлен в соответствии с программой университетского курса «Элементы математической логики и алгебры множеств».
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики.
Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.
Сборник может быть использован как пособие для учащихся юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики.
