Home  - Science - Logic Mathematical

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

21-40 of 127    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)

Introduction to Elementary Mathematical Logic by Abram Aronovich Stolyar, 2010-10-18 The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (Classic Reprint) by George Boole, 2010-03-18 Mathematical Logic, Revised Edition by W. V. Quine, 1981-04-15 A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics) by Yu. I. Manin, 2009-10-30 Principles of Mathematical Logic by David Hilbert, W. Ackermann, 1999-07-01 Mathematical Logic (Undergraduate Texts in Mathematics) by H.-D. Ebbinghaus, J. Flum, et all 1994-06-10 Logic and Structure by Dirk van Dalen, Dirk van Dalen, 2008-09-01 Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic (PCS)) by Wei Li, 2010-01-22 A Tour Through Mathematical Logic (Carus Mathematical Monographs) by Robert S. Wolf, 2005-01-08 Mathematical Logic by George Tourlakis, 2008-09-02 What is Mathematical Logic? by C. J. Ash, J. N. Crossley, et all 2010-10-18 Mathematical Logic (Oxford Texts in Logic) by Ian Chiswell, Wilfrid Hodges, 2007-07-12 Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions by Eric Schechter, 2005-08-08 A Course In Mathematical Logic by John Bell, Moshe Machover, 1977-01-15

lists with details

21. Mathematical Logic Around The World
    mathematical logic around the world mathematical logic Group, Department of Mathematics, University of Bonn Department of Mathematics, University of Bonn mathematical logic Group Boris Piwinger  
    http://rdre1.inktomi.com/click?u=http://www.uni-bonn.de/logic/world.html&y=0

22. Équipe De Logique Mathématique - CNRS UMR 7056
    mathematical logic Team.  
    http://www.logique.jussieu.fr/index-english.html
    
    Extractions: IHP, April 5 and 6, 2004 Links to some conferences Doctoral training in Logic (EST) MATHLOGAPS Logic in France. Angers: Laboratoire d' Caen: Algorithmique Caen: SDAD Chambery: LAMA Clermont-Ferrand: LLAIC (Laboratoire de Logique, Algorithmique et Informatique de Clermont I) Le Mans: Lyon I: IGD-logique (Institut Girard Desargues) Marseille-Luminy: Logique de la Programmation Paris 1 (La Sorbonne) : Institut d'Histoire et de Philosophie des Sciences et Techniques Paris 7 (Denis-Diderot), UFR d'Informatique:

23. Factasia Logic
    A wide range of writings relating to mathematical and philosophical logic. overview. applications. books on logic. combinatory logic. firstorder logic. history of logic. lambda calculus. logic  
    http://www.rbjones.com/rbjpub/logic

24. Peter Aczel
    University of Manchester Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.  
    http://www.cs.man.ac.uk/~petera/

25. Mathematical Logic Around The World
    A service provided by the mathematical logic Group in Bonn  
    http://www.uni-bonn.de/logic/world.html
    
    Extractions: <A HREF="http://www.uni-bonn.de/logic/world.html">Mathematical Logic around the world</A> Delaware: University of Delaware Florida: University of Florida Illinois: UI at Urbana-Champaign Indiana: Michigan: University of Michigan Minnesota: University of Minnesota New Jersey: Rutgers University New York: City University of New York and logic in the New York area Ohio: Ohio State University Pennsylvania: Carnegie Mellon University Pennsylvania State University University of Pennsylvania (Logic and Computation Group) University of Pennsylvania (Logic, Information, and Computation Program)

26. International Olympiad In Mathematical Logic
    Competition of logic find statements values in random world of figures.  
    http://olympiad.fe.uni-lj.si/Logika/

27. Abstract Service For Mathematical Logic At The Institute For Logic At The Univer
    Abstract Service for mathematical logic at the Institute for logic at the University of Vienna. Abstract Service for mathematical logic v0.81.  
    http://www.logic.univie.ac.at/abstract/
    
    Extractions: As opposed to the former Logic Eprints server by William Mitchell , only abstracts will be collected. We assume you can provide the paper in full on your own server, and will of course offer a link to your location. If things don't work as they should be, do not hesitate to contact me (abstract@logic.univie.ac.at, the subject must be bug-report for abstract server , June 2, 2003

