Home - Science - Logic Mathematical |
Page 3 41-60 of 136 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20 |
41. J.A. Makowsky, Home Page The Technion mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. http://www.cs.technion.ac.il/~janos/index.html | |
|
42. Theory And Semantics Group Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with logic and Set Theory in the Pure Mathematics Department. http://www.cl.cam.ac.uk/Research/TSG/ | |
|
43. PCML Home Page A Problem Course in mathematical logic. A Problem Course in mathematical logicis available via http or anonymous ftp in LaTeX, PostScript, and PDF formats. http://www.trentu.ca/academic/math/sb/pcml/welcome.html | |
|
44. Infinitary Logic Infinitary logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell. http://plato.stanford.edu/entries/logic-infinitary/ | |
|
45. The Homepage Of The Helsinki Logic Group logic Group.Category Science Math logic and Foundations Institutions Europe...... T. Hyttinen, Stability and general logics, mathematical logic Quarterly, 45219240,1999. Tapani Hyttinen, Generalizing Morley's theorem, Math. http://www.logic.math.helsinki.fi/ | |
|
46. Mathematical Logic At Notre Dame mathematical logic. http://www.nd.edu/~steve/logic/ | |
|
47. Journal Catalogue - Cambridge University Press Focuses on the application of areas such as logic, algebra, geometry and category theory to theoretical computer science. http://uk.cambridge.org/journals/msc/ | |
|
48. Www.math.ufl.edu/~logic/ Similar pages REPORTS ON mathematical logic mathematical. logic. Reports on mathematical logic is a journal aimed at publishingquality research papers on mathematical logic and foundations of mathematics. http://www.math.ufl.edu/~logic/ |
49. Content Special sessions mathematical logic; Dynamical systems. University of Manchester; 69 April 1998. http://www.ma.man.ac.uk/bmc/bmc.html | |
|
50. Reports On Mathematical Logic Reports on mathematical logic. Author Index. ABAD, MANUEL 1. (and L.Monteiro) Number of Epimorphisms Between Finite Boolean Algebras. http://www3.uj.edu.pl/Phils/rml/auth-ind.htm | |
|
51. Brain Teasers And Math Puzzles : Puzzle & Brain Teaser Collection Interactive puzzles to challenge logic and mathematical skills. Immediate feedback with detailed solutions is provided. http://www.syvum.com/teasers/ | |
|
52. Laboratory Of Mathematical Logic Of Steklov Institute Of Mathematics At St.Peter Laboratory of mathematical logic of the Steklov Institute of Mathematics.Category Science Math logic and Foundations Institutions Europe......Laboratory of mathematical logic. Staff. Our activities. Seminars. Laboratory ofmathematical logic belongs to Steklov Institute of Mathematics at St.Petersburg. http://logic.pdmi.ras.ru/ | |
|
53. Symbolic Logic Game Of Logic : Mathematical Recreations Of Lewis Carroll : 2 Boo Symbolic logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. http://hallphilosophy.com/philosophy/358.shtml | |
|
54. NLULP-02: Natural Language Understanding And Logic Programming , program, accepted papers and committee.......To be held in Copenhagen, Denmark on 28 July 2002. Special emphasis on logical, mathematical and computational relationships between linguistic formalisms and logic programming. http://cs.haifa.ac.il/~shuly/nlulp02/ | |
|
55. Martin Hofmann's Home Page University of Edinburgh Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods. http://www.dcs.ed.ac.uk/~mxh/ | |
|
56. Inconsistent Mathematics Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (nonclassical) logic which can tolerate the presence of a contradiction without turning every sentence into a theorem. By Chris Mortensen, from the Stanford Encyclopedia. http://plato.stanford.edu/entries/mathematics-inconsistent/ | |
|
57. Home Page Of Gregory McColm Leads to material on mathematical research games and logic and mathematics education. http://www.math.usf.edu/~mccolm/index.html | |
|
58. Springer Journals By Subjects Includes packages for Acta Informatica, Archive for mathematical logic, Distributed Computing, Inventiones mathematicae, manuscripta mathematica, mathematical Programming, Mathematische Annalen, Mathematische Zeitschrift, Numerische Mathematik, Probability Theory and Related Fields. http://www.springer.de/author/tex/help-journals.html | |
|
59. Society For Mathematical Psychology Promotes the advancement and communication of research in mathematical psychology, broadly defined to include work of a theoretical character that uses mathematical methods, formal logic, or computer simulation. The Society journal is the Journal of mathematical Psychology. http://aris.ss.uci.edu/smp/ | |
|
60. Pitts, Andrew University of Cambridge Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties. http://www.cl.cam.ac.uk/users/amp12/ | |
|
Page 3 41-60 of 136 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20 |