Home  - Pure_And_Applied_Math - Universal Algebra

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

61-80 of 101    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

Universal Algebra:     more books (100)

Universal Algebra by George Gratzer, 1960 Universal Algebra: Arity, Subalgebra, Structure, Closure Operator, Post's Lattice, Basis, Ultraproduct, Tarski's High School Algebra Problem Algebra: Determinant, Power Set, Dimension, Isomorphism, Universal Algebra, Binomial Theorem, Algebraic Number, Identity Element, Automorphism Universal Algebra and Lattice Theory: Proceedings of a Conference held at Charleston, July 11-14, 1984 (Lecture Notes in Mathematics) Treatise on Universal Algebra with Applications by Alfred North Whitehead, 1960-01-01 Algebraic Structures: Universal Algebra, Mathematics, Algebraic Structure, Variety (universal algebra), Quasivariety, Abstract Algebra, Axiom, Formal System, ... Theory, Free Object, Table of Lie Groups. A Treatise on Universal Algebra by Alfred North Whitehead, 1960 Elements of a universal algebra and its applications in computer science textbook (neck) / Elementy universalnoy algebry i ee prilozheniy v informatike Uchebnoe posobie (GRIF) by Efimova E.A. Beniaminov E.M., 2004 Universal and Applied Algebra: Proceedings of the 5th Universal Algebra Symposium Turawa Poland 3-7 May 1988 by K. Halkowska, 1989-03 Algebraic Logic and Universal Algebra in Computer Science: Conference Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Universal Algebra and Lattice Theory: Proceedings of the Fourth International Conference Held at Puebla, Mexico, 1982 (Lecture Notes in Mathematics) Special topics in algebra: Universal algebra by B. H Neumann, 1962 Enveloping Algebras (Graduate Studies in Mathematics, V. 11) by Jacques Dixmier, 1996-06-04 Vertex Algebras and Integral Bases for the Enveloping Algebras of Affine Lie Algebras (Memoirs of the American Mathematical Society) by Shari A. Prevost, 1992-03

lists with details

61. Article About "Universal Algebra" In The English Wikipedia On 24-Apr-2004
    The universal algebra reference article from the English Wikipedia on 24Apr-2004 universal algebra is the field of mathematics that studies the ideas  
    http://fixedreference.org/en/20040424/wikipedia/Universal_algebra
    
    Extractions: The Universal algebra reference article from the English Wikipedia on 24-Apr-2004 (provided by Fixed Reference : snapshots of Wikipedia from wikipedia.org) Universal algebra is the field of mathematics that studies the ideas common to all algebraic structures Table of contents showTocToggle("show","hide") 1 Basic idea 4 External links From the point of view of universal algebra, an algebra is a set A together with a collection of operations on A . An n ary operation on A is a function that takes n elements of A and returns a single element of A . Thus, a 0-ary operation (or nullary operation ) is simply an element of A , or a constant , often denoted by a letter like a . A 1-ary operation (or unary operation ) is simply a function from A to A , often denoted by a symbol placed in front of its argument, like ~ x . A 2-ary operation (or binary operation ) is often denoted by a symbol placed between its arguments, like x y . Operations of higher or unspecified arity are usually denoted by function symbols, with the arguments placed in parentheses and separated by commas, like f x y z ) or f x x n After the operations have been specified, the nature of the algebra can be further limited by

62. Elementary Universal Algebra And Computer Science
    universal algebra is a branch of mathematics which was originally It is perhaps surprising then that the ideas of universal algebra have played a  
    http://www.ii.uib.no/~fredrikm/seminar/wagner.html
    
    Extractions: Universal algebra is a branch of mathematics which was originally concerned with abstract generalizations of algebraic concepts. It is perhaps surprising then that the ideas of universal algebra have played a significant role in such areas of computer science as the specification of data types, the semantics of programming languages, and the theory of compilers. Equally surprising is that the seemingly abstract fundamental constructs of universal algebra can be easily implemented on a computer using a symbolic computation system such as Mathematica in a manner that makes it possible to construct and explore interesting computer science examples. In this talk we will give an introduction to universal algebra for non-mathematicians, illustrate its application to the syntax and semantics of programming languages, and describe how the basic constructs of universal algebra can be implemented within Mathematica. Demonstrations of the Mathematica programs (notebooks) implementing the material in the talk will be given on a later date and, if there is sufficient interest, more detailed talks may also be given.

63. Logic And Language Links Universal Algebra
    You have selected the concept universal algebra. Parents. Algebra Model Theory. Short description This node has no children.  
    http://lit.science.uva.nl/LoLaLi/alpha/11.html

64. Universal Algebra - Computing Reference - ELook.org
    Previous Terms, Terms Containing universal algebra, Next Terms . United Technologies Research Cente Unit Separator unit testing  
    http://www.elook.org/computing/universal-algebra.htm

65. Universal Algebra From FOLDOC
    universal algebra. logic the model theory of firstorder equational logic. FOLDOC. 2001-03-16 . Try this search on OneLook / Google  
    http://www.swif.uniba.it/lei/foldop/foldoc.cgi?universal algebra

