Название: Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Автор: Wolfgang Schreiner
Издательство: Springer
Год: 2023
Страниц: 278
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and Computer Science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material. The goal of this book is to demonstrate how we can formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.

Название: Doing Qualitative Research, 3rd Edition
Автор: Benjamin F. Crabtree, William L. Miller
Издательство: SAGE Publications
ISBN: ‎1506302815
Год: 2023
Формат: EPUB
Страниц: 456
Размер: 18,0 МБ
Язык: Английский

The long-awaited third edition of Doing Qualitative Research by Benjamin F. Crabtree and William L. Miller is out! Co-create your own inspired research stories with this reader-friendly text on qualitative methods, design, and analysis. Written for both students and researchers with little to no qualitative experience, as well as investigators looking to expand and refine their expertise, this clear and concise book will quickly get readers up to speed doing truly excellent qualitative research.

Автор: Кузнецова Н.Е., Титова И.М. и др.
Название: Химия: Учебник для учащихся 8 класса общеобразовательных учреждений
Издательство: М:, Вентана-Графф
Год: 2003
Страниц: 224
Формат: DJVU, PDF
Размер: 29 МБ
Учебник предназначен для обучения химии во всех видах общеобразовательных учреждений. Он также может быть использован для углубленного изучения предмета в классах естественнонаучного профиля. В этом случае обязательным становится изучение материала, выделенного в учебнике шрифтом, иным по сравнению с основным текстом, а также выполнение всех лабораторных опытов, практических работ и творческих заданий...

Название: Распевки. Хрестоматия для вокалистов
Автор: О.Сафронова
Издательство: Москва
Год: 2016
Формат: pdf
Страниц: 69
Размер: 11,58 Мб
Язык: русский

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

Название: Мой первый учебник по музыке и творчеству
Автор: Е. Юдина
Издательство: Аквариум
Год: 1997
Формат: pdf, djvu
Страниц: 275
Размер: 21.3 Мб
Язык: русский

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

Название: Fibonacci Cubes with Applications and Variations
Автор: Omer Egecioglu, Sandi Klavzar, Michel Mollard
Издательство: World Scientific Publishing
Год: 2023
Страниц: 303
Язык: английский
Формат: pdf (true)
Размер: 14.6 MB

Fibonacci Cubes have been an extremely popular area of research since the 1990s. This unique compendium features the state of research into Fibonacci Cubes. It expands the knowledge in graph theoretic and combinatorial properties of Fibonacci Cubes and their variants. By highlighting various approaches with numerous examples, it provides a fundamental source for further research in the field. This useful reference text surely benefits advanced students in Computer Science and mathematics and serves as an archival record of the current state of the field. Readership: Researchers, professionals, academics and graduate students in theoretical Computer Science, graph theory and combinatorics.

Название: Математика на ладони
Автор(ы): Крис Уорринг
Издательство: Эксмо
Год: 2023
Страниц: 306
Формат: PDF
Размер: 27 Мб
Язык: русский

Математику часто называют самым трудным, сложным предметом для изучения, многие признаются в страхе перед ней. В книге «Математика на ладони» Крис Уорринг доказывает, что математику легко понять и изучить, следуя определенной системе.
Каждая глава знакомит читателя с одной темой или теорией, демонстрируя, как овладеть ею с помощью проработанных проблем и примеров из жизни.

Название: Изобретенческая реальность: принципы достижения технических преимуществ в объектах техники с помощью физических явлений, свойств и эффектов
Автор: Огнев В.И.
Издательство: Verso
Год: 2021
Формат: pdf
Страниц: 446
Размер: 11 mb
Язык: русский

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

Автор: Трофимова Т. И.
Название: Физика. 400 основных законов и формул. Справочник для студентов вузов
Издательство: М:, Высшая школа
Год: 1993
Страниц: 46
Формат: DJVU, PDF
Размер: 12 МБ
Впервые в столь сжатой форме представлены основные законы и формулы по всему курсу физики, знание которых необходимо для решения задач и осмысления физической сущности явлений. Основное назначение — помочь быстро найти или восстановить в памяти необходимые законы в формулы. Используются современная терминология и обозначения...

Название: Необыкновенная алгебра
Автор: Яглом И.М.
Издательство: Москва: Едиториал УРСС
Год: 2017
Формат: pdf
Страниц: 73
Размер: 17 mb
Язык: русский

Книга воспроизводит содержание лекции, прочитанной автором участникам XXIX Московской математической олимпиады. В ней излагаются основные понятия, относящиеся к учению об «алгебрах Буля», играющих большую роль в математической логике и важных для всех направлений математики, связанных с электронными вычислительными машинами и кибернетикой. В работе дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривается алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств; а также для самоконтроля приводятся упражнения.
Книга будет с интересом прочитана школьниками средних и старших классов, может быть использована в работе школьного математического кружка.