Название: Курс математической логики и теории вычислимости
Автор: Герасимов А.С.
Издательство: Лань
Год: 2014
ISBN: 978-5-8114-1666-0
Формат: pdf
Страниц: 410
Размер: 15,3 Мб
Язык: Русский

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

Название: Вопросы эволюционной морфологии растений
Автор: Тахтаджян А.Л.
Издательство: Л.: Издательство Ленинградского университета
Год: 1954
Формат: DjVu
Страниц: 217
Размер: 10 MB
Язык: Русский

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

Название: Асимптотическая теория сверхзвуковых течений вязкого газа
Автор: Нейланд В.Я., Боголепов В.В., Дудин Г.Н., Липатов И.И.
Издательство: Издательство "Физматлит"
Год: 2003
Формат: pdf
Страниц: 455
Размер: 15 Mb
Язык: Русский

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

Название: Polymer Processing. Modeling and Simulation
Автор: Tim A. Osswald, Juan P. Hernandez-Ortiz (Auth.)
Издательство: Hanser
Год: 2006
Формат: pdf
Страниц: 627
Размер: 13 Mb
Язык: English

This book addresses traditional polymer processing as well as the emerging technologies associated with the plastics industry in the 21st Century, and combines engineering modeling aspects with computer simulation of realistic polymer processes. This book is designed to provide a polymer processing background to engineering students and practicing engineers. This three-part textbook is written for a two-semester polymer processing series in mechanical and chemical engineering.

Название: Ordinal Measurement in the Behavioral Sciences
Автор: Norman Cliff, John A. Keats
Издательство: Psychology Press
Год: 2002
Формат: pdf
Страниц: 236
Размер: 11 Mb
Язык: English

This book provides an alternative method for measuring individual differences in psychological, educational, and other behavioral sciences studies. It is based on the assumptions of ordinal statistics as explained in Norman Cliff's 1996 Ordinal Methods for Behavioral Data Analysis. It provides the necessary background on ordinal measurement to permit its use to assess psychological and psychophysical tests and scales and interpret the data obtained.

Название: Rhs What Plant Where Encyclopedia
Автор: DK
Издательство: DK
Год: 2013
Формат: PDF
Размер: 114 Мб
Язык: английский / English

Whether your garden is stuck in shade or scorching in the sun, this encyclopedia is a go-to guide for making the most of your garden. Solve your garden problems with simple steps to assess your site and soil and then use the at-a-glance classification guide and photos to choose from over 2,000 plants.

Название: The Story of Evolution in 25 Discoveries: The Evidence and the People Who Found It
Автор: Donald R. Prothero
Издательство: Columbia University Press
Год: 2021
Формат: EPUB
Страниц: 376
Размер: 23,8 Mb
Язык: English

The theory of evolution unites the past, present, and future of living things. It puts humanity's place in the universe into necessary perspective. Despite a history of controversy, the evidence for evolution continues to accumulate as a result of many separate strands of incredible scientific sleuthing.
In The Story of Evolution in 25 Discoveries, Donald R. Prothero explores the most fascinating breakthroughs in piecing together the evidence for evolution. In twenty-five vignettes, he recounts the dramatic stories of the people who made crucial discoveries, placing each moment in the context of what it represented for the progress of science.

Название: Анализ математических моделей Базель II
Автор: Алескеров Ф.Т., Андриевская И.К., Пеникас Г.И., Солодков В.М.
Издательство: Физматлит
Год: 2010
ISBN: 978-5-9221-1142-3
Формат: pdf
Страниц: 286
Размер: 11,6 Мб
Язык: Русский

Дано подробное описание математических моделей оценки трех основных банковских рисков, охватываемых международным соглашением по банковскому надзору Базель II.

Название: Относительность инерции
Автор: Тредер Г.Ю.
Издательство: Атомиздат
Год: 1975
Формат: pdf, djvu
Страниц: 130
Размер: 10,83 Мб
Язык: русский

В книге крупного немецкого гравитациониста профессора Г.-Ю. Тредера проводится подробный анализ понятия инертной массы как в классической, так и в релятивистской физике. Основное место в книге занимает построение механики, в которой инерция тел — как этого требует принцип Маха — обусловлена гравитационным воздействием удаленных космических масс.

Название: Исследование гидродинамической неустойчивости в задачах лазерного термоядерного синтеза методами математического моделирования
Автор: Лебо И.Г., Тишкин В.Ф.
Издательство: Издательство "Физматлит"
Год: 2006
Формат: pdf
Страниц: 304
Размер: 10 Mb
Язык: Русский

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