Geometry.Net - the online learning center
Home  - Science - Logic Mathematical

e99.com Bookstore
  
Images 
Newsgroups
Page 4     61-80 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20
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  

         Logic Mathematical:     more books (100)
  1. Mathematical Logic Introduction: Primitive Notion, Truth Value, Lcf, Infinite Set, Shelah Cardinal, Singular Cardinals Hypothesis
  2. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) by Peter B. Andrews, 2010-11-02
  3. Logic, Induction and Sets (London Mathematical Society Student Texts) by Thomas Forster, 2003-07-21
  4. First-Order Logic by Raymond M. Smullyan, 1995-01-30
  5. Mathematical Logic and the Foundations of Mathematics: An Introductory Survey by G. T. Kneebone, 2001-04-25
  6. Advances in Linear Logic (London Mathematical Society Lecture Note Series)
  7. Mathematical Logic Applications and Theory (Saunders Series) by Jean E. Rubin, 1990-01
  8. Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, Daniel Lascar, 2000-11-09
  9. Mathematical Methods in Linguistics (Studies in Linguistics and Philosophy) (Volume 0) by Alice ter Meulen, 1990-04-30
  10. Mathematical Fallacies and Paradoxes by Bryan Bunch, 1997-07-01
  11. The Moscow Puzzles: 359 Mathematical Recreations (Math & Logic Puzzles) by Boris A. Kordemsky, 1992-04-10
  12. The Principles of Inductive Logic (AMS Chelsea Publishing) by John Venn, 1973-01-01
  13. Mathematical Proofs: A Transition to Advanced Mathematics (2nd Edition) by Gary Chartrand, Albert D. Polimeni, et all 2007-10-13
  14. Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers by Bernd S. W. Schr?der, 2010-08-16

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

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! 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

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: 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
    Former members (some pictures)
    Research topics
    Next seminar to be announced
    Interesting Links

    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
    Academic Logic Programs
    USA

    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

    free hit counter