28. Archive For Mathematical Logic
    Archive for mathematical logic The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such  
    http://rdre1.inktomi.com/click?u=http://link.springer.de/link/service/journals/0

29. Mathematical Reasoning Group
    Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.  
    http://dream.dai.ed.ac.uk/
    
    Extractions: MRG home page Research Publications Software ... People The Mathematical Reasoning Group is a distributed research group based in the Centre for Intelligent Systems and their Applications , a research institute within the School of Informatics at the University of Edinburgh . We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence. There is a more detailed overview of the MRG and a list of people . You can also find out how to join the MRG

30. Minnesota, University Of
    mathematical logic.  
    http://www.math.umn.edu/grad/areas/logic.html

31. Wiley InterScience :: Session Cookies
    http://www3.interscience.wiley.com/cgi-bin/jtoc?ID=60500242

32. INI Programme LAA -
    Research session at the Isaac Newton Institute for mathematical Sciences, Cambridge, UK; 16 January 7 July 2006.  
    http://www.newton.cam.ac.uk/programmes/LAA/
    
    Extractions: Mailing List 16 January - 7 July 2006 Organisers Dr A Dawar ( Cambridge ), Professor MY Vardi ( Rice Programme Theme Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity. Among the areas of focus are Computer-Aided Verification: Specifically dealing with algorithms and structures for verifying properties of computing system and the logical, combinatorial and algebraic methods deployed in their study. Finite Model Theory: This draws on logic and combinatorial methods to study the expressive power of logical languages in the finite. Along with connections with complexity, the programme will explore applications in database theory, constraint satisfaction, proof complexity and process logics. Proof Complexity: At the interface of logic and complexity theory, the study of proof complexity, both in terms of lengths of proofs and complexity of inference steps, provides powerful methods for complexity lower bounds.

33. Mathematical Background
    Graphs and dyadic relations are mathematical structures that look different, but they and relations are associated with more abstract mathematics and logic.  
    http://www.jfsowa.com/logic/math.htm
    
    Extractions: 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 Note: Special symbols in this file that are outside the Latin-1 character set (ISO 8859-1) are represented by a .gif image for each character. The alt tag for each image gives the name of the character. Students who are just learning the symbols can move the mouse to any symbol to get a brief reminder of its name. Elementary or "naive" set theory is used to define basic mathematical structures. A set is an arbitrary collection of elements, which may be real or imaginary, physical or abstract. In mathematics, sets are usually composed of abstract things like numbers and points, but one can also talk about sets of apples, oranges, people, or canaries. In computer science, sets are composed of bits, bytes, pointers, and blocks of storage. In many applications, the elements are never defined, but are left as abstractions that could be represented in many different ways in the human brain, on a piece of paper, or in computer storage. Curly braces are used to enclose a set specification. For small, finite sets, the specification of a set can be an exhaustive list of all its elements:

34. Mathematical Logic At Notre Dame
    mathematical logic at Notre Dame. Faculty. in the Mathematics Department. Some recent mathematical logic Ph.D s. (With latest known job information).  
    http://www.nd.edu/~steve/logic/
    
    Extractions: Mathematical Logic at Notre Dame Steven Buechler Peter Cholak Julia F. Knight Sergei Starchenko Timothy Bays Patricia Blanchette Michael Detlefsen (with field and advisor) Jacob Heidenreich model theory Buechler Rebecca Weber computability theory Cholak Wesley Calvert computability theory Knight Jacob Heidenreich is enrolled in a (unofficial) joint Mathematics and Philosophy Ph.D. program. This program is still in its infancy. Andrew Arana was the first Ph.D. graduate of this program. We are hoping this program will become official shortly. For more details contact Julia Knight and/or Michael Detlefsen. For the Philosophy graduate students see the Department of Philosophy home page Ambar Chowdhury, 1992, Buechler, working in business Leefong Low, 1992, Pillay, National Teaching University (Singapore) Zeljko Sokolovic, 1992, Pillay

35. 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/
    
    Extractions: The work of the Theory and Semantics Group is centred around mathematical models of a variety of languages and logics. These models are intended to be used as a basis for specification and verification, and as a tool for clarifying programming concepts. We use techniques such as structural operational semantics, linear logic, domain theory and category theory. Work is in progress on the underlying mathematical structures of these, and on their application to the study of higher order typed programming languages such as Standard ML, to object-based languages, to foundational languages for concurrent, distributed and mobile computation, to hardware description languages, and to security problems. Work is also being undertaken on the analysis of programming languages in the setting of abstract interpretation and on practical optimising compilation for imperative and functional languages. Related research is undertaken within the Automated Reasoning Group . We also have links with the Logic Seminar at DPMMS (Dept of Pure Mathematics and Mathematical Statistics).

36. 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
    
    Extractions: See also Finite Model Theory Homepage Recent papers and preprints (in Logic and its applications in CS, and Complexity) including papers of my collaborators. Participation at International Conferences, Workshops and Summerschools Recently published German Prose: Eine haarige Geschichty (Hairy tale) ps-file pdf-file Hungarian family history and Family-tree and Family-album of the Deutsch family. Manifesto on emancipatory aspects of doing mathematics.

37. Home
    The Department of mathematical logic is responsible for several courses in Mathematics and Computer Science. Department of mathematical logic and Applications.  
    http://www.fmi.uni-sofia.bg/fmi/logic/
    
    Extractions: The Department was founded in 1972 as a subdivision of the United Center of Mathematics and Mechanics. (More information can be found in D. Skordev's ) Since 1989 the Department has been a part of the Faculty of Mathematics and Computer Science, The members of the Department are specialists in the areas of Computability Theory, Theoretical Computer Science, Modal and Non-Classical Logic, Constructive Mathematics. The Department is responsible for several courses in the curriculum of the Bachelor Programs in Mathematics and Computer Science. The Department is responsible also for the in “Logic and Algorithms” in the Faculty. You can see of all current and former postgraduate students in our Department. Research seminars: The Logic Colloquium and Research Seminar in Mathematical Logic Professor I. Soskov

38. Logicville
    Educational puzzles, brain teasers, mathematical recreations and word games. A resource for anagrams, cryptograms, alphametics, word puzzles, logic problems, doublets, tangrams, chess, and math quizzes.  
    http://www.logicville.com/
    
    Extractions: Press control-D to bookmark this web site. Puzzle of the Week EASTER EGGS Alice, Bob, Cathy and Dan went to Easter egg hunt. They found red, orange, yellow and green colored eggs. Among the eggs they found, the number of red eggs were twice the number of green eggs. The yellow eggs were two more than the red eggs. The orange eggs were three more than the green eggs. Alice found as many eggs as Bob did. Cathy found three eggs more than Alice did. Dan found four eggs more than Bob did. Cathy, whose favorite color is red gathered only red colored eggs. None of the other kids gathered red colored eggs. Answer the following: 1) How many red eggs did they found? 2) How many orange eggs did they found? 3) How many yellow eggs did they found?

