Mathematics

11101 books

$53.28

Report copyright infringementby Carlos Areces (Editor), Robert Goldblatt (Editor)Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. This volume contains invited and contributed papers from the seven...

Witnessed Years: Essays in Honour of Petr Hajek

$45.36

Report copyright infringementby Petr Cintula (Editor), Zuzana Hanikova (Editor), Vitesslav Svejdar (Editor)Readers of this volume are invited on a journey through a logician's life, as witnessed by his colleagues and friends. They will have the opportunity to immerse themselves in the regions of set theory, arithmetic, data analysis, algebra, fuzzy logic and other topics that Petr Hájek has shared with the contributors. Each of the contributions is unique in its approach as well as its person...

Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman

$52.56

Report copyright infringementby Cedric Degremont (Editor), Laurent Keiff (Editor), Helge Ruckert (Editor)Non-classical views about important issues in logic and its philosophy are a distinctive trait of Shahid Rahman's work. This volume has been designed, on the occasion of his 50th birthday, as a gathering place for unconventional approaches, original ideas and attempts to question well-established standards. Some of the world top philosophers and logicians contributed to a brilliant collect...

$38.88

Report copyright infringementby Michal Pelis (Editor) Number of Pages: 298 Dimensions: 0.62 x 9.21 x 6.14 IN Publication Date: May 27, 2009

Foundations of Logic and Theory of Computation

$52.56

Report copyright infringementby A. Sernadas (Author), C. Sernadas (Author)The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert's programme for the formalization of Mathematics. It is widely known that the programme failed with Gödel's incompleteness theorems and related negative results about arithmetic. Unfortunately, the positive outcomes of...

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

$63.36

Report copyright infringementby S. Artemov (Editor), H. Barringer (Editor), A. A. Garcez (Editor)This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Log...

$53.28

Report copyright infringementby R. Schmidt (Editor), I. Pratt-Hartmann (Editor), M. Reynolds (Editor)Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference...

$53.28

Report copyright infringementby G. Governatori (Editor), I. Hodkinson (Editor), Y. Venema (Editor)Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. This volume contains invited and contributed pape...

We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2

$63.36

Report copyright infringementby S. Artemov (Editor), H. Barringer (Editor), A. A. Garcez (Editor)This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the lattest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Lo...

Logics for New-Generation AI. Fourth International Workshop: 15-16 June 2024, Hangzhou

$26.64

Report copyright infringementby Beishui Liao (Editor), Jun Pang (Editor), Tjitze Reinstra (Editor)With the development of several new directions of AI, including explainable AI, ethical AI and knowledge-based AI, the corresponding directions of logical research are gaining momentum: causal reasoning, reasoning with norms and values, and knowledge graph reasoning, etc. In an open and dynamic environment, the main challenges for modelling such kinds of reasoning are to deal with information tha...

Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3

$28.80

Report copyright infringementby Katalin Bimbo (Guest Editor), J. Michael Dunn (Guest Editor)The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net). Number of Pages: 272 Dimensions: 0.57 x 9.69 x 7.44 IN Publication Date: April 19, 201...

$33.12

Report copyright infringementby Francisco Parra-Luna (Editor), Eva Kasparova (Editor)According to many social thinkers it is not possible to quantify the performance of organizations on the basis of the values produced. One initial reply to this critique is that the axiological approach in systems theory aims to fulfil a dual function. On one side, it takes a whole set of universal reference values into consideration which in the end spur human motivation and action justifying life in society...

Logic Across the University: Foundations and Applications

$42.48

Report copyright infringementby Johan Van Benthem (Editor), Fenrong Liu (Editor)Modern logic is an active agent all across the university today, connecting disciplines, and transcending traditional boundaries. This book demonstrates this general role in the special setting of a conference at Tsinghua University, where modern logic was already taught in the 1930s by pioneers like Jin Yeulin. This boon contains an unusual dialogue between Chinese logicians and international colleagues represent...

Hintikka's Take on Realism and the Constructivist Challenge

$28.08

Report copyright infringementby Radmila Jovanovic (Author)The subject of this book are game-theoretically oriented semantics, which provide an alternative to traditional Tarski-style semantics, implementing Wittgenstein's idea of the meaning as use. The basic idea is that the meaning is obtained in a game between two players, one trying to defend and the other trying to falsify the expression at stake. The notion of truth, or that of validity, is based on the existence of a winning strategy o...

