|
 |
|
 |
|
|
 |
|  |
|
 Название: 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. | |
Разместил: vitvikvas 15-03-2022, 09:24 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
Название: Организация, планирование и управление локомотиворемонтным производством
Автор: Собенин Л.А., Зайцев А.А., Чмыхов Б.А.
Издательство: М: Маршрут
Год: 2006
Формат: pdf
Страниц: 439
Размер: 13 mb
Язык: Русский
В учебном пособии отражены вопросы организации, планирования и управления локомотиворемонтным производством, ранее не рассматривавшиеся в учебной и технической литературе. Проанализированы проблемы, связанные с теорией и практикой повышения эффективности локомотиворемонтного производства с учётом человеческого фактора. | |
Разместил: na5ballov 15-03-2022, 09:12 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Основы инженерной георадиоэкологии
Автор: Шищиц И.Ю.
Издательство: М.: Издательство Московского государственного горного университета
Год: 2005
Формат: pdf
Страниц: 714
Размер: 27 mb
Язык: Русский
Предлагаемое учебное пособие – первая подобного рода публикация по вопросам надежной и экологически безопасной изоляции радиоактивных отходов от окружающей природной среды.
Изложены вопросы, связанные с созданием подземных сооружений для надежной и безопасной изоляции от окружающей человека природной среды радиоактивных, а также промышленных токсичных отходов. | |
Разместил: na5ballov 14-03-2022, 16:23 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: От многоагентных систем к интеллектуальным организациям: Философия, психология, информатика
Автор: Тарасов В.Б.
Издательство: URSS
Год: 2002
Формат: pdf
Страниц: 352
Размер: 12 mb
Язык: Русский
Книга посвящена теории агентов, многоагентных систем (МАС) и интеллектуальных организаций --- одной из новых, бурно развивающихся областей информатики и искусственного интеллекта. В ней проведено системно-междисциплинарное исследование главных проблем развития агентно-ориентированного подхода как фундамента наук об искусственном. | |
Разместил: na5ballov 14-03-2022, 16:14 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Садово-парковое искусство. Учебное пособие
Автор: Кригер Н.В., Фомина Н.В.
Издательство: Красноярск: Красноярский государственный аграрный университет
Год: 2021
Формат: PDF
Страниц: 414
Размер: 18 mb
Язык: русский
В учебное пособие включен краткий теоретический материал по следующим разделам: стилистика садов, садово-парковое искусство Древнего Мира; садово-парковое искусство Китая; садово-парковое искусство Японии; ландшафтное искусство Средневековья; позднее Средневековье; ландшафтное искусство в эпоху Возрождения; стиль барокко; становление регулярного стиля в ландшафтном искусстве Европы; регулярное и пейзажное стилевые направления в садово-парковом искусстве России; городские и общественные сады в России первой половины ХХ века; садово-парковое искусство второй половины ХХ века; садово-парковое искусство зарубежных стран ХХ века; садово-парковое искусство начала ХХI века. | |
Разместил: na5ballov 14-03-2022, 08:09 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Теория государства и права в схемах
Автор(ы): Бялт В.С.
Издательство: Юрайт
Год: 2022
Страниц: 448
Формат: PDF
Размер: 85 Мб
Язык: русский
Учебное пособие подготовлено в соответствии с тематическим планом и программой курса «Теория государства и права», а также с учетом требований федеральных государственных образовательных стандартов.
Работа предназначена для обучающихся в образовательных организациях юридического профиля, а также может быть полезна всем интересующимся проблемами теории государства и права.
| |
Разместил: MIHAIL62 13-03-2022, 20:40 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: 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. | |
Разместил: vikCAT 13-03-2022, 19:54 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Differential Equations with Mathematica, 5th Edition
Автор: Martha L. Abell, James P. Braselton
Издательство: Elsevier Inc
Год: 2022
Формат: PDF
Страниц: 610
Размер: 20 Mb
Язык: English
Differential Equations with Mathematica, Fifth Edition uses the fundamental concepts of the popular platform to solve (analytically, numerically, and/or graphically) differential equations of interest to students, instructors, and scientists.
Mathematica’s diversity makes it particularly well suited to performing calculations encountered when solving many ordinary and partial differential equations. In some cases, Mathematica’s built-in functions can immediately solve a differential equation by providing an explicit, implicit, or numerical solution. In other cases, Mathematica can be used to perform the calculations encountered when solving a differential equation.
Because one goal of elementary differential equations courses is to introduce students to basic methods and algorithms so that they gain proficiency in them, nearly every topic covered this book introduces basic commands, also including typical examples of their application. A study of differential equations relies on concepts from calculus and linear algebra, so this text also includes discussions of relevant commands useful in those areas. In many cases, seeing a solution graphically is most meaningful, so the book relies heavily on Mathematica’s outstanding graphics capabilities. | |
Разместил: vitvikvas 12-03-2022, 17:07 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Трудный звук, ты наш друг! Звуки Л, Ль. Практическое пособие
Автор: Лебедева И.Л.
Издательство: М.: Вентана-Граф
Год: 2004
Формат: pdf
Страниц: 46
Размер: 10 mb
Язык: Русский
Качество: Среднее
Это пособие содержит разнообразные коррекционно-развивающие игры и упражнения, а также логопедические фокусы. Увлекательные игровые занятия помогут не только автоматизировать произношение звуков Л, Ль, но и развить навыки звукобуквенного анализа, обогатить связную речь; дадут возможность раскрыть и реализовать творческие способности детей. Данное практическое пособие станет для вас бесценным помощником в сложной и кропотливой работе по исправлению дефектов звукопроизношения. Занимательный игровой материал сделает ваши занятия увлекательными, веселыми, высокоэффективными. | |
Разместил: na5ballov 12-03-2022, 16:04 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Основы 3D-моделирования в среде OpenSCAD
Автор: Ечмаева Г.А.
Издательство: Киров: Межрегиональный центр инновационных технологий в образовании
Год: 2022
Формат: pdf
Страниц: 178
Размер: 11 mb
Язык: Русский
Несмотря на то что 3D-принтеры появились совсем недавно, аддитивные технологии активно входят в нашу повседневную жизнь. Такое активное развитие данные технологии получили не только благодаря появлению доступных для персонального использования 3D-принтеров, но и в связи с разработкой легких в освоении сред трехмерного моделирования и проектирования, позволяющих получать цифровые модели любого уровня сложности. | |
Разместил: na5ballov 12-03-2022, 15:09 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
