Dan A. Simovici - Böcker

Data mining essentially relies on several mathematical disciplines, many of which are presented in this second edition of this book. To motivate the reader a significant number of applications of these mathematical tools are included ranging from association rules, clustering algorithms, classification, data constraints, logical data analysis, etc.

Data mining essentially relies on several mathematical disciplines, many of which are presented in this second edition of this book. Topics include partially ordered sets, combinatorics, general topology, metric spaces, linear spaces, graph theory. To motivate the reader a significant number of applications of these mathematical tools are included ranging from association rules, clustering algorithms, classification, data constraints, logical data analysis, etc. The book is intended as a reference for researchers and graduate students. The current edition is a significant expansion of the first edition. We strived to make the book self-contained and only a general knowledge of mathematics is required. More than 700 exercises are included and they form an integral part of the material. Many exercises are in reality supplemental material and their solutions are included.

Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systematic, and rigorous manner. The volume is organized by mathematical area, making the material easily accessible to the upper-undergraduate students in mathematics as well as in computer science and each chapter contains a large number of exercises. The volume can be used as a textbook, but it will also be useful to researchers and professionals who want a thorough presentation of the mathematical tools they need in a single source. In addition, the book can be used effectively as supplementary reading material in computer science courses, particularly those courses which involve the semantics of programming languages, formal languages and automata, and logic programming.

Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as the study of biological systems, data transmission and compression, computer networks, etc.This book combines an algebraic approach with algorithmic aspects and decidability results and explores applications both within computer science and in fields where formal languages are finding new applications. It contains more than 600 graded exercises. While some are routine, many of the exercises are in reality supplementary material. Although the book has been designed as a text for graduate and upper-level undergraduate students, the comprehensive coverage of the subject makes it suitable as a reference for scientists. remove remove

This unique compendium gives an updated presentation of clustering, one of the most challenging tasks in machine learning. The book provides a unitary presentation of classical and contemporary algorithms ranging from partitional and hierarchical clustering up to density-based clustering, clustering of categorical data, and spectral clustering.Most of the mathematical background is provided in appendices, highlighting algebraic and complexity theory, in order to make this volume as self-contained as possible. A substantial number of exercises and supplements makes this a useful reference textbook for researchers and students.

This updated compendium provides the linear algebra background necessary to understand and develop linear algebra applications in data mining and machine learning.Basic knowledge and advanced new topics (spectral theory, singular values, decomposition techniques for matrices, tensors and multidimensional arrays) are presented together with several applications of linear algebra (k-means clustering, biplots, least square approximations, dimensionality reduction techniques, tensors and multidimensional arrays).The useful reference text includes more than 600 exercises and supplements, many with completed solutions and MATLAB applications.The volume benefits professionals, academics, researchers and graduate students in the fields of pattern recognition/image analysis, AI, machine learning and databases.

Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.

Formal language theory is a theoretical discipline in computer science that plays a foundational role in areas such as compilers design, programming language theory, information transmission, computational biology, etc.This unique volume is a succinct introduction to formal language theory suitable for an one-semester course. The main focus is on Chomsky's hierarchy of classes of languages ranging from regular languages to context-free, context-sensitive, and recursively enumerable languages. These classes are presented using both generative methods (grammars) as well as various analytical methods including finite automata, pushdown and linearly bounded automata, and Turing machine.The useful reference text contains a large number of exercises of various degree of difficulties and is intended as a textbook for an upper-level undergraduate or a graduate course in formal languages.

This compendium provides a self-contained introduction to mathematical analysis in the field of machine learning and data mining. The mathematical analysis component of the typical mathematical curriculum for computer science students omits these very important ideas and techniques which are indispensable for approaching specialized area of machine learning centered around optimization such as support vector machines, neural networks, various types of regression, feature selection, and clustering. The book is of special interest to researchers and graduate students who will benefit from these application areas discussed in the book. Related Link(s)