Nonmonotonic Reasoning. Essays Celebrating Its 30th Anniversary

$41.04

Report copyright infringementby Gerhard Brewka (Editor), Victor W. Marek (Editor), Miroslaw Truszczynski (Editor)The publication of the seminal special issue on nonmonotonic logics by the Artificial Intelligence Journal in 1980 resulted in a new area of research in knowledge representation and changed the mainstream paradigm of logic that originated in antiquity. It led to discoveries of connections between logic, knowledge representation and computation, and attracted not only computer scien...

Learning and Inferring. Festschrift for Alejandro C. Frery on the Occasion of his 55th Birthday

$28.08

Report copyright infringementby Bruno Lopes (Editor), Talita Perciano (Editor)This volume is dedicated to Alejandro C. Frery, one of the most distinguished research scientists of today, on the occasion of his 55th birthday. It provides cutting-edge references on some of the most discussed research topics in probability, statistics, and image processing, surrounding some of Frery's research interests. Wireless sensor networks, clustering, regression models, simulation models, image processing ...

$25.92

Report copyright infringementby Dmytro Topchyi (Author)Согласно принципа Кирхгофа секретность шифра обеспечивается секретностью ключа, а не секретностью алгоритма шифрования. Криптографические алгоритмы серии ECLECTIC-DT основываются на работе The theory of plafales: the proof algorithms for millennium problems , а также на материал 42-ой конференции по прикладной математики (Польская Академия Наук). Number of Pages: 66 Dimensions: 0.16 x 8 x 5 IN Pub...

A Short Introduction to the Mathematics of Information Theory: A Tutorial Introduction

$51.21

Report copyright infringementby James V. Stone (Author)Originally developed by Claude Shannon in the 1940s, information theory laid the foundations for the digital revolution, and is now an essential tool in telecommunications, genetics, linguistics, brain sciences, and deep space communication. In this richly illustrated book, accessible examples are used to introduce information theory in terms of everyday games like '20 questions' before more advanced topics are explored. Online MatLab and...

Unit Root, Cointegration, Granger-Causality, Threshold Regression and Other Econometric Modeling with Economics and Financial Data: &

$54.00

Report copyright infringementby Chin-Wei Yang (Author), 楊慶偉 (Author), 黃柏農 (Author) Both deductive and inductive methods in scientific research have undergone significant changes since the beginning of the 20th century as sciences advance rapidly. Deductive method reached its pinnacle when Russel's paradox became popular in the field of mathematical logics. The famous barber's paradox illustrates the inevitable logical dilemma: the only barber in an isolated village does the following: (1) he ...

Applying Data Science: Business Case Studies Using SAS

$149.69

Report copyright infringementby Gerhard Svolba (Author)See how data science can answer the questions your business faces! Applying Data Science: Business Case Studies Using SAS, by Gerhard Svolba, shows you the benefits of analytics, how to gain more insight into your data, and how to make better decisions. In eight entertaining and real-world case studies, Svolba combines data science and advanced analytics with business questions, illustrating them with data and SAS code. The case studies...

The Data Path Less Traveled: Step up Creativity using Heuristics in Data Science, Artificial Intelligence, and Beyond

$53.95

Report copyright infringementby Zacharias Voulgaris (Author)Become proficient in using heuristics within the data science pipeline to produce higher quality results in less time.Although data professionals have used heuristics for many years within optimization-related applications, heuristics have been a vibrant area of research in various data-related areas, from machine learning to image processing. Heuristics also play a role in niche applications such as cybersecurity. In addition, the a...

Decision Superhero Book 1: Driving Informed Decision-Making with Probability, Explainable Models, and Decision ScienceDriving Informed Decision-M

$64.75

Report copyright infringementby Eric Torkia (Author), William Klimack (Author)Decision Superhero is a modern practical guide to making better decisions using probability. Understand essential psychological and mathematical models for effective decision-making, implement decision science models in Excel, and build an organization that tests assumptions, discerns variables, and predicts outcomes using decision models.Eric Torkia and Bill Klimack have masterfully distilled decades of experience ...

$115.13

$112.25

