Litgu.ru - Литературный Гуру

Название: Архетипы математики. Общие методы, приемы, конструкции, идеи математики и ее оснований
Автор: Казимиров Н.И.
Издательство: Издательские решения
Год: 2020
Формат: djvu
Страниц: 612
Размер: 15 mb
Язык: русский

В книге на примере изучения логики, теории множеств, алгебры, геометрии, анализа, теории графов рассматриваются некоторые общие характерные приемы и методы конструирования математических объектов и теорий, так называемые архетипы. Даются их наименования, описание и ссылки на них по ходу изложения материала. Сам материал представлен как на наивном, так и на современном строгом уровне, ряд теорем приводится с доказательством, подробно рассматривается построение конечных множеств и логики первого порядка с целью донести до широкого круга читателей возможность компьютерного моделирования математических доказательств. Вместе с тем, делается акцент на необходимости участия человека в этом процессе. В книге также дается ряд примеров из теории чисел, в частности, доказательство Великой Теоремы Ферма для случая n = 3, 4, подробно рассмотрена теорема Гудстейна. Кроме того, проводится детальное описание движений в геометрии, всесторонне рассматривается аксиома выбора и ее влияние на математику, приводится ряд примеров из теории случайных графов с анализом их свойств.

Название: Военные преступления
Автор(ы): Лобанов С.А.
Издательство: Юрайт
Год: 2022
Страниц: 386
Формат: PDF
Размер: 171 Мб
Язык: русский

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

Название: Практикум по общей теории статистики
Автор: Яковлев В.Б., Яковлева О.А.
Издательство: ИНФРА-М
Год: 2016
Страниц: 383
Формат: pdf, djvu
Размер: 42 mb
Качество: хорошее

В учебном пособии изложены основные методы общей теории статистки (группировка данных, средние величины, показатели вариации и распределения, выборочный метод, проверка статистических гипотез, корреляционный и дисперсионный анализ, индексы, ряды динамики), приведены соответствующие расчетные формулы, раскрыт содержательный смысл статистических показателей. Подробно, вплоть до пошаговых инструкций, описаны способы решения статистических задач на персональном компьютере с помощью Microsoft Excel 2013.
Учебное пособие предназначено для проведения практических занятий и самостоятельной работы студентов, обучающихся по направлениям подготовки 36.03.02 Зоотехния (бакалавриат) и 36.04.02 Зоотехния (магистратура), а также специалистов, интересующихся методами статистической обработки данных на персональных компьютерах.

Название: Mathematical Logic: Exercises and Solutions
Автор: Laszlo Csirmaz, Zalan Gyenis
Издательство: Springer
Год: 2022
Формат: PDF
Страниц: 322
Размер: 10 Mb
Язык: English

This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene’s theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht– Fraïssé game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson’s theory, Peano’s axiom system, and Gödel’s incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic.

Название: Организация, планирование и управление локомотиворемонтным производством
Автор: Собенин Л.А., Зайцев А.А., Чмыхов Б.А.
Издательство: М: Маршрут
Год: 2006
Формат: pdf
Страниц: 439
Размер: 13 mb
Язык: Русский

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

Название: Основы инженерной георадиоэкологии
Автор: Шищиц И.Ю.
Издательство: М.: Издательство Московского государственного горного университета
Год: 2005
Формат: pdf
Страниц: 714
Размер: 27 mb
Язык: Русский

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

Название: От многоагентных систем к интеллектуальным организациям: Философия, психология, информатика
Автор: Тарасов В.Б.
Издательство: URSS
Год: 2002
Формат: pdf
Страниц: 352
Размер: 12 mb
Язык: Русский

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

Название: Садово-парковое искусство. Учебное пособие
Автор: Кригер Н.В., Фомина Н.В.
Издательство: Красноярск: Красноярский государственный аграрный университет
Год: 2021
Формат: PDF
Страниц: 414
Размер: 18 mb
Язык: русский

В учебное пособие включен краткий теоретический материал по следующим разделам: стилистика садов, садово-парковое искусство Древнего Мира; садово-парковое искусство Китая; садово-парковое искусство Японии; ландшафтное искусство Средневековья; позднее Средневековье; ландшафтное искусство в эпоху Возрождения; стиль барокко; становление регулярного стиля в ландшафтном искусстве Европы; регулярное и пейзажное стилевые направления в садово-парковом искусстве России; городские и общественные сады в России первой половины ХХ века; садово-парковое искусство второй половины ХХ века; садово-парковое искусство зарубежных стран ХХ века; садово-парковое искусство начала ХХI века.

Название: Теория государства и права в схемах
Автор(ы): Бялт В.С.
Издательство: Юрайт
Год: 2022
Страниц: 448
Формат: PDF
Размер: 85 Мб
Язык: русский

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

Название: Linear Control System Analysis and Design with MATLAB. Sixth edition
Автор: Constantine H. Houpis, Stuart N. Sheldon
Издательство: CRC Press/Taylor & Francis Group
Год: 2014
Формат: pdf
Страниц: 712
Размер: 14.67 МБ
Язык: english

Thoroughly classroom-tested and proven to be a valuable self-study companion, Linear Control System Analysis and Design: Sixth Edition provides an intensive overview of modern control theory and conventional control system design using in-depth explanations, diagrams, calculations, and tables.