81. Algebraic Logic And Universal Algebra In Computer Science. Proceedings Of A Conf uniprotokolle Buchtitel Algebraic Logic and universal algebra in ComputerScience. Algebraic Logic and universal algebra in Computer Science. http://www.uni-protokolle.de/buecher/isbn/3540972889/

Forum Chat Newsletter Nachrichten ... Suche Specials Eignungstest Kreditkarte Algebraic Logic and Universal Algebra in Computer Science. Proceedings of a Conference, Ames, Iowa, USA. June 1-4, 1988 (Lecture Notes in Computer Science Vol. 425) von Clifford H. Bergman Kategorie: Modelltheorie ISBN: 3540972889 Synopsis Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, especially in the areas of algebraic specification of data types, relational data types, relational database theory, logic of programmes, functional and logic programming, and semantics of programming languages. To a large extent this work has been carried forward by computer scientists independent of the very active group of mathematicians who work in universal algebra and algebraic logic. A conference was held at Iowa State University in June 1988 to bring together leading researchers from both groups to identify areas of common interest. Addresses were given by Joel Berman, H.Peter Gumm, Bjarni Jonsson, Dexter Kozen, Istvan Nemeti, Vaughan Pratt, Dana Scott and Eric Wagner. The programme also included contributed papers and a round-table discussion of the role of algebra and logic in computer science.

