61. Symcal, The Game Of Logic Homepage With 3 levels of game play, student, professor and genius, test your logic thinking. Transform a mathematical problem represented by international flags into a numerical equation. (Windows) http://www.fteservice.i12.com/ftesym.html

for Windows '95 '98 not tested on Windows 'NT '2000 'ME NEW VERSION IS HERE... Aim of the game is to solve a mathematical problem, by converting a symbolic table of flags into a mathematical equation. This sounds very difficult, but even if you are not a 'genius', using logic thinking will get you the solution. 100% FREEWARE GAME A challenge to your logical approach to solve mathematical problems. Levels to solve range from student to genius. If you love puzzles, then this one is for you. Not a drain on your brain, although it may well be; but it is really relaxing. NEW VERSION IS HERE ENJOY YOURSELF !

62. Mathematical Logic At The University Of Mons-Hainaut mathematical logic. http://www.umh.ac.be/math/logic/

Welcome into the site of the Service of Mathematical Logic at the University of Mons-Hainaut. The pages whose description is written in red are generally written in English. Groupe de contact du FNRS Programme et inscription Les cours du DEA Interuniversitaire et le jeudi octobre 2002 Contenu Contents Programme du en Logiqu Programme des de Rapports du service Present, past or future Congresses in Logic (or related) Where is Mons and how to reach us ? What are our contact addresses Members of Logic Team Inscrivez-vous List of the Undergraduate Courses we give in Mathematical Logic Graduate Courses in Logic: D E tudes A How to get a Marie Curie grant for postdoctoral studies. (information on the Fifth Programme Our main Research Subjects and Collaborations List of our Publications Some of our favorite links Some of our favorite links Please email any correction, comment or suggestion about these pages to A. Maes

63. Edward Nelson's Home Page Professor of Mathematics, Princeton University. mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification. http://www.math.princeton.edu/~nelson/

Edward Nelson's Home Page Google Links More Links Bookmarks ... Blackboard I am in the Department of Mathematics at Princeton University . To reach me, please use email: nelson@math.princeton.edu Otherwise, phone: (609)-258-4206, fax: (609)-258-1367, or write: Edward Nelson Fine Hall Washington Road Princeton, NJ 08544-1000 USA My office is Fine 1208. Here are my list of publications curriculum vitae ., and a photograph (July 2, 2002). Research My current research interests center on mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification . On-line writings on these and other topics will be posted under papers Dynamical Theories of Brownian Motion has been posted at books , and more books will be added. Teaching Calculus students: information about MAT 104 , including sample quizzes and answers, is available. In Spring 1997 I taught a graduate course on automated reasoning , taking as point of departure McCune's extraordinary solution of the Robbins problem. This summer (2001) I am teaching MAT 103 Spring 2002 MAT 217 (Honors Linear Algebra).

64. Prof. Kaiser University of Houston mathematical logic, universal algebra, lattice theory and logic programming. http://math.uh.edu/~klaus/

Klaus Kaiser Professor of Mathematics, University of Houston Office: 607 PGH Office Phone: (713)-743-3462 Office Hours for Spring , 2003 : TTH 11-12 and after class I came to the University of Houston in 1969 with a degree from the University of Bonn. My main research interests are in Mathematical Logic, Universal Algebra, Lattice Theory and Logic Programming. Some of my papers, e.g., on quasi-universal and projective model classes are with Manfred Armbrust who retired from the University of Cologne. A paper on non-standard lattice theory is with two of my former Ph.D. students Mai Gehrke and Matt Insall . We had this paper dedicated to Abraham Robinson. Since June 1996, I am the Managing Editor of the Houston Journal of Mathematics. . I got quite interested in problems concerning journal publishing and presented August 2002 at Tsinghua University, Beijing, a paper The Web: Challenge and Opportunity for an Independent Journal . This article will be published in Springers Lecture Notes on Computer Science. A footnote in model theory: I proved 1966 that the variety of all algebras of a fixed type admits a model completion. Like in the case of fields, the models of the inductive hull (now called Kaiser hull) ) are algebraically closed. But what about the models of the projective hull? Robinson mentioned 1971 that probably a whole new logic might be needed for characterizing those algebras. And indeed, the axioms of the projective hull are exactly what is now referred to as Clark's Equational Theory (1978) which is central for Prolog. But interestingly enough, Mal'cev knew these axioms already (1962) as the axioms for locally absolutely free algebras. He also noticed completeness of these axioms, a fact that was rediscovered by Kunen about 25 years later.

