|
 |
|
 |
|
|
 |
|  |
|
 Название: 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. | |
Разместил: Ingvar16 14-04-2023, 04:34 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
Название: 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.
| |
Разместил: riga1979 13-04-2023, 11:20 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Распевки. Хрестоматия для вокалистов
Автор: О.Сафронова
Издательство: Москва
Год: 2016
Формат: pdf
Страниц: 69
Для сайта: Mirknig.su
Размер: 11,58 Мб
Язык: русский
Хрестоматия включает упражнения по вокальной технике, снабженные комментариями и рекомендациями. В книге собрано около трехсот распевок, многие из которых опубликованы впервые, и скороговорки. Имеются список литературы и список интернет-ресурсов. К учебному пособию прилагается диск с записями распевок, которые помогут обучающимся в самостоятельных занятиях. Книга адресована учащимся, студентам и преподавателям вокала.
| |
Разместил: 366887 13-04-2023, 09:53 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Мой первый учебник по музыке и творчеству
Автор: Е. Юдина
Издательство: Аквариум
Год: 1997
Формат: pdf, djvu
Страниц: 275
Для сайта: Mirknig.su
Размер: 21.3 Мб
Язык: русский
Учебное пособие относится к учебно-методической литературе нового поколения и не имеет пока аналогов ни по цели, ни по методике, ни по способу организации учебной деятельности детей. Авторская методика, положенная в основу пособия и творческой тетради, представляет собой серию оригинальных игр и творческих заданий, целостно развивающих детскую личность в спектре композиторской, вокальной, инструментально-исполнительской, режиссерской, актерской, хореографической, литературной, изобразительной, практически-трудовой, исследовательской видов деятельности.
| |
Разместил: 366887 13-04-2023, 08:47 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 12-04-2023, 18:14 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Математика на ладони
Автор(ы): Крис Уорринг
Издательство: Эксмо
Год: 2023
Страниц: 306
Формат: PDF
Размер: 27 Мб
Язык: русский
Математику часто называют самым трудным, сложным предметом для изучения, многие признаются в страхе перед ней. В книге «Математика на ладони» Крис Уорринг доказывает, что математику легко понять и изучить, следуя определенной системе.
Каждая глава знакомит читателя с одной темой или теорией, демонстрируя, как овладеть ею с помощью проработанных проблем и примеров из жизни.
| |
Разместил: MIHAIL62 12-04-2023, 17:20 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Изобретенческая реальность: принципы достижения технических преимуществ в объектах техники с помощью физических явлений, свойств и эффектов
Автор: Огнев В.И.
Издательство: Verso
Год: 2021
Формат: pdf
Страниц: 446
Размер: 11 mb
Язык: русский
В книге рассматриваются принципы достижения технических преимуществ в объектах техники с помощью различных явлений, свойств и эффектов, которые противоположны причинам технической ограниченности этих объектов. Ценность книги заключается в том, что целью и основой работы изобретателя является установление связи сущностей противоположных причин, которые, с одной стороны, указывают на утрату объектом техники технического преимущества, а, с другой, — указывают на обретение им технического преимущества. Одно физическое явление, которое является причиной утраты технического преимущества объектом техники, заменяется противоположным ему, по сущности и предназначению, родственным физическим явлением, с помощью которого обеспечивается техническое преимущество. Первое называется заменяемое явление, второе — явлением формирующее техническое преимущество. Книга полезна специалистам и неспециалистам знаниями необходимыми для разработки технических решений и создания изобретений. | |
Разместил: na5ballov 12-04-2023, 15:31 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Необыкновенная алгебра
Автор: Яглом И.М.
Издательство: Москва: Едиториал УРСС
Год: 2017
Формат: pdf
Страниц: 73
Размер: 17 mb
Язык: русский
Книга воспроизводит содержание лекции, прочитанной автором участникам XXIX Московской математической олимпиады. В ней излагаются основные понятия, относящиеся к учению об «алгебрах Буля», играющих большую роль в математической логике и важных для всех направлений математики, связанных с электронными вычислительными машинами и кибернетикой. В работе дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривается алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств; а также для самоконтроля приводятся упражнения.
Книга будет с интересом прочитана школьниками средних и старших классов, может быть использована в работе школьного математического кружка. | |
Разместил: na5ballov 12-04-2023, 12:31 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Value-Based Engineering: A Guide to Building Ethical Technology for Humanity
Автор: Sarah Spiekermann
Издательство: De Gruyter
ISBN: ?3110793369
Год: 2023
Формат: True PDF
Страниц: 198
Размер: 156,0 МБ
Язык: Английский
This book shows how the grand aspiration of creating a Technology for Humanity can be practically achieved. Value-based Engineering shows how to embed value dispositions into technology design, guiding the reader in a clear and concise way from the exploration of value principles to system requirements. In so doing, it supports the creation of a value-based business mission, seeking to foster organizational purpose and human wellbeing with a given technology.
| |
Разместил: riga1979 12-04-2023, 12:02 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Simulink 5/6/7: Самоучитель
Автор: Дьяконов В.П.
Издательство: М.: ДMK-Прecc
Год: 2008
Cтраниц: 784
Формат: pdf
Размер: 11 мб
Язык: русский
Самоучитель по новейшим реализациям пакета визуального блочного имитационного моделирования Simulink 5/6/7 матричной системы MATLAB R2006/2007. Подробно описаны библиотека блоков Simulink, методика подготовки диаграмм моделей, их редактирование, настройка и запуск на исполнение. Дано описание наиболее важных пакетов расширения Simulink инструментального ящика Blockset, в том числе SimPowerSystems, SimMechanics, Aerospace, Stateflow, Signal Processing, Telecommunication, Video and Image Processing и др. | |
Разместил: rivasss 12-04-2023, 10:00 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