82. A Course In Universal Algebra (Graduate Texts In Mathematics Vol. 78) Translate this page uniprotokolle Buchtitel A Course in universal algebra (Graduate Texts in MathematicsVol. A Course in universal algebra (Graduate Texts in Mathematics Vol. http://www.uni-protokolle.de/buecher/isbn/3540905782/

Forum Chat Newsletter Nachrichten ... Suche Specials Eignungstest Kreditkarte A Course in Universal Algebra (Graduate Texts in Mathematics Vol. 78) von S. Burris Kategorie: Modelltheorie ISBN: 3540905782

83. Polythematic Structured Subject Headings System (PSH) mathematical logic theory of models universal algebra models seealso algebra; first rank languages; completeness of model; http://www.stk.cz/cgi-bin/dflex/ENG/STK/PSH/8609

Homepage News Contact Contents ... Czech Polythematic Structured Subject Headings System (PSH) PSH 1.4 mathematics mathematical logic universal algebra models see also: algebra first rank languages completeness of model stability of model models in set theory see also: theory of sets Information Browse Search ... Feedback

84. Basic Notions Of Universal Algebra Basic notions of universal algebra. Algebras Motivation; Signatures; Signaturesfor special classes of algebras. Subalgebras and direct products; http://www.algebra.uni-linz.ac.at/~erhard/Diplomarbeit/main/node5.html

Next: Algebras Up: Polynomials and polynomial functions Previous: Polynomials and polynomial functions Basic notions of universal algebra Algebras Motivation Signatures Signatures for special classes of algebras ... Homomorphisms and free algebras Tue Jan 7 15:27:47 MET 1997

85. [math/0111009] Notes On Universal Algebra Fri, 7 Dec 2001 002300 GMT (43kb) Notes on universal algebra. AuthorsAlexander A. Voronov (University of Minnesota) Comments 22 http://arxiv.org/abs/math/0111009

Mathematics, abstract math.QA/0111009 ): Thu, 1 Nov 2001 18:25:59 GMT (42kb) Date (revised v2): Fri, 7 Dec 2001 00:23:00 GMT (43kb) Notes on universal algebra Authors: Alexander A. Voronov (University of Minnesota) Comments: 22 pages, 10 figures; In the revised version, a few minor errors are corrected, including some signs for the A_infty operad and algebras Subj-class: Quantum Algebra; Algebraic Topology; Geometric Topology MSC-class: 18D50 (primary), 14H10, 53D55, 55P48, 58D15 (secondary) These are notes of a mini-course given at Dennisfest in June 2001. The goal of these notes is to give a self-contained survey of deformation quantization, operad theory, and graph homology. Some new results related to "String Topology" and cacti are announced in Section 2.7. Full-text: PostScript PDF , or Other formats References and citations for this submission: CiteBase (autonomous citation navigation and analysis) Links to: arXiv math find abs

86. V Goranko: Master Course: Universal Algebra And Model Theory Master course universal algebra and Model Theory. Duration Twosemesters, 1999. Language English Content The course consists http://general.rau.ac.za/maths/goranko/uamt99.htm

Master course: Universal Algebra and Model Theory Duration: Two semesters, 1999. Language: English Content: The course consists of two major parts, Universal Algebra and Model Theory which will be studied in their interrelationship. Universal algebra studies the general notion of algebraic structure (a set with specified family of operations and relations defined in it) and the common properties of the basic concepts and constructions related to it: substructures, morphisms, congruences, quotient-structures, products of structures , etc.. Thus, in particular, universal algebra provides a uniform view on the specific structures studied in algebra (lattices, groups, rings, fields, vector spaces, modules) and other branches of mathematics (topological spaces, categories, graphs, ordered structures, etc.). Model theory studies mathematical structures using methods and results from mathematical logic: the characteristic properties of a structure (or class of structures) are expressed in some formal (logical) language, typically in the language of first-order logic , and thus determine the (first-order) theory Prerequisites: For the first part: 3rd year course in Abstract algebra and a honours course in Set theory; for the second part: one semester honours course in Mathematical logic (can be done during the first semester of 1999).

87. University Of Manitoba: Mathematics -- Faculty Research Areas F. Ghahramani, Functional analysis, harmonic analysis. G. Gratzer, Universalalgebra, lattice theory. D. Kelly, universal algebra, ordered sets. http://www.umanitoba.ca/faculties/science/mathematics/new/faculty/

University of Manitoba Department of Mathematics Winnipeg, Manitoba, Canada, R3T 2N2 Phone: (204) 474-8703 FAX: (204) 474-7611 E-mail: mathematics_dept@umanitoba.ca Faculty Research Areas Profile Research Interests Peter W. Aitchison Computational Methods for Large Systems; Sparse matrix storage methods; Optimization T. G. Berry Mathematical Modelling, Tether Dynamics Virginie Charette Geometry, Lorentzian manifolds, transformation groups. R. Craigen Combinatorial Matrix Theory Orthogonal Designs, Matrices and Configurations Linear Algebra Codes, Signals and Information Theory M. Doob Combinatorics J. A. Gerhard Semi-group theory F. Ghahramani Functional analysis, harmonic analysis G. Gratzer Universal algebra, lattice theory A. B. Gumel Mathematical modelling, scientific computing, numerical dynamical systems, mathematical biology David S. Gunderson Combinatorics, including Ramsey theory, extremal set theory, and Discrete Geometry. B. Guo Scientific/Engineering computing, finite element analysis, mathematical modelling, differential equations C. K. Gupta

88. Research Interests Research interests. My reseach interest are mainly in universal algebraand Abstract Algebraic Logic (check my list of publications). http://www.mat.unisi.it/web/agliano/ua.htm

Research interests My reseach interest are mainly in Universal Algebra and Abstract Algebraic Logic (check my list of publications Here below you'll find some good pieces of information for the working mathematician. Upcoming Conferences in General Algebra and/or Abstract Algebraic Logic Universal Algebra and Lattice Theory Bibliographic Database Some Colleagues Working in Universal Algebra and Abstract Algebraic Logic Universal Algebra and Lattice Theory Bibliographic Database ... A list of all Math. Department WWW servers in the world!

89. The Assayer Course In Universal Algebra, A Course in universal algebra, A. Authors, http://www.theassayer.org/cgi-bin/asbook.cgi?book=330

90. Abstract Of: Universal Coalgebra: A Theory Of Systems Thus the three basic notions of universal algebra algebra, homomorphism of algebras,and congruence, turn out to correspond to coalgebra, homomorphism of http://db.cwi.nl/rapporten/abstract.php?abstractnr=604

91. [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic And Universal Alge S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU Algebraic Logic and universal algebra inComputer Science. Algebraic Logic and universal algebra in Computer Science; http://www.cis.upenn.edu/~bcpierce/types/archives/1987/msg00000.html

[Prev] [Next] [Index] [Thread] [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic and Universal Algebra in Computer Science] To types@THEORY.LCS.MIT.EDU logic@THEORY.LCS.MIT.EDU Subject : [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic and Universal Algebra in Computer Science] From meyer@THEORY.LCS.MIT.EDU Date : Fri, 6 Nov 87 14:02:42 est Prev: CMU meeting on metadeduction Next: Re: Type : Type Index(es): Main Thread

92. Mody I Moda³y International Conference on universal algebra, Quasigroups and related systems, Jadwisin,1989; Edited by A.Romanowska. universal algebra and quasigroup theory. http://www.mini.pw.edu.pl/pol/seminaria/modymoda.htm

Seminarium - Mody i Moda³y MiNI PW W³adze Jednostki Pracownicy ... Seminaria naukowe SEMINARIUM: MODY I MODA£Y Wtorek godz. 10:30 - 12:00, sala 333 Gmach Chemii PW Aktualny program seminarium: Prowadz±cy: Prof. dr hab. Anna Romanowska, (kierownik) tel. 660-7219, e-mail: aroman@mini.pw.edu.pl Dr Barbara Roszkowska-Lech tel. 660-7674, e-mail: barosz@mini.pw.edu.pl Dr in¿. Agata Pilitowska tel. 660-7219, e-mail: irbis@pol.pl Celem seminarium jest studiowanie wybranych dzia³ów algebry w szerokim powi±zaniu z innymi dziedzinami matematyki, oraz ich zastosowañ. Tematyka seminarium obejmuje algebrê uniwersaln± wraz z dzia³ami pokrewnymi, jej zastosowania i zwi±zki z innymi dziedzinami matematyki, ze szczególnym uwzglêdnieniem modów i moda³ów. Mody s± to algebry, w których ka¿da operacja jest idempotentna i jest homomorfizmem. Podstawowe przyk³ady to pó³kraty oraz pewne algebraizacje zbiorów wypuk³ych i przestrzeni afinicznych. Dalszych przyk³adów dostarczaj± struktury algebraiczne wystêpuj±ce w geometrii i kombinatoryce. Natomiast moda³y to pó³kratowo uporz±dkowane mody. Podstawowe przyk³ady otrzymuje siê ze zbiorów wszystkich podalgebr modów. Interesuj± nas czysto algebraiczne aspekty modów, a tak¿e ich zwi±zki z geometri± (m.in. wypuk³± i ró¿niczkow±) i topologi±, kombinatoryk± i informatyk±, a tak¿e zastosowania pozamatematyczne (np. w biologii i fizyce). Tematyka badañ prowadzonych w ramach seminarium: Struktura i konstrukcje modów Reprezentacje modów

93. Grassmann, Hermann - 1862 Explains the published paper called Ausdehnungslehre, which translates to Theory of Extension . The purpose is to create a universal type of geometric calculus. This development is used in linear and nonlinear algebra, today. http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannTranslation/node3.html

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

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 about previous Erlogol conferences in " Conferences " section of this site; about camping center of NSTU in special " Erlogol " section. With any questions and suggestions please, mail to the organization committee: algebra@nstu.ru webmaster

95. Cul.math Page Turner Please note This page has moved. You are seeing this because javascript is not functioning properly on your browser. Click on the link below to view this resource. Link to Resource http://moa.cit.cornell.edu/Hunter/hunter.pl?handle=cornell.library.math/01950001

96. Member Details http://caul.cii.fc.ul.pt/en/member15.html

Luís Fernando Rodrigues de Sequeira Institutional Address: Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa Rua Ernesto de Vasconcelos, Bloco C1, 3º Piso, 1749-016 Lisboa, Portugal Tel: Fax: E-mail: lsequeir - fc.ul.pt Web: www.ptmat.fc.ul.pt/~lsequeir Qualifications: Doutoramento em Matemática (Álgebra, Lógica e Fundamentos), Faculdade de Ciências, Universidade de Lisboa, 2001 Mestrado em Matemática (Álgebra), Faculdade de Ciências, Universidade de Lisboa, 1993 Licenciatura em Matemática, Faculdade de Ciências, Universidade de Lisboa, 1988 Licenciatura em Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1985 Current Position, starting date: Assistant Professor, Department of Mathematics, Faculty of Sciences, University of Lisbon, 2001 Principal Area: Universal Algebra Other Areas of Interest: Lattices, Topology Publications Sequeira, Luís Maltsev Filters Tese de Doutoramento, Universidade de Lisboa, Portugal, 2001 (Thesis) Kearnes, Keith; Sequeira, Luís

Page 5     81-96 of 96    Back | 1  | 2  | 3  | 4  | 5