65. Prague Logic Seminars Academy of Science, mathematical Institute, logic Seminar. http://www.math.cas.cz/~krajicek/logika.html

Logic seminar Mathematical Institute, Prague The logic seminars in the institute are organized continuously since early 1970's, first by Petr Hajek for more than twenty years, and since early 90's by Jan Krajicek . Regular participants include Pavel Pudlak Jiri Sgall Antonin Sochor and Vitezslav Svejdar . The seminars are conducted in English if a visitor not speaking Czech attends. Current program The current and future program of the seminar is announced by email. If you wish to receive the announcements, please write to krajicek@math.cas.cz Place Mathematical Institute Academy of Sciences of the Czech Republic Zitna 25 Praha 1, 115 67 seminar room on the 3rd floor Time Mondays, 13.oo - 15.oo Occasionally, for some particular seminars, the time may differ - the actual time is always announced in the email announcements. For Prague students Fall school Pec p./Snezkou'03 Colloquia lectures Some previous program Web connections ... Proof complexity mailing list

66. Citations: Mathematical Foundations Of Computer Science - Wadler, Of, Logic (Res P. Wadler, A taste of linear logic. mathematical Foundations of Computer Science,Gdansk, Poland, August 1993. Springer Verlag, LNCS 711. 4 citations found. http://citeseer.nj.nec.com/context/115306/0

4 citations found. Retrieving documents... P. Wadler. A taste of linear logic. Mathematical Foundations of Computer Science , Lecture Notes in Computer Science 711. Springer-Verlag. Gdansk, Poland (August 1993). Home/Search Document Not in Database Summary Related Articles Check This paper is cited in the following contexts: Safety-Checking of Machine Code - Xu (2000) (11 citations) (Correct) ....of the store after each statement of function f2. A static technique to handle this problem must be able to detect whether such disastrous indirect modifications could happen. There are several approaches to this problem found in the literature. For example, the linear type system given in avoids aliases altogether (and hence any indirect modifications) by consum typedef Point PointPtr; typedef ColorPoint ColorPointPtr; 1: ColorPoint clr; 2: Point bw; 3: void f2(void) 4: PointPtr bwPtr = bw; 5: ColorPointPtr clrPtr = clr; 6: ColorPointPtr r = clrPtr; 7: PointPtr . P. Wadler. A taste of linear logic. Mathematical Foundations of Computer Science , Lecture Notes in Computer Science 711. Springer-Verlag. Gdansk, Poland (August 1993).

67. Citations: A Mathematical Introduction To Logic - Enderton (ResearchIndex) context, the ideas brought forward in this paper demonstrate the power and eleganceof employing mathematical logic to solve problems in design automation. http://citeseer.nj.nec.com/context/30805/0

298 citations found. Retrieving documents... Enderton, H. B., ` A mathematical introduction to logic ', 2nd Edition, Hardcourt/Academic Press, 2001 Home/Search Document Not in Database Summary Related Articles Check This paper is cited in the following contexts: First 50 documents Next 50 Towards a reasoning for interaction between inter-domain.. - Alvin Tan Walter (Correct) ....an exterior gateway protocol to route packets to other domains. When a domain routes transit traffic, resources are being consumed. Therefore , some domains might be willing to route some types of traffic but not others. We discuss this interaction using a formal approach using first order logic 2 ISP customer problem space and policy issues The ISP offers its customer a default route, and the ISP has the responsibility for announcing the customer s route to all other customers of the ISP and to all external connections. The policies that the customer network wishes to represent to .... Enderton, H. B., ` A mathematical introduction to logic ', 2nd Edition, Hardcourt/Academic Press, 2001

68. Mathematical Logic And Foundations Section of Math Guide. http://www.MathGuide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03

69. Mathematical Logic At The LMU Translate this page mathematical logic at the LMU. ( Der gleiche Inhalt auf Deutsch). Hello, World! http://www.mathematik.uni-muenchen.de/~matthes/logik/logik_e.html

Mathematical Logic at the LMU Der gleiche Inhalt auf Deutsch Hello, World! Mathematical Logicians at the LMU How to get to the institute Invitation to the Oberseminar (german) Graduiertenkolleg Logik in der Informatik (english) ... Logic servers worldwide Please mail suggestions and critical comments to: Ralph Matthes matthes@rz.mathematik.uni-muenchen.de who had this page automatically generated on Thu Jul 3 09:07:05 MET DST 1997.

70. Logique De La Programmation The logic of Programming research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs nets (proof = graph), denotational semantics (proof = function), and game semantics (proof = strategy). Two realisations of this working programm are Linear logic and Ludics. http://iml.univ-mrs.fr/ldp/welcome.html

This page uses frames, but your navigator does not take them into account.

71. MathGuide Mathematical Logic And Foundations MathGuide mathematical logic and foundations (28 records). Results120 21-28 Subject Class, mathematical logic and foundations. http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03

72. Mukund, Madhavan Chennai mathematical Institute logic and models for concurrency http://www.cmi.ac.in/~madhavan

Madhavan Mukund Research Interests Partial order based models for concurrent systems Logics for specifying and verifying concurrent systems Distributed algorithms Publications Click here for a complete list. Subject wise classfication Asynchronous automata, Mazurkiewicz trace theory Message-passing systems Bounded time-stamping Logics for concurrency ... Non-interleaved models for concurrency Address Chennai Mathematical Institute 92 G N Chetty Road Chennai 600 017, INDIA Note: New fax/phone numbers (prefix 2 to old numbers)! Phone: +91-44-2815 7854, +91-44-2815 7855 Fax: +91-44-2815 7671 Email: madhavan@cmi.ac.in Personal stuff Some photographs of Lavanya and Nikhil through the ages Last updated 05 January, 2003

73. Mathematical Background Graphs and dyadic relations are mathematical structures that look different, butthey and relations are associated with more abstract mathematics and logic. http://users.bestweb.net/~sowa/misc/mathw.htm

Mathematical Background by John F. Sowa This web page is a revised and extended version of Appendix A from the book Conceptual Structures by John F. Sowa. It presents a brief summary of the following topics for students and general readers of that book and related books such as Knowledge Representation and books on logic, linguistics, and computer science. Sets, Bags, and Sequences Functions Lambda Calculus Graphs ... References Depending on which browser you are using and which fonts are available, one of the following two versions of this document may produce a more readable representation of the mathematical and logical symbols: math.htm mathw.htm If your current browser correctly displays " l " as the Greek letter lambda, " " as an upside-down A, and " " as a right-pointing arrow, then continue viewing this web page. If any of those characters are displayed incorrectly, then click on the other web page to see whether it displays them better. You may also download a program that translates HTML 4.0 character representations to the codes for the Symbol font. You are welcome to use, modify, or adapt that program for the system you are using. 1. Sets, Bags, and Sequences

74. Theoretical Computer Science At The University Of Limburg Major field of research is database theory with a focus on query languages and use of the methods of mathematical logic. http://www.luc.ac.be/theocomp/

University of Limburg Theoretical Computer Science Group Contact Info University of Limburg Department WNI, Building D Universitaire Campus B-3590 Diepenbeek Belgium People Prof. dr. Marc Gyssens Prof. dr. Bart Kuijpers Prof. dr. Frank Neven Prof. dr. Jan Van den Bussche ... Stijn Vansummeren Former members Dr. Geert-Jan Bex Dr. Floris Geerts Dr. Bart Goethals Dr. Marc Spielmann ... (some pictures) Research topics relational database theory, computational model theory constraint databases; spatial, temporal databases complex objects, object-oriented databases foundations of XML data mining programming languages, type systems, reflection, meta query languages constraint satisfaction problems web querying Next seminar to be announced Interesting Links ACM SIGMOD Special Interest Group on Management of Data The Computing Research Repository (CoRR)

75. Dipartimento Di Informatica - Università Di Torino Department of Informatics. Research groups concentrate on knowledge representation and reasoning, machine learning, natural language processing, databases and information systems, decision making models and management systems, informatic technology, linear programming, integer linear programming, game theory, logic programming and automated reasoning, mathematical logic, performance analysis, modelling in biology and medicine, cooperative systems, multidimensional signal processing, security and computer networks, semantics and logics of computation. http://www.di.unito.it/

U S TUDI DI T ORINO phone number Information HowToReachUs People Research ... University home Administrator: wwwadm[at]di.unito.it Last update: 1 Oct 2002

76. Alexander S. Kechris Caltech Foundations of mathematics, mathematical logic and set theory, interactions with analysis. http://www.math.caltech.edu/people/kechris.html

ALEXANDER S. KECHRIS Professor of Mathematics Ph.D., Mathematics, UCLA, 1972 Research Interests Foundations of mathematics; mathematical logic and set theory; their interactions with analysis and dynamical systems . Recent projects include the study of foundational and set theoretic questions, and the application of the methodology and results of descriptive set theory, in classical real analysis, harmonic analysis, dynamical systems (especially ergodic theory and topological dynamics), model theory, and infinite combinatorics. Selected Recent Publications (with H. Becker) The Descriptive Set Theory of Polish Group Actions , London Math. Soc. Lecture Note Series, , Cambridge University Press, 1996 (with G. Hjorth) Borel equivalence relations and classifications of countable models , Ann. Pure and Appl. Logic (with S. Solecki and S. Todorcevic) Borel chromatic numbers , Adv. in Math. (with G. Hjorth) Analytic equivalence relations and Ulm-type classifications , J. Symb. Logic (with A. Louveau) The classification of hypersmooth Borel equivalence relations , J. Amer. Math. Soc.

77. Mathematical Logic Research Group, Department Of Mathematics, Univ. Of Mancheste Department of Mathematics, logic Group. Research interests model theory, uncertain reasoning and Category Science Math Institutions Europe United Kingdom......DEPARTMENT of MATHEMATICS mathematical logic. Welcome to the logic Group. Thereis a strong tradition in mathematical logic at Manchester. http://www.ma.man.ac.uk/DeptWeb/Groups/Logic/LogicResearch.html

People Research Areas MPhil/PhD Opportunities Taught Postgraduate Programmes Other Research Groups Applied Numerical Analysis Pure Statistics ... DEPARTMENT of MATHEMATICS Mathematical Logic Welcome to the Logic Group The staff of the Logic Group currently comprise four permanent members of staff and one temporary lecturer: Professor Peter Aczel , Professor Jeff Paris , Dr. Mike Prest , Dr. George Wilmers , and Dr. Alena Vencovska. There is a strong tradition in mathematical logic at Manchester. The first logician at Manchester was Alan Turing , now considered to be the father of artificial intelligence and one of the great visionaries of the twentieth century. Turing was followed at Manchester by his former student Robin Gandy who made important contributions to the foundations of proof theory and constructive mathematics. Two of Gandy's students have held chairs in this department, Mike Yates (now retired), and Jeff Paris The present group of logicians is closely affiliated with the Pure Mathematics Group and has active research interests in model theory uncertain reasoning and logical aspects of AI variants of classical set theory and their applications , and formalisation in theory and practice . There is also active cooperation with the algebra group at UMIST The logic group offers opportunities for PhD study in all the research areas mentioned above, as well as a one year taught

78. MSc / Diploma In Logic, Department Of Mathematics, Univ. Of Manchester, UK DEPARTMENT of MATHEMATICS MSc and Diploma Programmes in mathematical Logicand the Theory of Computation. Admissions Tutor Dr George Wilmers. http://www.ma.man.ac.uk/DeptWeb/MScCourses/Logic/LogicMSc.html

DEPARTMENT of MATHEMATICS MSc and Diploma Programmes in Mathematical Logic and the Theory of Computation Admissions Tutor: Dr George Wilmers Entrance requirements Admissions Funding ... Student Services Registration Street Wise Welcome Guide Student Guide International Society Historically mathematical logic arose from a consideration of philosophical questions arising from the foundations of mathematics. More recently however this field has become the branch of mathematics which in broad scope is closest to providing the mathematical requirements of information technology. Wherever fundamental problems present themselves, be it in computational linguistics, in cryptography, in artificial intelligence, or in program verification, such problems can often only be properly understood by using the concepts and methods of mathematical logic. Each year, starting in September, the logic group run a one-year taught postgraduate programme leading to the degree of MSc by examination and dissertation. The aim of the programme is to give students a rigorous grounding in some of the main areas of modern mathematical logic, with a particular emphasis on more recent developments which are of potential interest in information technology. The programme is given by the mathematics department in collaboration with the computer science department and the linguistics department. This collaboration enables us to offer a wide and flexible variety of relevant options, but the overall emphasis within the course is on a mathematical approach.

79. Logic Resources Based on the compilation of Boris Piwinger (mathematical logic Group at the University of Bonn). http://www-phil.tamu.edu/Philosophy/logic.html

Logic on the World Wide Web Interactive Logic Sites The Logic Daemon , written by our own Colin Allen Christian Gottschall's Gateway to Logic Academic Logic Programs USA California: Group in Logic at UC Berkeley Logic at UCLA Illinois: Logic at UIC (Chicago) Indiana: IU Logic Program Michigan: University of Michigan New Jersey: Rutgers University Pennsylvania: Carnegie Mellon University Pennsylvania State University Germany Aachen: Bonn: Mathematical Logic Group Freiburg: Heidelberg: Mathematical Logic UK Cambridge: Logic seminar Leeds: Mathematical Logic Group Manchester: Mathematical Logic British Logic Colloquium Elsewhere Belgium, Mons: Mathematical Logic at the University of Mons-Hainaut Czech Republic, Prague: Department of Logic at Charles University Finland, Helsinki: Logic Group France, Paris: Mathematical Logic Team of Universite Paris 7 Israel, Haifa: Logic in Israel Netherlands, Amsterdam: Institute for Logic, Language and Computation Netherlands, Utrecht: Seminar on Mathematical Logic Russia, Moscow: Department of Mathematical Logic Sweden, Uppsala: Mathematical Logic Logic Journals and Preprints Journals Nordic Journal of Philosophical Logic (NJPL) an international journal edited at the Department of Philosophy at the University of Oslo, Norway.

80. Bigchalk: HomeworkCentral: Mathematical Logic (Logic) Looking for the best facts and sites on mathematical logic? MIDDLE SCHOOL Philosophy Western Philosophy Modern Philosophy logic mathematical logic. http://www.bigchalk.com/cgi-bin/WebObjects/WOPortal.woa/Homework/Middle_School/C

Home About Us Newsletters My Products ... Product Info Center Email this page to a friend! K-5 Mathematical Logic document.write(''); document.write(''); document.write(''); document.write(''); Beginnings of Set Theory Combinatory Logic High Order of Set Theory LCF Paradigm ... Contact Us

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 4     61-80 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20