Universal Algebra, Algebraic Logic, and Databases


Author: B. Plotkin
Publisher: Springer Science & Business Media
ISBN: 940110820X
Category: Mathematics
Page: 438
View: 1911
DOWNLOAD NOW »
Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills.

Formal Theories of Information

From Shannon to Semantic Information Theory and General Concepts of Information
Author: Giovanni Sommaruga
Publisher: Springer Science & Business Media
ISBN: 3642006582
Category: Computers
Page: 269
View: 3789
DOWNLOAD NOW »
This book presents the scientific outcome of a joint effort of the computer science departments of the universities of Berne, Fribourg and Neuchâtel. Within an initiative devoted to "Information and Knowledge", these research groups collaborated over several years on issues of logic, probability, inference, and deduction. The goal of this volume is to examine whether there is any common ground between the different approaches to the concept of information. The structure of this book could be represented by a circular model, with an innermost syntactical circle, comprising statistical and algorithmic approaches; a second, larger circle, the semantical one, in which "meaning" enters the stage; and finally an outermost circle, the pragmatic one, casting light on real-life logical reasoning. These articles are complemented by two philosophical contributions exploring the wide conceptual field as well as taking stock of the articles on the various formal theories of information.

Cylindric-like Algebras and Algebraic Logic


Author: Hajnal Andréka,Miklós Ferenczi,István Németi
Publisher: Springer Science & Business Media
ISBN: 3642350259
Category: Mathematics
Page: 474
View: 5476
DOWNLOAD NOW »
Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (“cylindric” in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin.​

Revue Roumaine de Mathématiques Pures Et Appliqueés


Author: N.A
Publisher: N.A
ISBN: N.A
Category: Mathematics
Page: N.A
View: 7882
DOWNLOAD NOW »


Handbook of Algebra


Author: M. Hazewinkel
Publisher: Elsevier
ISBN: 9780080532967
Category: Mathematics
Page: 896
View: 4592
DOWNLOAD NOW »
Handbook of Algebra

The Cumulative Book Index


Author: N.A
Publisher: N.A
ISBN: N.A
Category: American literature
Page: N.A
View: 987
DOWNLOAD NOW »


Mathematical Reviews


Author: N.A
Publisher: N.A
ISBN: N.A
Category: Mathematics
Page: N.A
View: 5952
DOWNLOAD NOW »


Algebraic Logic


Author: H. Andréka,James Donald Monk,I. Németi
Publisher: North Holland
ISBN: N.A
Category: Mathematics
Page: 746
View: 5090
DOWNLOAD NOW »
This volume is not restricted to papers presented at the 1988 Colloquium, but instead aims to provide the reader with a (relatively) coherent reading on Algebraic Logic, with an emphasis on current research. To help the non-specialist reader, the book contains an introduction to cylindric and relation algebras by Roger D. Maddux and an introduction to Boolean Algebras by Bjarni Joacute;nsson.

Fundamentals of Computation Theory

13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings
Author: Rusins Freivalds
Publisher: Springer
ISBN: N.A
Category: Electronic data processing
Page: 541
View: 7567
DOWNLOAD NOW »
This book constitutes the refereed proceedings of the 13th International Symposium Fundamentals of Computation Theory, FCT 2001, as well as of the International Workshop on Efficient Algorithms, WEA 2001, held in Riga, Latvia, in August 2001. The 28 revised full FCT papers and 15 short papers presented together with six invited contributions and 8 revised full WEA papers as well as three invited WEA contributions have been carefully reviewed and selected. Among the topics addressed are a broad variety of topics from theoretical computer science, algorithmics and programming theory. The WEA papers deal with graph and network algorithms, flow and routing problems, scheduling and approximation algorithms, etc.

Principia Mathematica.


Author: Alfred North Whitehead,Bertrand Russell
Publisher: N.A
ISBN: N.A
Category: Logic, Symbolic and mathematical
Page: 167
View: 873
DOWNLOAD NOW »


Proceedings of the Business and Industry Symposium

2004 Advanced Simulation Technologies Conference : April 18-22, 2004, Hyatt Regency Crystal City, Arlington, Virginia
Author: Maurice Ades,Thong Hang,Larry M. Deschaine,Society for Modeling and Simulation International
Publisher: N.A
ISBN: N.A
Category: Business & Economics
Page: 200
View: 4691
DOWNLOAD NOW »


Proceedings of the Latvian Academy of Sciences

Latvijas Zinātnu Akadēmijas Vēstis. B Dal̦a, Dabaszinātnes. Natural, exact, and applied sciences
Author: N.A
Publisher: N.A
ISBN: N.A
Category: Biology
Page: N.A
View: 2180
DOWNLOAD NOW »


The British National Bibliography


Author: Arthur James Wells
Publisher: N.A
ISBN: N.A
Category: English literature
Page: N.A
View: 1297
DOWNLOAD NOW »


Notices of the American Mathematical Society


Author: American Mathematical Society
Publisher: N.A
ISBN: N.A
Category: Mathematics
Page: N.A
View: 2228
DOWNLOAD NOW »


International Books in Print


Author: N.A
Publisher: N.A
ISBN: N.A
Category: English imprints
Page: N.A
View: 7981
DOWNLOAD NOW »


Grundlagen von Datenbanksystemen


Author: Ramez Elmasri,Sham Navathe
Publisher: Pearson Deutschland GmbH
ISBN: 9783868940121
Category:
Page: 550
View: 3635
DOWNLOAD NOW »


Lattice Functions and Equations


Author: Sergiu Rudeanu
Publisher: Springer Science & Business Media
ISBN: 9781852332662
Category: Mathematics
Page: 435
View: 7880
DOWNLOAD NOW »
One of the chief aims of this self-contained monograph is to survey recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices. Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. Special attention is also paid to consistency conditions and reproductive general solutions. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others. Lattice Functions and Equations updates and extends the author's previous monograph - Boolean Functions and Equations.

Advances in cryptology

proceedings
Author: EUROCRYPT
Publisher: N.A
ISBN: 9783540535874
Category: Computers
Page: 500
View: 9627
DOWNLOAD NOW »


Einführung in die Modelltheorie

Vorlesungen
Author: Philipp Rothmaler
Publisher: Spektrum Akademischer Verlag
ISBN: 9783860254615
Category: Model theory
Page: 331
View: 2181
DOWNLOAD NOW »