66. Constraints And Universal Algebra (ResearchIndex)
    In this paper we explore the links between constraint satisfaction problems and universal algebra. We show that a constraint satisfaction problem instance  
    http://citeseer.ist.psu.edu/85.html

67. Programs In Universal Algebra
    Programs in universal algebra. This page will eventually contain a description of work done on programs to perform typical calculations in universal algebra.  
    http://www2.newpaltz.edu/~hobbyd/hobby_html/GAP.html

68. Universal Algebra From FOLDOC
    universal algebra. logic The model theory of firstorder equational logic. Next Universal Asynchronous Receiver/Transmitter, Universal Character Set  
    http://www.instantweb.com/foldoc/foldoc.cgi?Universal algebra

69. Universal Algebra
    universal algebra. Source, Handbook of logic in computer science (vol. 1) background mathematical structures table of contents. Pages 189 368  
    http://portal.acm.org/citation.cfm?id=162534

70. Universal Algebra In Type Theory
    Search The ACM Digital Library The Guide. Please provide us with feedback. Feedback Report a problem Satisfaction survey. universal algebra in Type Theory  
    http://portal.acm.org/citation.cfm?id=646526.694878

71. Software For Universal Algebra
    PURELY universal algebra SOFTWARE. UA Calculator (E. Kiss, R. Freese) G, Lattice (J. Jezek) a basic software for working with groupoids and lattices  
    http://adela.karlin.mff.cuni.cz/~stanovsk/math/soft.htm
    
    Extractions: David Stanovsky // stanovsk@karlin.mff.cuni.cz SOFTWARE FOR UNIVERSAL ALGEBRA The purpose of this page is to collect some links to a software that might be of attention by universal algebraists. Any suggestions appreciated. I wrote a simple Perl script which reads a Cayley table of a groupoid and converts it into input files for the following programs: UAcalc, Mace and Jezek's G. It can thus be used easily (with Mace) for checking identities or completing partial groupoids within a given equational theory. You are welcome to download the script and instructions PURELY UNIVERSAL ALGEBRA SOFTWARE UA Calculator (E. Kiss, R. Freese) G, Lattice (J. Jezek) - a basic software for working with groupoids and lattices AUTOMATED THEOREM PROVING Prover9 (W. McCune) - first-order theorem prover (a successor of Otter MACE (W. McCune) - finite model builder more on ATP COMPUTATION IN GROUPS GAP - the famous software for computation in groups Loops (G. Nagy, P. Vojtechovsky) - a GAP package for computation in quasigroups and loops Nauty (B. McKay)

72. Semigroups, Algorithms, And Universal Algebra
    AMS Southeastern Meeting, March 1998 University of Louisville Special Session in Semigroups, Algorithms and universal algebra. Organizers  
    http://www.louisville.edu/~swseif01/AMS.html
    
    Extractions: Steve Seif swseif01@homer.louisville.edu , University of Louisville Speaker List Mick Adams, adamsm@mcs.newpaltz.edu , SUNY New Paltz Cliff Bergman cbergman@iastate.edu , Iowa State University Joel Berman JBerman@uic.edu , University of Illinois at Chicage Stanley Burris snburris@thoralf2.math.uwaterloo.ca , Waterloo University Dejan Delic ddelic@barrow.uwaterloo.ca , McMaster University Johnathan Farley farley@math.Vanderbilt.Edu , Vanderbilt University Isidore Fleisher fleischi@CRM.UMontreal.CA , University of Montreal Matt Gould GOULDM00@ctrvax.Vanderbilt.Edu , Vanderbilt University Peter Jones jones@marque.mscs.mu.edu

73. About "Hermann Grassmann And The Prehistory Of Universal Algebra"
    , A definition of universal algebra, with a sketch of its prehistory. abstract algebras are divided by a very simple scheme into  
    http://mathforum.org/library/view/3253.html
    
    Extractions: Visit this site: http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannUAlgpaper/GrassmannUAlgpaper.html Author: Desmond Fearnley-Sander Description: A definition of universal algebra, with a sketch of its prehistory. "...abstract algebras are divided by a very simple scheme into self-contained `species'. Within each species a perfect duality is found between families of formal laws and the families of algebras satisfying them. Here the term 'family of algebras of a given species' is used in a technical sense meaning a class closed under taking subalgebras, homomorphic images and direct products - or what is nowadays called a variety. This said, one must point out that undoubtedly the most influential figure in the movement towards abstraction and generality in algebra which culminated in Universal Algebra was Emmy Noether, who died in 1935." Grassmann and Boole; Grassmann's Products; References. Levels: College Languages: English Resource Types: Articles Math Topics: Modern Algebra History and Biography

74. Product Of Family Of Universal Algebras
    Product of Two Algebras; Trivial Algebra; Product of universal algebras Subalgebras of the universal algebra. Lattices of subalgebras.  
    http://mizar.uwb.edu.pl/JFM/Vol5/pralg_1.html
    
    Extractions: Association of Mizar Users The terminology and notation used in this paper have been introduced in the following articles [ Product of Two Algebras Trivial Algebra Product of Universal Algebras 1] Grzegorz Bancerek. The ordinal numbers Journal of Formalized Mathematics 2] Grzegorz Bancerek. Sequences of ordinal numbers Journal of Formalized Mathematics 3] Grzegorz Bancerek. Curried and uncurried functions Journal of Formalized Mathematics 4] Grzegorz Bancerek. Journal of Formalized Mathematics 5] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences Journal of Formalized Mathematics 6] Grzegorz Bancerek and Piotr Rudnicki. On defining functions on trees Journal of Formalized Mathematics 7] Ewa Burakowska.

