Home  - Pure_And_Applied_Math - Universal Algebra
e99.com Bookstore
 Images Newsgroups
 61-80 of 95    Back | 1  | 2  | 3  | 4  | 5  | Next 20

 Universal Algebra:     more books (100)

lists with details

1. Universal Algebra From FOLDOC
Guides Tutorials. Online Computing Dictionary. Register a Domain. universal algebra. logic The model theory of firstorder equational logic. (1997-02-25).
http://www.instantweb.com/foldoc/foldoc.cgi?Universal algebra

2. ASL 2003 Meeting--Universal Algebra Special Session
2003 Annual Meeting. University of Illinois at Chicago. June 14. Special Session in Algebraic Logic and Universal Algbera. Invited Speakers.
http://www2.math.uic.edu/~marker/asl-03/ua.html

3. Universal Algebra
INTRODUCTORY COURSE ON LOGIC AND universal algebra. In this introductory course we will treat some of the connections between logic and universal algebra.
http://www1.chapman.edu/~jipsen/luatcs99/info/venema.html

Extractions: In the second part of the course we will see how logical questions can be treated in an algebraic framework. We will concentrate on propositional logic and Boolean algebras and work towards Stone's representation theorem. No background in logic or universal algebra is presupposed other than will be treated in the parallel courses on Universal Algebra and Logic, respectively.

4. Universal Algebra
(Preliminary version) Abstract for the Introductory Course on universal algebra. Matt Valeriote. The following topics will be dealt
http://www1.chapman.edu/~jipsen/luatcs99/info/valeriote.html

Extractions: Preliminary version) The following topics will be dealt with during the 4 lectures of this course: Basic operations and invariants of algebras: The notion of a general algebra will be introduced. The basic (and important) operations of taking subalgebras, homomorphic images and direct products of algebras will be discussed. Two invariants of an algebra will be defined: the congruence lattice, and the subuniverse lattice. Varieties: Classes of algebras defined by a set of equations will be studied. Birkhoff's Theorem, which deals with the connection between equations and the algebraic operations introduced in the first lecture, will be discussed. Additionally the notion of a free algebra will be introduced. The nuts and bolts of varieties: Another theorem of Birkhoff's dealing with a certain kind of irreducible algebra will be discussed. Varieties will be classified according to the equations which are satisfied by the congruence lattices of the algebras they contain. A more general scheme for classification using Mal'cev conditions will be introduced. Finite algebras: Combinatorial properties of finite algebras will be dealt with in this lecture. The notion of a minimal algebra will be introduced in order to give some indication of how the local structure of a finite algebra can be described. Palfy's theorem on minimal algebras will be discussed.

5. UNIVERSAL ALGEBRA, ALGEBRAIC LOGIC AND DATABASES By BORIS PLOTKIN
universal algebra, ALGEBRAIC LOGIC AND DATABASES by BORIS PLOTKIN (Kluwer Academic Press,1994). Introduction General View on Objectives
http://www.mmsysgrp.com/plotkin.htm

6. Michael Tsai - Blog - A Course In Universal Algebra
Saturday, May 3, 2003 1044 PM. A Course in universal algebra. One of SpringerVerlags old graduate texts is now online (via Kai Von Fintel).
http://mjtsai.com/blog/2003/05/03/a_course_in_universal_alg.html

7. I Links:- Universal Algebra - Cinderella?
I Links universal algebra - Cinderella? posted by kx21 on December 15, 2002 at 230145 universal algebra. Categories, Quantization, and Much More.
http://superstringtheory.com/forum/superboard/messages3/90.html

Extractions: String Theory Discussion Forum String Theory Home Forum Index I Links:- Universal Algebra - Cinderella? Follow Ups Post Followup Supersymmetry III FAQ Posted by on December 16, 2002 at 19:51:47: In Reply to: M Physics 21:- String / M Theories ~ f ( M Stuffs)... posted by on December 15, 2002 at 23:01:45:

8. Math 589, Universal Algebra II, Spring 2004
RD Maddux. Mailing Address Department of Mathematics 400 Carver Hall Iowa State Universuty Ames, Iowa 500112066, USA Office 418

9. Www.louisville.edu/~kakear01/topics.html
Semigroups, Algorithms, and universal algebraAMS Southeastern Meeting, March 1998 University of Louisville Special Session in Semigroups, Algorithms and universal algebra. Organizers.
http://www.louisville.edu/~kakear01/topics.html

