begin process at 2012 02 17 08:10:25
  Trouver un code source :
 
dans
 


Universal Algebra and Applications in Theoretical Computer Science


Universal Algebra and Applications in Theoretical Computer Science

Prix public : 87,05 €

Commander
Prix exceptionnel Eyrolles :
82,7€


Auteur(s) :
K.denecke s.wismath

Editeur : Chapman and Hall / CRC
Date de parution : 07/03/2002
ISBN : 1-58488-254-9
EAN : 9781584882541

Synopsis

This graduate-level textbook provides an introduction to the basic ideas and concepts of universal algebra and surveys of newer developments. Universal Algebra and Applications in Theoretical Computer Science is written in a style accessible to beginners, with every new concept clearly explained and numerous examples provided. The main ideas of concept lattices as an important tool for conceptual analysis of data are developed, and several examples are given. The algebraic theory of tree automata and its interconnections to universal-algebraic concepts are described. The final part of the book is devoted to key applications of universal algebra in theoretical computer science.

Contents

Introduction

1 Basic Concepts 1
2 Galois Connections and Closures 31
3 Homomorphisms and Isomorphisms 47
4 Direct and Subdirect Products 63
5 Terms, Trees, and Polynomials 75
6 Identities and Varieties 91
7 Term Rewriting Systems 115
8 Algebraic Machines 147
9 Mal'cev-Type Conditions 193
10 Clones and Completeness 215
11 Tame Congruence Theory 251
12 Term Condition and Commutator 289
13 Complete Sublattices 301
14 G-Clones and M-Solid Varieties 325
15 Hypersubstitutions and Machines 347

Bibliography 363
Index 373


Commander ce livre au prix de 87,05 € 82,7 €

Classé sous : Computer, Applications, Theoretical, Algebra, Universal



Commentaires des membres à propos du livre :
Universal Algebra and Applications in Theoretical Computer Science

Aucun commentaire pour le moment.

Donnez votre avis sur ce livre

  Vous avez lu ce livre ? votre avis nous interresse :



Nos sponsors


Sondage...

Comparez les prix

CalendriCode

Février 2012
LMMJVSD
  12345
6789101112
13141516171819
20212223242526
272829    

Consulter la suite du CalendriCode

 
Développement réalisé par Nicolas SOREL (Nix) avec l'aide de : Cyril DURAND et Emmanuel (EBArtSoft), Merci à Vincent pour ses précieux conseils.
CodeS-SourceS.com© Toute reproduction même partielle est interdite sauf accord écrit du Webmaster
CodeS-SourceS.com© est une marque déposée tous droits réservés

Google Coop CodeS-SourceS Google Coop CodeS-SourceS
Temps d'éxécution de la page : 0,905 sec (3)

Nous contacter | Annoncer sur CodeS-SourceS | Mentions légales