Report copyright infringementby Tim Rey (Author), Arthur Kordon (Author), Chip Wells (Author)Applied Data Mining for Forecasting Using SAS, by Tim Rey, Arthur Kordon, and Chip Wells, introduces and describes approaches for mining large time series data sets. Written for forecasting practitioners, engineers, statisticians, and economists, the book details how to select useful candidate input variables for time series regression models in environments when the number of candidates is large, and...

Decision Making in Uncertain Situations: An Extension to the Mathematical Theory of Evidence

$34.11

Report copyright infringementby Fabio Campos (Author)The main problem addressed by this work is how to model and combine bodies of knowledge (or evidence) while maintaining the representation of the unkowledge and of the conflict among the bodies. This is a problem with far-reaching applications in many knowledge segments, in particular for the fields of artificial intelligence, product design, decision making, knowledge engineering and uncertain probability. It must be kept in mind that know...

Toward A New Conception Of Mathematics: A theory of the mind-world interplay

$41.76

Report copyright infringementby Davide Lo Vetere (Author)What is our symbolic intuition of reality, and how is it possible?In Toward a New Conception of Mathematics, Davide Lo Vetere leads us on an extraordinary journey to explore the origin of our intuition of reality, and lays down the foundations of a unified style of reasoning that rewrites our rational and intuitive understanding of reality with profound and far-reaching consequences for practically every aspect of human thought.In a ser...

$194.38

Report copyright infringementby Gunter Hommel (Editor), Gunther Hommel (Editor)Contributions to Quality from Specification Techniques. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes; J. Padberg. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs; A. Pierantonio. Specification of Concurrent Systems: from Petri Nets to Graph Grammars; A. Corradini, U. Montanari. Towards a Theory of Strong Bisimulation for the Service Rendezvous; M. Bal...

Algebraic Systems and Computational Complexity Theory

$176.58

Report copyright infringementby Tse-K'o Wang (Author), Z. Wang (Author), S. Xu (Author)Preface; H.W. Kuhn. 1. Kuhn's Algorithm for Algebraic Equations. 2. Efficiency of Kuhn's Algorithm. 3. Newton Method and Approximate Zeros. 4. A Comparison of Kuhn's Algorithm and Newton Method. 5. Incremental Algorithms and their Cost Theory. 6. Homotopy Algorithms. 7. Probabilistic Discussion on Zeros of Polynomial Mappings. 9. Piecewise Linear Algorithms. References. Index. Number of Pages: ...

Numerical Integration: Recent Developments, Software and Applications

$160.38

Report copyright infringementby Terje O. Espelid (Author), NATO Advanced Research Workshop on Numer (Author), North Atlantic Treaty Organization (Author)Numerical Integration Rules.- A Survey of Methods for Constructing Cubature Formulae.- Linear Representations of Finite Groups and the Ideal Theoretical Construction of G-Invariant Cubature Formulas.- On the Number of Nodes of Odd Degree Cubature Formulae for Integrals with Jacobi Weights on a Simplex.- On Quadrature Formulae near Gaussian Qu...

Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability

$194.38

Report copyright infringementby Dimitur Genchev Skordev (Author)Preface. I. Computational Structures and Computability on Them. II. Combinatory Spaces. III. Computability in Iterative Combinatory Spaces. Appendix: A Survey of Examples of Combinatory Spaces. References. Additional Bibliography. Index of Names. Index of Definitions. Number of Pages: 342 Dimensions: 0.81 x 9.61 x 6.69 IN Illustrated: Yes Publication Date: March 31, 1992 ...

Word Problems, Grade 4: Volume 77 - Paperback

$14.02

by Spectrum (Author)4th Grade Math Word Problems Workbook for kids ages 9-10Support your child's educational journey with the Spectrum Grade 4 Word Problems Math Workbook that teaches basic math skills to fourth graders.The Spectrum grade 4 math workbook is a great way for your fourth grader to learn essential math skills such as geometry, algebra prep, fractions, and more through a variety of problem-solving activities with word problems that are both fun AND educational! Why You'll Love Thi...

Statistics and Neural Networks: Advances at the Interface

$129.96

Report copyright infringementby Jim W. Kay (Author), D. Mike Titterington (Author), J. W. Kay (Editor)In the area where statistics and neural networks meet there has been rapid growth in active research and the number of applications in which the resulting techniques can be used. Interest is growing as companies discover important and lucrative applications of the research to complex problems in areas of engineering, computer science, finance, and other subjects. This book gives up-to-the-min...