Название: Математический интуиционизм. Введение в теорию доказательств
Автор: Драгалин А.Г.
Издательство: Наука
Год: 1979
Формат: PDF
Страниц: 256
Размер: 13,41 Мб
Язык: русский

Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой.

Название: Модули и кольца
Автор: Каш Ф.
Издательство: Мир
Год: 1981
Формат: pdf
Страниц: 367
Размер: 11,90 Мб
Язык: русский

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

Название: История культурологии (2013)
Автор: Щавелёва М.Б.
Издательство: Нижний Новгород: Издательство Нижегородского государственного университета
Год: 2013
Формат: pdf
Страниц: 131
Размер: 16 mb
Язык: Русский

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

Название: От земли до неба: атлас-определитель (2018)
Автор: Плешаков А.А.
Издательство: М.: Просвещение
Год: 2018
Формат: djvu
Страниц: 224
Размер: 36 mb
Язык: Русский

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

Название: Practical Linear Algebra: A Geometry Toolbox, 4th Edition
Автор: Gerald Farin, Dianne Hansford
Издательство: CRC Press
Год: 2022
Формат: PDF
Страниц: 590
Размер: 16,8 Mb
Язык: English

Linear algebra is growing in importance. 3D entertainment, animations in movies and video games are developed using linear algebra. Animated characters are generated using equations straight out of this book. Linear algebra is used to extract knowledge from the massive amounts of data generated from modern technology.
The Fourth Edition of this popular text introduces linear algebra in a comprehensive, geometric, and algorithmic way. The authors start with the fundamentals in 2D and 3D, then move on to higher dimensions, expanding on the fundamentals and introducing new topics, which are necessary for many real-life applications and the development of abstract thought. Applications are introduced to motivate topics.

Название: Горное дело и окружающая среда
Автор: Голик В.И., Комащенко В.И., Леонов И.В.
Издательство: Академический проект
Год: 2020
Cтраниц: 210
Формат: pdf
Размер: 26 мб
Язык: русский

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

Название: Конструкции из дерева и пластмасс
Автор: Иванов В.А., Клименко В.З.
Издательство: Вища школа
Год: 1983
Формат: pdf
Страниц: 281
Размер: 35,9 Mb
Язык: Русский

В учебнике изложены вопросы проектирования плоских и пространственных несущих конструкций из дерева и конструкционных пластиков.

Название: Задачи по геометрии для 9 класса. Дидактические материалы
Автор: Гусев В.А., Медяник А.И.
Издательство: Просвещение
Год: 1990
Формат: pdf
Страниц: 84
Размер: 23,63 Мб
Язык: русский

Данное пособие содержит самостоятельные работы, дифференцированные задания, дополнительные задачи по геометрии для IX класса и задачи на повторение по всему курсу планиметрии.

Название: Introduction to Statistics and Data Analysis, 6th Edition
Автор: Roxy Peck, Tom Short, Chris Olsen
Издательство: Cengage Learning
Год: 2020
Страниц: 889
Язык: английский
Формат: pdf (true)
Размер: 62.5 MB

Peck, Short, and Olsen’s Introduction to Statistics and Data Analysis, 6th Edition lowers the reading level from the previous edition and significantly increases homework scaffolding for difficulty level. In order to get students thinking statistically, this text stresses interpretation and communication of statistical information through hands-on, activity based learning using real data. Written in compliance with the GAISE college report and employing techniques based on modern research into student learning, this text places emphasis on how concepts apply to students and the world around them, then gets into methods using data analysis tools or hand-calculations where necessary. This 6th Edition contains new sections on randomization-based inference: bootstrap methods for simulation-based confidence intervals and randomization tests of hypotheses.

Название: Van Nostrand's Encyclopedia of Chemistry, 5th Edition
Автор: Glenn D. Considine
Издательство: Wiley-Interscience
Год: 2005
Формат: PDF
Страниц: 1846
Размер: 160,5 МБ
Язык: Английский

Scientists, engineers, and technologists in many fields need a knowledge of chemistry because of the importance of chemistry in diverse technologies. In addition, to "classical" topics of chemistry, the new Encyclopedia covers nanotechnology, fuel cell technology, green chemistry, forensic chemistry, supramolecular chemistry, combinatorial chemistry, materials chemistry, and proteomics.