Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
ISBN: 9783031223365 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.This Festschrift volume celebrates his many contribu...
|
|
cena:
350,98 zł |
200 Medium Sudoku Puzzles: Book 2
ISBN: 9798728816560 / Angielski / Miękka / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
30,66 zł |
Understanding Behaviour of Distributed Systems Using mCRL2
ISBN: 9783031230073 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the...
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to...
|
|
cena:
702,00 zł |
Transactions on Rough Sets XXIII
ISBN: 9783662665435 / Angielski / Miękka / 509 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.Volume XXIII in the series is a continuation of a number of research streams that have grown out of the seminal work of Zdzislaw Pawlak during the first decade of...
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations,...
|
|
cena:
467,99 zł |
Gödel Without (Too Many) Tears
ISBN: 9781916906341 / Angielski / Twarda / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
84,17 zł |
Inquisitive Logic: Consequence and Inference in the Realm of Questions
ISBN: 9783031097058 / Angielski / Twarda / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems.After motivating the enterprise, the book describes how classical propositional and predicate logic...
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. Th...
|
|
cena:
194,97 zł |
Inquisitive Logic: Consequence and Inference in the Realm of Questions
ISBN: 9783031097089 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems.After motivating the enterprise, the book describes how classical propositional and predicate logic...
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. Th...
|
|
cena:
155,97 zł |
Hiroakira Ono on Substructural Logics
ISBN: 9783030769222 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science.It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property),...
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related...
|
|
cena:
545,99 zł |
An Introduction to Mathematical Proofs
ISBN: 9781032475226 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics. No prerequisites are needed beyond high-school algebra. New material is presented in small chunks that are easy for beginners to digest. The author offers a friendly style without sacrificing mathematical rigor. Ideas are developed through motivating examples, precise definitions, carefully stated...
An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardina...
|
|
cena:
222,92 zł |
Generalized Linear Models for Categorical and Continuous Limited Dependent Variables
ISBN: 9781032477466 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed for graduate students and researchers in the behavioral, social, health, and medical sciences, this text employs generalized linear models, including mixed models, for categorical and limited dependent variables. Categorical variables include both nominal and ordinal variables. Discrete or continuous limited dependent variables have res
Designed for graduate students and researchers in the behavioral, social, health, and medical sciences, this text employs generalized linear models, i...
|
|
cena:
222,92 zł |
Syllogistic Logic and Mathematical Proof
ISBN: 9780198876922 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
294,34 zł |
Relational Calculus for Actionable Knowledge
ISBN: 9783030924324 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowledge in order to exploit increasing data volumes and deal with their inherent complexity. Actionable knowledge has been qualitatively and intensively studied in management, business, and the social sciences but in computer science and engineering, its connection has only recently been established to data mining and its evolution, ‘Knowledge Discovery and Data Mining’ (KDD). Data mining seeks to extract interesting patterns from data, but, until...
This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowledge ...
|
|
cena:
253,48 zł |
Logic Without Gaps or Gluts
ISBN: 9783030946265 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a defense against non-classical approaches to the paradoxes. The author argues that, despite appearances, the paradoxes give no reason at all to reject classical logic. In fact, he believes classical solutions fare better than non-classical ones with respect to key tests like Curry’s Paradox, a Liar-like paradox that dialetheists are forced to solve in a way totally disjoint from their solution to the Liar. Graham Priest’s In Contradiction was the first major work that advocated the use of non-classical approaches. Since then, these views have... This book offers a defense against non-classical approaches to the paradoxes. The author argues that, despite appearances, the paradoxes give no re... |
|
cena:
389,98 zł |
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
ISBN: 9783031266218 / Angielski / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.
This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Ha...
|
|
cena:
214,47 zł |
Introductions to Set and Functions
ISBN: 9798215834787 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
33,62 zł |
Algorithms for Constructing Computably Enumerable Sets
ISBN: 9783031269035 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called "classical recursion theory"). This area of study has produced some of the most beautiful and subtle algorithms ever developed for any problems. These algorithms are little-known outside of a niche within the mathematical logic...
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniqu...
|
|
cena:
233,97 zł |
Essential Mathematics for Undergraduates: A Guided Approach to Algebra, Geometry, Topology and Analysis
ISBN: 9783030871765 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the underpinning key ideas. It guides STEM students towards developing knowledge and skills to enrich their scientific education. In doing so it avoids the common mechanical approach to problem-solving based on the repetitive application of dry formulas. The presentation preserves the mathematical rigour throughout and still stays accessible to undergraduates. The didactical focus is threaded through the assortment of subjects and reflects in the...
This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the under...
|
|
cena:
233,97 zł |
Discrete Mathematics with Coding
ISBN: 9781032398525 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming. Unlike most discrete mathematics texts focusing on one of the other, the book explores the rich and important connection between these two disciplines and shows how each discipline reinforces and enhances the other.
The mathematics in the book is self-contained, requiring only a good background in precalculus and some mathematical maturity. New mathematical topics are introduced as needed. The coding language used is VBA Excel.... This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and compute...
|
|
cena:
466,14 zł |
Lateral Solutions to Mathematical Problems
ISBN: 9781032370927 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students, undergraduates and postgraduates, looking for relief from technical material and also looking for insight into the methodology of mathematics.
This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students,...
|
|
cena:
141,83 zł |
Lateral Solutions to Mathematical Problems
ISBN: 9781032376998 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students, undergraduates and postgraduates, looking for relief from technical material and also looking for insight into the methodology of mathematics.
This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students,...
|
|
cena:
390,13 zł |