75. The Correspondence Between Homomorphisms Of Universal Algebra \& Many Sorted Alg
    Subalgebras of the universal algebra. Lattices of subalgebras. Journal of Formalized Mathematics, Homomorphisms of algebras. Quotient universal algebra.  
    http://mizar.uwb.edu.pl/JFM/Vol6/msuhom_1.html
    
    Extractions: Association of Mizar Users The terminology and notation used in this paper have been introduced in the following articles [ Contents (PDF format) 1] Grzegorz Bancerek. Journal of Formalized Mathematics 2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences Journal of Formalized Mathematics 3] Ewa Burakowska. Subalgebras of the universal algebra. Lattices of subalgebras Journal of Formalized Mathematics 4] Czeslaw Bylinski. Functions and their basic properties Journal of Formalized Mathematics 5] Czeslaw Bylinski. Functions from a set to a set Journal of Formalized Mathematics 6] Czeslaw Bylinski. Partial functions Journal of Formalized Mathematics 7] Czeslaw Bylinski. A classical first order language Journal of Formalized Mathematics 8] Czeslaw Bylinski.

76. A Natural Representation Of Partitions As Terms Of A Universal Algebra
    A Natural Representation of Partitions as Terms of a universal algebra We consider a variety of algebras with two binary commutative and associative  
    http://anziamj.austms.org.au/JAMSA/V55/Part3/Lasker.html
    
    Extractions: J Austral Math Soc Ser A A Natural Representation of Partitions as Terms of a Universal Algebra Harry Lakser (Received 17 September 1990) We consider a variety of algebras with two binary commutative and associative operations. For each integer n 0, we represent the partitions on an n -element set as n -ary terms in the variety. We determine necessary and sufficient conditions on the variety ensuring that, for each n , these representing terms be all the essentially n -ary terms and moreover that distinct partitions yield distinct terms. AMS Subject Classification: primary 08A40 secondary 08B20, 05A17 Read the article in your browser. (Scale your print to fit your paper). Editor JAMSB(E): editor at anziamj.austms.org.au

77. General Catalog - Mathematics Faculty
    Associative rings, universal algebra and category theory, counterexamples (Emeritus), Ph.D. University of Colorado. Logic, universal algebra  
    http://sis450.berkeley.edu:4500/catalog/gcc_view_faculty?v_dept_cd=MATH&v_dept_n

78. Seminar On Representation Theory And Algebraic Geometry
    Title Universal graded algebra Lie and related topics. One another application of the universal algebra is the mapping L which associate to any  
    http://www.wisdom.weizmann.ac.il/~gorelik/seminar.htm
    
    Extractions: Name: Istvan Heckenberger, WIS Title:Introduction to Nichols algebras. Abstract: Nichols algebras naturally appear in the classification of pointed Hopf algebras. Prominent examples are the symmetric and exterior algebras of a vector space, and the quantized enveloping algebras U_q(n^+). In this talk several results on the structure of Nichols algebras are introduced and the relation of Nichols algebras and semisimple Lie algebras is pointed out. Recently found tools for the classification of Nichols algebras are presented.

79. Semantics Etc.: A Course In Universal Algebra
    A Course in universal algebra. via Ágnes BendeFarkas via Jan Anderssen. Something I should add to my semantic resources page Stanley N. Burris and HP  
    http://semantics-online.org/blog/2003/05/a_course_in_universal_algebra
    
    Extractions: Main [via via Jan Anderssen Something I should add to my semantic resources page: Stanley N. Burris and H.P. Sankappanavar have made their book A Course in Universal Algebra (originally Springer 1981, now out of print) available for free online. Lots of good stuff on lattices, Boolean algebras, etc. They write: Feel free to download and print off your own copy. And be sure to tell others that this text is once again available! Colleagues have noted the value of downloading a copy and attaching it to their webpage, especially for the benefit of their students who may not have fast access to this site. Please feel free to do this as well. And it would be appreciated if you put a link to this site, www.thoralf.uwaterloo.ca, on your web page so your students can easily find the other files and interactive programs available here. Stanley Burris indeed has an interesting website with papers and lecture notes. What I find most interesting are his materials on the history of mathematical logic. It has been a plan of mine for a while to dig into the archaeology of semantics, as a fun kind of project. Kind of like what Jeff Miller has done for mathematics with his pages: 05.01.03 @ 09:53 PM

80. The Assayer Course In Universal Algebra, A
    Course in universal algebra, A Computer science (abstract algebra). Read. http//www.thoralf.uwaterloo.ca/htdocs/ualg.html  
    http://www.theassayer.org/cgi-bin/asbook.cgi?book=330

61-80 of 101    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20