Настоящее издание представляет собой первую книгу избранных трудов А. Н. Колмогорова. В ней сосредоточены исследования по тригонометрическим и ортогональным рядам, теории меры и интеграла, теории приближений, математической логике, дифференциальным уравнениям, геометрии, топологии, функциональному анализу, cуперпозициям функций, дескриптивной теории множеств, теории турбулентности, классической механике и некоторым другим вопросам.

Словарь содержит примерно полторы тысячи статей, в которых представлены мыслители, понятия и течения философии от античности до наших дней. Составители стремились сохранить универсальный характер словаря, включив в него основные термины этики, эстетики, логикифилософских вопросов естествознания, социологии, психологии, религиоведения. Словарь рекомендован как для учебного процесса, так и для самообразования широкому кругу читателей.

Богатая коллекция старинных задач предоставляет читателю замечательную возможность проследить за развитием математической мысли с древнейших времен.

Содержание: Исторический курс философии: Происхождение и предмет философии. Философия и мировоззрение. Философия и наука Специфические черты философского знания. Функции философии. Основной вопрос философии. Теоретический курс философии: Понятие бытия и субстанции. Категория материи. Ее атрибуты иформы. Уровни организации живой и неживой материи. Основные формы движения. Пространство и время. Диалектика как учение о развитии. Основные законы диалектики.

Настоящая работа представляет собой взгляд математика – специалиста по управлению организационными системами на проблемы управления региональными образовательными системами (РОС). В ней предлагается формальная модель РОС (вводится система показателей, описывающих РОС, устанавливаются связи между ними, формулируется задача управления и обсуждаются методы ее решения), излагаются общие принципы управления РОС и механизмы принятия управленческих решений (то есть правила и процедуры принятия решений), приводится методика оптимизации РОС и формулируются требования к программам их развития. Работа носит концептуальный характер, который предполагает, что развитие формальных моделей образовательных систем может и должно быть продолжено совместными усилиями специалистов-теоретиков по управлению социально-экономическими системами и работников системы управления образованием, которым в первую очередь и адресована данная работа.

Конспект лекций по дискретной математике, подготовленный на математическом факультете Челябинского государственного университета, включает два раздела "Алгебра логики" и "к-значная логика".

This book provides a detailed description of the general principles and strategies for solving chemical synthesis problems of complex organic molecules. It is the only book to deal systematically with the fundamental principles of synthetic problem solving.

Т.1. - 626 с.

ИНЕТИКА ХИМИЧЕСКИХ РЕАКЦИЙ: формальная кинетика, кинетика реакций в статических условиях, кинетика химических реаций протекающих в потоке; Общие закономерности образования и распода молекул; Основы молекулярно - кинетической теории к бимолекулярным реакциям; Теория активного комплекса (переходного состояния); Мономолекулярные и тримолекулярные реакции; Реакции в растворах; Цепные реакции; Фотохимические реакции; Реакции в электрических разрядах; Химическое действие излучения большой энергии (радиационная химия); Каталитические реакции: гомогенные каталитические реакции, гетерогенные каталитические реакции; Теория активных центров в гетерогенном катализе; Изучение механизма и кинетики химических реакций методом меченых атомов; ЭЛЕКТРОХИМИЯ: основные понятия; Растворы электролиты: теория электролитов; Электропроводность электролитов; ионные равновесия; Электродвижущие силы химические источники тока: Общие сведения; Электрические потенциалы на фазовых границах; Электрохимические элементы и цепи; Измерение э. д. с. как метод физико - химического исследования; Химические источники электрического тока; Кинетика электрохимических процессов.

В учебнике рассмотрены общие (множества и отношения, алгебра и топология) и специальные (математическая логика, математическая кибернетика, математическая информатика) вопросы дискретной математики. Для студентов высших учебных заведений. Может быть полезен аспирантам, научным работникам и специалистам в области прикладной математики и современных наукоемких информационных технологий. Из предисловия. Данный учебный курс задуман как начальный базовый курс дискретной математики. В нем отражен опыт авторов чтения курса дискретной математики в Московском государственном университете имени М.В. Ломоносова, в Военной академии ракетных войск стратегического назначения имени Петра Великого и в Российском государственном университете нефти и газа имени И. М. Губкина. Учебник отличается от большинства аналогичных тем, что в нем особое внимание уделяется алгебре и топологии, а также различию сильноформальных (кибернетических) и слабоформальных (информационных) систем. Краткое содержание: Часть I. Множества и отношения (Основные понятия теории множеств. Конечные и бесконечные множества. Отношения на множествах. Элементы теории графов). Часть II. Алгебра и топология (Алгебры. Булевы функции. Элементы общей топологии). Часть III. Математическая логика (Логика высказываний. Логика предикатов. Элементы теории доказательств). Часть IV. Математическая кибернетика (Синтаксис языков. Теория алгоритмов. Элементы теории кодирования). Часть V. Математическая информатика (Семантика языков. Информация о точке и математическое моделирование баз данных. Принятие решений. Ультраоператоры и математическое моделирование баз знаний. Дополнения).

