Название: Introduction To Mathematical Logic, Extended Edition
Автор: Michal Walicki
Издательство: World Scientific Publishing
Год: 2017
Формат: PDF
Страниц: 302
Размер: 10,94 MB
Язык: English

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers propositional and first order logic their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments.

Название: Geometry and Quantum Field Theory
Автор: Edited by Daniel S. Freed, Karen K. Uhlenbeck
Издательство: American Mathematical Society, Institute for Advanced Study
Год: 1995
Формат: PDF
Страниц: 470
Размер: 15,14 МБ
Язык: English

Exploring topics from classical and quantum mechanics and field theory, this book is based on lectures presented in the Graduate Summer School at the Regional Geometry Institute in Park City, Utah, in 1991. The chapter by Bryant treats Lie groups and symplectic geometry, examining not only the connection with mechanics but also the application to differential equations and the recent work of the Gromov school. Rabin's discussion of quantum mechanics and field theory is specifically aimed at mathematicians.

Название: Ernest Irving Freese's Geometric Transformations: The Man, the Manuscript, the Magnificent Dissections!
Автор: Greg N Frederickson
Издательство: World Scientific Publishing
Год: 2018
Формат: EPUB
Размер: 59 Мб
Язык: английский / English

A geometric dissection is a cutting of a geometric figure (such as a regular polygon, or a star, or a cross) into pieces that we can rearrange to form another geometric figure. The best dissections are beautiful and possess economy (few pieces), symmetry, or hingeability.

Название: The Two-Dimensional Ising Model: Second Edition
Автор: Barry M. McCoy and Tai Tsun Wu
Издательство: Dover Publications
Год: 2014
Формат: PDF
Размер: 40 Мб
Язык: английский / English

"Of all the systems in statistical mechanics on which exact calculations have been performed," declare the authors of this text, "the two-dimensional Ising model is not only the most thoroughly investigated; it is also the richest and most profound." Originally published in 1973, this is the definitive survey of the Ising model, a mathematical model of ferromagnetism in statistical mechanics. This updated edition of the classic text features an extensive section on new developments. Geared toward advanced undergraduates and graduate students of physics, it is also suitable for physicists working in statistical mechanics and related fields.

Название: Информатика. 8 класс / Поляков К.Ю., Еремин Е.А. / 2017
Автор: К.Ю. Поляков
Издательство: Бином
Год выпуска: 2017
Жанр: 8 класс информатика
Формат: PDF, DJVU
Страниц: 259
Размер: 25.9 Мб
Язык: Русский


Учебное издание предназначено для изучения предмета «Информатика» в 8 классе (базовое и углублённое изучение). Входит в состав УМК по информатике для 7-9 классов, включающего авторскую программу, учебные издания, рабочие тетради, практикум, электронные ресурсы и методическое пособие.

Автор:Коллектив
Название:Энциклопедия грибов России
Издательство:Diamond
Год:2005
Формат:chm
Размер: 16МВ
Страниц:1000
Язык: Русский

Добро пожаловать в «Энциклопедию грибов», где собрана наиболее полная и интересная информация о различных видах грибов, с которыми сталкивается человек.

Автор:Коллектив
Название:Энциклопедия головоломок для умных людей
Издательство:Знание
Год:2009
Формат: Pdf
Размер: 14МВ
Страниц:512
Язык: Русский

Лучшие 600 задач на сообразительность- Здесь вы найдете кроссворды по многим школьными предметам, ребусы, очень интересные игры и фокусы со спичками и просто фокусы, разнообразные головоломки, логические задачи.

Название: Конструктивная теория функций
Автор: Натансон И.П.
Издательство: М.: Государственное издательство технико-теоретической литературы
Год: 1949
Формат: DjVu
Страниц: 684
Размер: 10 MB
Язык: Русский

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

Автор: Лукинский В.С. , Бережной В.И., Бережная Е.В.
Название: Логистика автомобильного транспорта: Учеб. пособие
Издательство: М.: Финансы и статистика
Год: 2004
ISBN: 5279027197
Язык: Русский
Формат: pdf, djvu
Размер: 11,4 mb
Страниц: 368 с.: ил.

Учебное пособие обобщает основополагающие понятия логистики применительно к такому специфическому потребителю материальных и информационных потоков, как АТП.

Название: Биология зверей и птиц и взаимоотношение лесных животных с растительностью. Учебное пособие
Автор: Мусаев Ф.А., Захарова О.А.
Издательство: Рязань: РГАТУ
Год: 2018
Страниц: 210
Формат: djvu
Размер: 22,3 Мб
Язык: Русский

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