10. "Erlogol" - International Algebraic Conferences, Novosibirsk, Russia
algebraic system theory. All specialists in model theory and universal algebra are welcome at our conferences. The programme of
http://www2.nstu.ru/deps/algebra/erlogol/

Extractions: Erlogol is the name of algebraic conferences held every odd year by Novosibirsk State Technical University ( NSTU ) and Sobolev Institute of Mathematics of Siberian Branch of Russian Academy of Sciences ( IM The purpose is discussion of model-theoretical and algebraic methods in application to algebraic system theory. All specialists in model theory and universal algebra are welcome at our conferences. The programme of conferences includes cycles of lectures, plenary and short reports. The next conference is planned to be held in June of 2003. The previous conference Intermediate Problems of Model Theory and Universal Algebra " took place in June,24-30 of 2001 in camping center "Erlogol" of NSTU Learn more With any questions and suggestions please, mail to the organization committee: webmaster

11. WiktorMarek
Some applications of universal algebra to semantics of nonmonotonic logics. Professor Wiktor Marek University of Kentucky, Lexington marek@cs.engr.uky.edu
http://nylogic.org/Conference/April2002/Sunday/WiktorMarek

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

13. A Course In Universal Algebra
Název dokumentu A Course in universal algebra. Predmet MAI031 Univerzální algebra (anotace, dalí literatua). Autori Stanley
http://kiwi.ms.mff.cuni.cz/~elib/cgi-bin/knihovna_hledej.cgi?autor=Burris, S.

14. "Archives: Universal Algebra
universal algebra. A development of universal algebra in Coq (version 6.2.3) is available at my web page. http//cs.kun.nl/~venanzio/universal_algebra.html.
http://pauillac.inria.fr/cdrom/www/coq/mailing-lists/coqclub/0228.html

15. "Archives: Re: Universal Algebra
Re universal algebra. From MET Next message Loic Pottier universes in Coq ; Previous message Venanzio Capretta universal algebra ;
http://pauillac.inria.fr/cdrom/www/coq/mailing-lists/coqclub/0229.html

16. Vanderbilt Universal Algebra Electronic Forum
http://atlas.math.vanderbilt.edu/~mmaroti/ua/

17. Vanderbilt Universal Algebra Electronic Forum
Vanderbilt universal algebra Electronic Forum.
http://atlas.math.vanderbilt.edu/~mmaroti/ua/titlet.htm

18. KVV (Universal Algebra)
Translate this page Inhaltsverzeichnis. universal algebra. (81-314) 4 + 2 SWS Mo 11.45-13.15 / 48-538 Do 08.15-09.45 / 48-538 Hauptstudium Dozent Prof.
http://www.mathematik.uni-kl.de/~wwwfs/kvv/kvv_2003WS/vor26.htm

Extractions: Order relations, cardinal numbers, distributive and modular lattices, Boolean algebra, terms and polynomials, word problems, polynomial complete lattices, theorem of Stone, homomorphisms and congruences, direct and subdirect products, varieties, Birkhoff's theorem of varieties, Malcev type theorems, commutator theory, solvable algebras, equational logic, hyperidentities, clones, theorem of Rosenberg.

19. ERLOGOL-2005: Intermediate Problems Of Model Theory And Universal Algebra
ERLOGOL2005 Intermediate Problems of Model Theory and universal algebra. Name ERLOGOL-2005 Intermediate Problems of Model Theory and universal algebra.
http://www.ams.org/mathcal/info/2005_jun26-jul1_novosibirsk.html

Extractions: Month: June 2005 Date: June 26July 1 Name: ERLOGOL-2005: Intermediate Problems of Model Theory and Universal Algebra Location: State Technical University/Mathematics Institute, Novosibirsk, Russia. Algebra department of Novosibirsk State Technical University and Mathematics Institute of Russian Academy of Sciences. Information about previous meetings is on the following sites: 1995-2001: http://www2.nstu.ru/deps/algebra/erlogol/ http://www.nstu.ru/science/conf/erlogol-2003 . Pay attention to the http://www2 in the first address! You may send email to: algebra@nstu.ru ponom@online.sinor.ru knp1958@yahoo.com

20. AMCA: Lattices, Universal Algebra And Applications - List Of Speakers
Lattices, universal algebra and Applications May 2830, 2003 Centro de Algebra da Universidade de Lisboa Lisbon, Portugal. Organizers
http://at.yorku.ca/c/a/j/s/01.htm

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