Скачать книгу - Теоретическая информатика. Доказательство правильности

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

Толковый словарь-справочник содержит 16 тысяч русско- и англоязычных терминов, расположенных в логической последовательности по тематическим направлениям "Основы информационной технологии", "Автоматизация информационных процессов и автоматизированные системы", "Средства технического обеспечения автоматизированных систем", "Средства программного обеспечения автоматизированных систем", "Мультимедиа, гипермедиа, виртуальная реальность и машинное зрение", "Сетевые технологии обработки и передачи данных". Словарь-справочник ориентирован на широкий круг читателей - преимущественно не специалистов в области вычислительной техники и программирования, использующих в своей деятельности современные программно-технические средства, информационные и телекоммуникационные технологии. Он может использоваться в учебных процессах профессорско-преподавательским составом; и студентами вузов, а также квалифицированными техническими специалистами при разработке и эксплуатации разного рода автоматизированных информационных, библиотечно-информационных и других систем по смежным для них областям знаний.

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

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

Настоящий том "Теоретической физики" посвящен теории электромагнитных полей в материальных средах и теории макроскопических электрических и магнитных свойств вещества. Сюда относится весьма широкий круг вопросов.