39. TUD : ACTUAL RESEARCH REPORT - Group 1. Algebra And Logic - Mathematical Logic A
    Group 1. Algebra and logic mathematical logic and Foundations of Computer Science. Algebra and logic - mathematical logic and Foundations of Computer Science.  
    http://www.tu-darmstadt.de/forschung/bericht/040100.en.tud
    
    Extractions: Group 1. Algebra and Logic - Mathematical Logic and Foundations of Computer Science Foreword by the President Tips for users Departments of the TUD Collaborative research centers ... Research homepage Full text search: Quick search in research report Advanced search in research report Advanced search in bibliography Algebra and Logic - Mathematical Logic and Foundations of Computer Science Faculty: Klaus Keimel Ulrich Kohlenbach Martin Otto Thomas Streicher ... Thomas Ihringer Retired: Peter Burmeister Rudolf Wille The research group primarily represents the subject area of Mathematical Logic viewed as an applied foundational discipline between mathematics and computer science . Research activities focus on the application of proof theoretic, recursion theoretic, category theoretic, algebraic and model theoretic methods from mathematical logic to mathematics and computer science. Beside classical mathematical logic (with proof theory, recursion theory and model theory) this involves constructive type theory, categorical logic, universal algebra, domain theory, lattice theory, finite model theory, and algorithmic issues.

40. 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/
    
    Extractions: APR sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called an infinitary language : in this article I discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion it will be seen that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. compactness problem second-order nature and are

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

21-40 of 127    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20