Название: Mathematical Logic, 3rd Edition
Автор: Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Издательство: Springer
Год: 2021
Формат: True PDF
Страниц: 305
Размер: 10 Mb
Язык: English

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Название: Classical and Analytical Mechanics: Theory, Applied Examples, and Practice
Автор: Alexander S. Poznyak
Издательство: Elsevier
Год: 2021
Формат: PDF
Страниц: 514
Размер: 10 Mb
Язык: English

Classical and Analytical Mechanics: Theory, Applied Examples, and Practice provides a bridge between the theory and practice related to mechanical, electrical, and electromechanical systems. It includes rigorous mathematical and physical explanations while maintaining an interdisciplinary engineering focus. Applied problems and exercises in mechanical, mechatronic, aerospace, electrical, and control engineering are included throughout and the book provides detailed techniques for designing models of different robotic, electrical, defense, and aerospace systems. The book starts with multiple chapters covering kinematics before moving onto coverage of dynamics and non-inertial and variable mass systems.

Название: Серия "Нанотехнологии" в 35 книгах
Автор(ы): разные
Издательство: Бином. ЛЗ
Год: 2008-2020
Страниц: 1000+
Формат: PDF
Размер: 391 Мб
Язык: русский

Серия «Нанотехнологии», одна из самых популярных серий издательства, была основана в 2008 году. Она обобщает научный и практический опыт, накопленный в области естествознания и техники, связанной с изучением и использованием объектов величиной от 0,1 до сотен нанометров.
Для студентов и аспирантов высших учебных заведений, специализирующихся по направлению «Нанотехнология».

Название: Задачи повышенной трудности по алгебре и началам анализа
Автор: Ивлев Борис Михайлович
Издательство: Просвещение
Год: 1990
Формат: pdf
Страниц: 51
Размер: 12,43 Мб
Язык: русский

Книга содержит задачи повышенной трудности по всему курсу алгебры и начал анализа и адресована учащимся, проявляющим интерес к математике; является приложением к учебнику "Алгебра и начала анализа, 10-11" под редакцией А.Н. Колмогорова

Название: Математика для самых умных малышей
Автор: Виктория Дмитриева, Виктория Оковитая
Издательство: Астрель
Год: 2007
Серия: Школа кота Да Винчи
ISBN: 978-5-271-16846-8
Формат: pdf
Страниц: 56
Размер: 17,1 Мб
Язык: русский

В этой ярко иллюстрированной книге из серии "Школа Кота да Винчи" юные школьники смогут найти массу интересных и увлекательных задач, решая которые они научаться считать, думать и разовьют логическое мышление.

Название: Teach Yourself VISUALLY Calculus
Автор: Dale W. Johnson
Издательство: Visual
Год: 2008
Формат: EPUB
Размер: 12 Мб
Язык: английский / English

Calculus can test the limits of even the most advanced math students. This visual, easy-to-follow book deconstructs complex mathematical concepts in a way that’s infinitely easier to grasp. With clear, color-coded methods, you’ll get step-by-step instructions on solving problems using limits, derivatives, differentiation, curve sketching, and integrals. Easy access to concepts means you don’t have to sort through lengthy instructional text, and you can refer to the Appendix for a look at common differentiation rules, integration formulas, and trigonometric identities.

Название: Strange Matters: Undiscovered Ideas at the Frontiers of Time and Space
Автор: Tom Siegfried
Издательство: Joseph Henry Press
Год: 2002
Формат: PDF
Размер: 16 Мб
Язык: английский / English

Twentieth-century physics was a long, strange trip indeed. Stranger still is what might lie ahead. In this startling book, science writer Tom Siegfried takes us into a weird world of quark nuggets, selectrons, quintessence, and quantum cosmology and introduces us to some of the most imaginative ideas being batted about by scientists today, from funny energy to mirror matter to two-timing universes. In addition, he reviews theories of the past both proven and unproven-offering us a grounding in our scientific history as well as an informed and intriguing look at the possibilities of tomorrow.

Название: Алгебраический тренажер. Пособие для школьников и абитуриентов
Автор: Мерзляк А.Г., Полонский В.Б., Якир М.С.
Издательство: Илекса
Год: 2007
Формат: pdf
Страниц: 322
Размер: 44.1 Мб
Язык: русский

В настоящем пособии представлены основные разделы курса школьной алгебры и начал анализа. Книга построена по схеме `ключевая задача + упражнения`. Ее можно рассматривать как обучающий сборник задач с широким диапазоном применения: от справочника по методам решений до дидактического материала.

Название: Производство продукции растениеводства
Автор: Ториков В. Е., Мельникова О. В.
Издательство: Лань
Год: 2021
Cтраниц: 512
Формат: pdf
Размер: 24 мб
Язык: русский

Рассмотрено хозяйственное и биологическое значение сельскохозяйственных культур, адаптивные технологии их возделывания: место в севооборотах, правила выполнения основных агротехнических приемов обработки почв, подготовка семян к посеву, особенности посева и посадки, способы их уборки, варианты использования техники при механизированном выполнении основных агротехнических приемов.

Название: Математика. Решение сложных задач Единого государственного экзамена
Автор: Колесникова С.И.
Издательство: Айрис-пресс
Год: 2007
ISBN: 978-5-8112-2317-6
Формат: pdf
Страниц: 273
Размер: 15,1 Мб
Язык: русский

Книга адресована всем, кто готовится к выпускным экзаменам в школе, к выполнению ЕГЭ, к вступительным экзаменам в вузы, учителям, руководителям факультативов, а также всем учащимся, начиная с 9 класса, которые интересуются математикой.