Це перший в українській лексикографії морфемно-словотвірний словник гніздового типу. Він уточнює організацію в сучасному українському лексиконі слів з коренями-омографами та їхніми неомографічними формальними варіантами. Адресований учням, студентам, аспірантам, учителям, викладачам вузів, науковцям. Може бути корисним і для практиків: перекладачів, журналістів, редакторів, розробників систем автоматичного опрацювання україномовної інформації.

По мере развития и углубления научных знаний меняются характер и содержание теоретических курсов «Строение атомов и молекул», «Строение вещества», «Квантовая химия», меняются подходы к их преподаванию и требования к их усвоению. Кроме овладения основами теории химической связи, общего ознакомления с формальным аппаратом и терминологией (что успешно решено имеющимися учебными пособиями) возникает необходимость более тесного знакомства с конкретными расчетными схемами, критического понимания их реальных возможностей и ограничений. Пособие предназначено для студентов химических факультетов университетов, химико-технологических институтов, аспирантов и преподавателей.

В книге известных американских специалистов излагаются математические понятия и методы теории автоматов и формальных грамматик, лежащие в основе проектирования компиляторов, и показывается, как их применять на практике. Применение теории детально продемонстрировано на примере компилятора для учебного языка программирования. Разработанный авторами метод позволил им включить в синтаксический блок значительную часть того, что обычно относится к семантике (генерации кода). Изложение строгое, но не формальное, доступное читателю, не имеющему специальной математической подготовки. Книга рекомендуется широкому кругу системных программистов и студентов соответствующего профиля (особенно инженерных вузов).

Книга представляет собой руководство по программированию на C++, позволяющее быстро освоиться в данном алгоритмическом языке, и включает как необходимый теоретический материал, так и реализации задуманных программ в виде листингов, поясняющих рисунков, таблиц. Начав с изучения основ языка, читатель знакомится с принципами перехода от формального словесного описания задачи к описанию, понятному для ПК и позволяющему решить ее за короткое время, постепенно осваивает все более сложные конструкции, учится сам использовать богатый арсенал C++. Приводятся примеры не только работающих, "отлаженных" программ, но и наиболее вероятных ошибок, возникающих в процессе написания программы и не всегда распознаваемых компилятором. Рассматриваемые встроенные функции, библиотеки дают возможность при правильном подключении уже готовых функций, макросов значительно сократить программный код.

Бизнес-планирование становится традиционным и обязательным инструментом для российской экономики. Однако трудно представить, что разработка бизнес-планов как процесс творческий может осуществляться одним единственным способом. Поэтому актуальность технологий составления бизнес-планов продолжает сохраняться как для предпринимателей, так и для специалистов. В данной книге сделана попытка обощить подходы к составлению бизнес-планов и предоставить возможность всестороннего анализа проекта на основе сочетания формальных и творческих подходов. Книга адресована начинающим и опытным предпринимателям, руководителям проектов, специалистам-экспертам инновационных проектов, студентам и аспирантам.

Крупный немецкий математик Эдмунд Ландау был одним из ярких поборников математической „строгости", как в изложении научных работ, так и в преподавании. Наглядные наводящие соображения, не облеченные в строгую логическую форму, считались им лишенными смысла. Когда молодой математик приходил к Ландау, желая рассказать ему „общую идею" своей работы, то Ландау отвечал, что он не знает, что это такое, и предлагал взять карандаш и рассказывать все доказательства без пропусков и со всеми выкладками. Подобным же образом он считал, что университетское преподавание анализа должно начинаться с полного формального изложения теории целых, рациональных, действительных и комплексных чисел. Все знания, приобретенные в средней школе должны были при этом игнорироваться, так как в средней школе, они излагаются без достаточной строгости. С этой целью собственно курсу анализа приходилось предпосылать специальный курс „основ анализа", который Ландау и читал многократно, вопреки сомнениям своих коллег, для студентов первого семестра Гёттингенского университета. „Основы анализа" Ландау выходят в русском переводе одновременно с настоящей книгой, которая на них существенно опирается. Вместе они представляют замкнутый в себе курс элементов анализа, не предполагающий формально у читателя никаких предварительных знаний, кроме „способности логически мыслить".

На популярном уровне с использованием занимательных примеров из лагаются наиболее употребляемые средства; позволяющие писать простые программы на языке ПЛ/1 ОС ЕС. Книга написана ясным языком без использования формальных описаний и хорошо иллюстрирована. Для читателей, не имеющих специальной подготовки в области программирования, может быть полезна учащимся школ, техникумов, а также студентам, приступающим к изучению систем обработки данных.

В пособии дается введение в технику ультрафиолетовых перенормировок в конструктивной евклидовой квантовой теории поля. Эта техника объединяет идеи формальной теории перенормировок, кластерных разложений и ренормализационной группы. Для студентов и аспирантов механико-математического факультета МГУ, а также д ля специалистов по теории вероятностей и математической физике.