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 50    Back | 1  | 2  | 3  | 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 Introduction | Tutorvista.com
    The study of logic through the use of mathematical symbols is called Mathematical Logic. Mathematical logic is also known as Symbolic Logic or Boolean Logic.  
    http://www.tutorvista.com/content/math/boolean-algebra/mathematical-logic/mathem

22. 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/
    
    Extractions: Natural Language Understanding and Logic Programming The International Workshop on Natural Language Understanding and Logic Programming was first organized in Rennes, France, in 1984 . Since then similar workshops took place in Vancouver, Canada (1987) Dalgharten, Sweden (1991) Nara, Japan (1993) Lisbon, Portugal (1995) and most recently, the 6th NLULP took place in Las Cruces, New Mexico in December 1999 , as part of the International Conference on Logic Programming (ICLP'99). This year, NLULP is affiliated again with ICLP, The International Conference on Logic Programming , which is held as part of FLoC'02, The 2002 Federated Logic Conference , the major computational logic event of the year. The Workshop aims to cover all aspects of the intersection of Natural Language Understanding with Logic Programming and Constraint (Logic) Programming, both theoretical and practical, in all levels of linguistic investigation. Special emphasis was given to works addressing the logical, mathematical and computational relationships between linguistic formalisms and logic programming. Session 1: Opening session Shuly Wintner Welcome and Opening Keynote Speaker: Johan Bos Generating Speech Recognition Grammars with Compositional Semantics from Unification Grammars Coffee Break Session 2: Formalisms Mike Daniels and Detmar Meurers Improving the Efficiency of Parsing with Discontinuous Constituents

23. Abstracts: Confronting Science's Logical Limits. Godel And The Limits Of Logic:
    Godel and the limits of logic mathematical genius Kurt Godel was devoted to rationality in his work but struggled with it in his personal life  
    http://www.faqs.org/abstracts/Science-and-technology/Confronting-sciences-logica
    
    Extractions: Faqs.org homepage Abstracts index Science and technology Article Abstract: Although many of the world's more perplexing questions can be reduced to a computational model, understanding where the model ends and reality begins is fundamental to overcoming the limitations of the model. Noncomputational models such as the mind might not have Godelian limits. author: Casti, John L. Publisher: Scientific American, Inc. Criticism and interpretation, Mathematical analysis, Logic User Contributions: Comment about this article or add new information about this topic: Comment: (50-4000 characters) Name: E-mail: Security Code: Display my email: Article Abstract: The Pioneer 10, Pioneer 11, Voyager 1 and Voyager 2 space probes are nearing the outer limits of the heliosphere. As the four spacecraft continue their journey, scientists hope to gain important information on the remote parts of the heliosphere. author: McDonald, Frank B., Jokipii, J.R.

24. Paul Hsieh's Puzzles
    Logical and mathematical brain teasers, with an indication of difficulty. Hints are provided; solutions are available by email.  
    http://www.azillionmonkeys.com/qed/puzzles.html
    
    Extractions: Paul Hsieh's puzzles These are a bunch of brain teasers, ranging in difficulty from moderate to very hard. There are hints if you need them and you can contact me for the answers if you have a desperate need to know them. Puzzles marked with a are unusually difficult. Puzzles marked with a have not, as yet, been solved by me. Index: Set 2 Set 1 Set #2 Suppose you have two permutation functions on the numbers from to 255. The first, , adds 1 to the number if its between and 254, and maps 255 back to (so its an add by 1 modulo 256). The second, , doubles numbers between and 127, and takes a number x between 128 and 255 to 2*x-255 (so its a bit rotate left.) Can all permutations on the numbers to 255 be generated from successive compositions of these functions? If so how? Given three binary inputs (a,b,c), two inverters and an infinite supply of and and or gates (and forks, for duplicating a result, but I suppose this is a given) construct a black box which has three outputs which are the inverse of three inputs (~a, ~b, ~c). (Follow up to the above) True or false : If we can create 3 inverters from 2, then we can create n+1 inverters from n, and from induction that means we can create n+a from n, and thus n from 2.

25. Dynamical Logic | Mathematical Institute - University Of Oxford
    Abstract Despite the high regard in which physicists hold General Relativity, the spacetime nature of reality has not yet fully been taken to heart in addressing the question of  
    http://www.maths.ox.ac.uk/node/9464
    
    Extractions: Fay Dowker (Imperial College) String Theory Seminar Dynamical Logic Abstract: Despite the high regard in which physicists hold General Relativity, the spacetime nature of reality has not yet fully been taken to heart in addressing the question of the interpretation of quantum mechanics. Partial progress was made by Dirac and Feynman by casting the dynamical content of quantum theory in terms of a Sum Over (spacetime) Histories (SOH). Recently it has been suggested by Sorkin that this SOH is part of an interpretive framework in which the rules of inference that are used to reason about physical reality are themselves subject to dynamical law. Just as General Relativity showed that geometry is not fixed and absolute, so Quantum Mechanics may be telling us that logical rules of inference are not fixed but part of physics. Username: Password: All content (c) Accessibility Statement

26. Carnegie Mellon Department Of Philosophy: Wilfried Sieg
    Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.  
    http://www.hss.cmu.edu/philosophy/faculty-sieg.php
    
    Extractions: My teaching includes Freshman Seminars, Intermediate and Advanced Lecture Courses, and Graduate Research Seminars. At its center, is the attempt to impart a deepened understanding of mathematics, its systematic internal organization and its connection to aspects of our intellectual and physical experience. This fascinating interplay of mathematical thought and experience is embedded in rich historical and philosophical contexts, from Euclid and Plato to Hilbert and Kant. I studied mathematics, physics and logic at universities in Germany (Berlin and Münster). After completing my graduate studies at Stanford University, I taught in the Department of Philosophy at Columbia University. Since 1985, I have been on the faculty at Carnegie Mellon University. I was co-founder of the interdisciplinary program in Pure and Applied Logic that is joint with Computer Science and Mathematics. From 1994 to 2005, I was Head of the Philosophy Department. In 1996, I founded the (LSEC) and have been directing it since that time, first with Richard Scheines as co-director and since 2005 with Teddy Seidenfeld as co-director.

27. 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 Projects ... 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 Events DReaM talks CISA Seminars Informatics Seminars

28. ProQuest Document View - Logic-mathematical Processes In Beginning Reading
    Logicmathematical processes in beginning reading by Greer, Deirdre C., Ph.D., AUBURN UNIVERSITY, 2005, 85 pages; 3201444  
    http://gradworks.umi.com/32/01/3201444.html
    
    Extractions: ProQuest The world's most comprehensive collection of dissertations and theses. Learn more... Logic-mathematical processes in beginning reading by Greer, Deirdre C., Ph.D., AUBURN UNIVERSITY , 2005, 85 pages; 3201444 Abstract: Advisor: Silvern, Steven B. School: AUBURN UNIVERSITY Source: DAI-A 66/12, p. , Jun 2006 Source Type: Ph.D. Subjects: Preschool education Literacy Reading instruction Developmental psychology ... Educational psychology Publication Number: Access the complete dissertation: Find an electronic copy at your library. The database includes citations of graduate works ranging from the first U.S. dissertation, accepted in 1861, to those accepted as recently as last semester. Of the 2.3 million graduate works included in the database, ProQuest offers more than 1.9 million in full text formats. Of those, over 860,000 are available in PDF format. More than 60,000 dissertations and theses are added to the database each year. If you have questions, please feel free to visit the ProQuest Web site -

29. J'Imp Theorem Prover
    An automatic theorem prover based on set of support and ordered resolution for first-order logic. j Imp is part of the Orbital library. This library is a Java class providing object-oriented representations and algorithms for logic, mathematics, and artificial intelligence.  
    http://www.functologic.com/logic/jImp.html
    
    Extractions: j'Imp (alias jImp) is an automatic theorem prover based on set of support and ordered resolution for first-order logic. It supports clause indexing techniques, subsumption, and tautology elimination. For propositional inference, j'Imp provides the special Davis-Putnam-Loveland-Logemann (DPLL) inference procedure, which is very similar to tableaux proving. j'Imp has been implemented in Java and is available along with its reusable components as a part of the Orbital library. The easiest way to use the j'Imp theorem prover is to download the Orbital library and start one of the following scripts Then type the following first-order formula as an input to show that all transitive irreflexive relations are asymmetric: See Full syntax of formulas You can also just tell j'Imp to prove or disprove a couple of test cases by calling bin/jimp all none properties fol Call bin/jimp help to see further options and to get more information on the available configuration options and prover profiles of j'Imp.

30. Furio Honsell's Home Page
    University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical structures for semantics.  
    http://users.dimi.uniud.it/~furio.honsell/

31. Mathematical Logic - Definition Of Mathematical Logic By The Free Online Diction
    mathematical logic Mathematical Logic Quarterly Mathematical logician Mathematical logician Mathematical Markup Language Mathematical Methods in Biomedical Image Analysis  
    http://www.thefreedictionary.com/mathematical logic

32. CiteSeerX — Citation Query Temporal Logic Mathematical
    CiteSeerX Scientific documents that cite the following paper Temporal logic Mathematical foundations. part 1  
    http://citeseerx.ist.psu.edu/showciting?cid=1398859

33. Ehrenfeucht Game Logic Mathematical Link Technique External
    Ehrenfeucht Game Logic Mathematical Link Technique External Economy.  
    http://www.economicexpert.com/a/Ehrenfeucht:game.html

34. CiteSeerX — Citation Query Fuzzy Logic Mathematical Tools For
    CiteSeerX Scientific documents that cite the following paper Fuzzy Logic Mathematical Tools for Approximate Reasoning  
    http://citeseerx.ist.psu.edu/showciting?cid=123878

35. Citations Of Fuzzy Logic Mathematical Tools For Approximate
    This paper focuses on completeness results about generic expansions of propositional Weak Nilpotent Minimum (WNM) logics with truthconstants.  
    http://academic.research.microsoft.com/Detail.aspx?entitytype=1&searchtype=5

36. Symbolic Logic Game Of Logic Mathematical Recre... | Lewis Carroll | ISBN 978048
    ValoreBooks.com Buy or sell Symbolic Logic Game of Logic Mathematical Recreations of Lewis Carroll 2 Books Bound As 1 by Lewis Carroll, ISBN 9780486204925 and other new and  
    http://www.valorebooks.com/Search/ISBN/9780486204925
    
    Extractions: Keep Me In The Loop ValoreBooks.com My Account Sign In Buy Books ... Cart Find Books Twitter Facebook YouTube You will earn 5% commission for every item purchased when your link is clicked Email Email to your friends Facebook Share on Facebook Twitter Share on Twitter Link Share Anywhere don't have an account yet? Sign up now by Lewis Carroll Product Details Best Price: List Price: You Save: 5 Used from $4.38 Acceptable Seller: jgmedia Seller Rating: Ships from: Austin, TX Shipping Methods: Media Mail, Priority Mail Comments: First Few Pages Have Very Light Damp Wrinkling. Cover Has Minor to Moderate Wear. A Few Pages Dog Eared. No Marks or Highlighting. Pages Clean, Bright. No Major Problems. Grea [more] First Few Pages Have Very Light Damp Wrinkling. Cover Has Minor to Moderate Wear. A Few Pages Dog Eared. No Marks or Highlighting. Pages Clean, Bright. No Major Problems. Great for Personal Use!

37. Propositional Logic. Mathematical Logic. Part 2.
    Extended translation of V.Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp.  
    http://www.ltn.lv/~podnieks/mlog/ml2.htm
    
    Extractions: In this book, constructive logic is used as a synonym of intuitionistic logic Right George Boole (1815-1864): "In 1854 he published An Investigation into the Laws of Thought, on Which are founded the Mathematical Theories of Logic and Probabilities. Boole approached logic in a new way reducing it to a simple algebra, incorporating logic into mathematics. He pointed out the analogy between algebraic symbols and those that represent logical forms. It began the algebra of logic called Boolean algebra which now finds application in computer construction, switching circuits etc." (according to MacTutor History of Mathematics archive See also: G.Boole

38. CIDEC Library: Gabbay, Hodkinson, Reynolds * Temporal Logic: Mathematical Founda
    TEMPORAL LOGIC MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL ASPECTS Dov M. GABBAY, 1945. Ian HODKINSON Mark REYNOLDS Department of Computing, Imperial College of Science  
    http://www.cs.ioc.ee/yik/lib/1/Gabbay1.html
    
    Extractions: Department of Computing, Imperial College of Science, Technology and Medicine, London Series: Oxford logic guides , Vol. 28 - Oxford Science Publications Publisher : Oxford University Press - Clarendon Press , Oxford Bibliographic : DESCRIPTION : This long awaited book gives a thorough account of the mathematical foundations of temporal logic, one of the most important logic areas in computer science. It gives a solid introduction to semantical and axiomatic approaches to temporal logic, and covers the central topics of predicate temporal logic, metalanguages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is at the cutting edge, both in new results and in the unifying methodology. CONTENTS : The handling of time: introduction and survey Semantical presentation of temporal connectives Axiomatic presentation of propositional temporal connectives Predicate temporal logics Temporal logics presented in the predicate calculus: language-metalanguage

39. Temporal Logic: Mathematical Foundations And Computational Aspects - Microsoft A
    Authors D. M. Gabbay, I. M. Hodkinson, M. Reynolds. Citations 81 Publication Temporal logic mathematical foundations and computational aspects  
    http://academic.research.microsoft.com/Paper/1289936.aspx
    
    Extractions: var SiteRoot = 'http://academic.research.microsoft.com'; SHARE Author Conference Journal Year Look for results that meet for the following criteria: since equal to before Temporal logic: mathematical foundations and computational aspects Edit Temporal logic: mathematical foundations and computational aspects Citations: 81 D. M. Gabbay I. M. Hodkinson M. Reynolds Published in 1994. Citation More citations Microsoft Research Asia Help ... Privacy Statement Share this on Contribute to Academic

40. Monadic Logic Mathematical Mathematics Unary Relations Employs
    Monadic Logic Mathematical Mathematics Unary Relations Employs Economy.  
    http://www.economicexpert.com/a/Monadic:logic.html

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 50    Back | 1  | 2  | 3  | Next 20