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...

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 a...

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-co...

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 clu...

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....

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 r...