Кустова Е.В Основные математические преобразования в кинетической теории газов: учебное пособие

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

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства • Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов

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

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

Учебное пособие составлено в соответствии с Федеральным государственным образовательным стандартом высшего образования и программой курса учебной дисциплины для студентов нефтетехнологических и химико-технологических специальностей очной и заочной форм обучения • Рассматриваются физико-химические свойства нефти, а также методы ее исследования и разделения. Освещены вопросы происхождения нефти и основных этапов переработки нефти и газа • Предназначено обучающимся академического и прикладного бакалавриата, изучающим курс "Химия нефти и газа", "Химия нефти" по направлениям подготовки: 18.03 01 Химическая технология, 18.03.02 Энерго- и ресурсосберегающие процессы в химической технологии, нефтехимии и биотехнологии, 04.03.01 Химия, 21.03.01 - Нефтегазовое дело, а также 20

Учебное пособие посвящено анализу новейших теоретико-методологических проблем объяснения государства, его сущности, признаков и типов и предназначено для изучения актуальных вопросов современного теоретического государствоведения • Учебное пособие подготовлено с учетом современных достижений американской, западноевропейской и российской мысли в области юриспруденции, политологии, социологии и культурологии. Оно рассчитано на преподавателей, аспирантов и студентов обществоведческого профиля

Учебное пособие рассчитано на трехуровневое обучение: бакалавриат-магистратура-аспирантура. Включает основы статистической физики неравновесных систем. Излагаются вывод, свойства и методы решения уравнения Больцмана, явления переноса в разреженных газах и вычисление коэффициентов переноса, связь кинетической теории газов с термодинамикой необратимых процессов. Приводятся решения прикладных задач динамики разреженного газа • Предназначено студентам и аспирантам, обучающимся по направлению подготовки «Физика». Часть материала может быть полезна при подготовке специалистов в области вакуумной и авиационной техники, а также научным работникам, которые хотели бы самостоятельно изучить или освежить свои знания по кинетической теории газов

Учебное пособие полностью охватывает программу по теории чисел, а также содержит дополнительный материал, который может быть использован при организации работы спецсеминаров и в качестве основы для курсовых работ по теории чисел • Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих теорию чисел

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

Учебное пособие содержит полное изложение материала учебных дисциплин "Математическая логика и теория алгоритмов" и "Дискретные функции" Государственного образовательного стандарта высшего профессионального образования по специальностям и направлениям "Компьютерная безопасность", "Информационная безопасность автоматизированных систем" и некоторым другим смежным специальностям • Пособие состоит из трех взаимосвязанных частей, представляющих основы математической логики, теории дискретных функций и теории алгоритмов • Предназначено для студентов вузов, обучающихся по специальностям и направлениям в области информационной безопасности, а также для аспирантов и студентов вузов других технических специальностей и направлений, изучающих дискретную математику

Учебное пособие содержит алгебраическую основу и ее применение в теории кодирования. Сначала приводятся основные сведения по таким алгебраическим структурам, как группы, кольца, кольца многочленов, кольца матриц, системы линейных алгебраических уравнений, векторные пространства, пространства линейных операторов, билинейные и квадратичные формы, поля, конечные поля. Далее излагаются базовые разделы алгебраической теории кодирования: линейные коды, циклические коды, коды Боуза-Чоудхури-Хоквингема, коды Рида-Соломона, обобщенные коды Рида-Соломона, альтернативные коды, коды Гоппы, кодовые криптосистемы Мак-Элиса и Нидеррайтера. Особое внимание уделено алгоритмам декодирования, которые математически обосновываются и сопровождаются численными примерами

Учебное пособие «Механика и теория относительности» составлено на основе курса лекций, читаемых авторами на факультете информационных технологий Новосибирского государственного университета. Главная цель учебного пособия — дать в краткой и доступной форме изложение основных законов как нерелятивистской, так и релятивистской механики. Обсуждаются основы нерелятивистской и релятивистской кинематики и динамики, проблемы линейных колебаний, движение в центральном поле и движение твердого тела. Учебное пособие предназначено для студентов университетов, педагогических и технических вузов