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 77    Back | 1  | 2  | 3  | 4  | 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. KGRC
    KGRC Kurt Gödel Research Center for mathematical logic at the University of Vienna. (former Institute for logic — vormals Institut für Formale Logik)  
    http://www.logic.univie.ac.at/
    
    Extractions: at the University of Vienna Subscribe to email notifications about events at the KGRC. Date: Speaker: Jörg Brendle (Kobe) Title: Malyhin's Problem January 2008 : The KGRC welcomes two new members, the postdoc Meeri Kesälä and the visiting student Prerna Bihani. January 2008 : Jörg Brendle visits the KGRC. December 2007 : The KGRC welcomes Lyubomyr Zdomskyy as a new member. December 2007 : Philip Welch visits the KGRC. December 2007 : The KGRC welcomes Ajdin Halilovic as a new member. November 2007 : Vladimir Kanovei visits the KGRC. October 2007 : Moti Gitik visits the KGRC. October 2007 : Yi Zhang visits the KGRC. October 2007 : The KGRC welcomes two new members: The PhD student Peter Holy and the postdoc Luca Motto Ros. April 2006 : The KGRC is co-organizer of Horizons of Truth November 2005 : The 9th KGC Set Theory Workshop July 2005 : The research center receives an excellent rating (text in German) in the final report of the 2005 evaluation of Austrian mathematics.

22. Department Of Mathematical Logic And Applications
    Department of mathematical logic and Applications.  
    http://www.fmi.uni-sofia.bg/fmi/logic/
    
    Extractions: Home Members Bachelor Courses Master of Science Programs ... Resources Some links: Mailing list of the Bulgarian logic community Web phorum of the department Section of Logic at the IMI of BAS Linguistic Modelling Department at the IPP of BAS The Department was founded in 1972 as a subdivision of the United Center of Mathematics and Mechanics (more information can be found in Dimiter 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. If you want to ask something or to initiate a discussion, you can use our . In order to be informed with the current events about the mathematical logic and theoretical computer sciences you can subscribe to our (about 5 messages per month).

23. A K Peters, Ltd. - Mathematical Logic
    This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint  
    http://www.akpeters.com/product.asp?ProdCode=1357

24. Research Groups In Mathematics, Uppsala University
    The research effort of the program in mathematical logic falls to a significant part within the area common to mathematics and theoretical computer science.  
    http://www.math.uu.se/logik/

25. Mathematical Logic At The University Of Mons-Hainaut
    Bienvenue sur le site du Service de Logique Mathématique de l Université de MonsHainaut. Welcome into the site of the Service of mathematical logic at the  
    http://www.umh.ac.be/math/logic/

26. Theory Of Knowledge By Bertrand Russell
    By the name mathematical logic , then, I will denote any logical theory whose object is the In an examination of the work done by mathematical logic,  
    http://www.marxists.org/reference/subject/philosophy/works/en/russell.htm
    
    Extractions: Bertrand Russell (1911) Source Collected Papers of Bertrand Russell (1972) publ. Routledge. Two articles reproduced here. n 1 whenever it belongs to n . Such is, for example, the property of being greater than 100. If a number is greater than 100, the next number after it is greater than 100. Let us call by the name "inductive property" of a number a hereditary property which is possessed by the number zero. Such a property must belong to 1, since it is hereditary and belongs to 0; in the same way, it must belong to 2, since it belongs to 1; and so on. Consequently the numbers of daily life possess every inductive property. Now, amongst the inductive properties of numbers is found the following. If any collection has the number n, no part of this collection can have the same number n . Consequently, if all numbers possess all inductive properties, there is a contradiction with the result that there are collections which have the same number as a part of themselves. This contradiction, however, ceases to subsist as soon as we admit that there are numbers which do not possess all inductive properties. And then it appears that there is no contradiction in infinite number. Cantor has even created a whole arithmetic of infinite numbers, and by means of this arithmetic he has completely resolved the former problems on the nature of the infinite which have disturbed philosophy since ancient times. The problems of the continuum

27. Mathematical Logic In Padua - Home Page
    mathematical logic in Padua is dedicated to the research work in mathematical logic by the school of Giovanni Sambin, professor of mathematical logic in  
    http://www.math.unipd.it/~logic/

28. Phil 513 - Mathematical Logic I
    Some History of mathematical logic and Set Theory; Pp. 5558 - Handout three IV. Numerals / V. Ordering, Complete Induction and Divisibility  
    http://people.umass.edu/klement/513/index.html

29. REPORTS ON MATHEMATICAL LOGIC
    Reports on mathematical logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics. ISSN 01372904  
    http://www.iphils.uj.edu.pl/rml/rml.htm

30. Michal Walicki
    mathematical logic an Introduction the compendium with the whole syllabus and an extensive section on the history of logic  
    http://www.ii.uib.no/~michal/
    
    Extractions: Address: University of Bergen Department of Informatics HiB, 5020 Bergen, NORWAY Ph. : +47 55 58-41-78 Fx. : +47 55 58-41-99 E-mail : michal@ii.uib.no Interests: Formal methods in software development - Universal algebra and category theory: Algebraic treatment of nondeterminism Relational and power structures Categories of multialgebras - Logic: Reasoning with nondeterminism (multifunctions) Modal/epistemic logic (algebraic semantics) project description INF-227 - An introduction to mathematical logic INF-220 - Algebraic Specification: INF-121 (h-2005) Files which are mentioned as available for ftp, can also be obtained directly by anonymous ftp from the directory /pub/michal on the server ftp.ii.uib.no

31. Oxford Mathematical Logic Group
    mathematical Institute, mathematical logic group. Members, seminars. Home of the Model Theoretic Exchange.  
    http://www.maths.ox.ac.uk/logic/
    
    Extractions: Mathematical Institute University of Oxford The Mathematical Logic group is part of the Mathematical Institute at the University of Oxford . The main research interests of the group are geometric stability theory, model theory of fields and o-minimal structures. The group is affiliated to MODNET , the European Research Training Network in Model theory, and to RAAG , the European Research Training Network on Real Algebraic and Analytic Geometry. The logic group convenes for tea in the common room at 4pm each day. On Fridays in term time we have tea after the seminar. Occasionally the seminar runs past the time when tea is served and then we have no tea. Last updated on 5 February 2007 by Juan Diego Caycedo

32. IEEE Spectrum: The Exterminators
    not only with an arsenal of the latest software engineering methods but also with something a little more unusual in the field mathematical logic.  
    http://www.spectrum.ieee.org/sep05/1454
    
    Extractions: var sLocalState = "$channel"; Font Size: A A A // define the element that should be active by default. // this value can/will be overwritten in subsequent snippets when two different tabs share // the same grid - like Home and Magazine. var oDefaultElement = '$channel'; CreateAd('728x90', 1, 1, 'no', ord); A small British firm shows that software bugs aren't inevitable Email Print Comments Reprints ... "Checking Code "]. Because of it, the unthinkable could happen: under rare circumstances, a missile could fire without anyone's having commanded it to do so. Amey says his superiors, rather than commending his discovery, complained that it would delay the system's deployment. Like most project managers, they didn't like the idea of fixing errors at the end of the development process. After all, good design ought to keep errors out in the first place. Yet time and again, Amey knew, the software development process didn't prevent bugs; it merely put off dealing with them until the end. Did it have to be that way? Or could developers avoid bugs in the first place? He would find the answer to be "yes" when, years later, he joined Praxis High Integrity Systems [see photo, " Bug Killer "].

33. Logic - Definition From The Merriam-Webster Online Dictionary
    Definition of logic from the MerriamWebster Online Dictionary with audio logic, chop3,intransitive verb, fuzzy logic, logic bomb, mathematical logic  
    http://www.m-w.com/cgi-bin/netdict?logic

34. Wiley InterScience :: JOURNALS :: Mathematical Logic Quarterly
    www.interscience.wiley.com/jpages/09425616 - a class=fl href="/search?hl=en full text to institutional subscribers.  
    http://www.interscience.wiley.com/jpages/0942-5616
    
    Extractions: Skip to Content If you are seeing this message, you may be experiencing temporary network problems. Please wait a few minutes and refresh the page. If the problem persists, you may wish to report it to your local Network Manager. It is also possible that your web browser is not configured or not able to display style sheets. In this case, although the visual presentation will be degraded, the site should continue to be functional. We recommend using the latest version of Microsoft or Mozilla web browser to help minimise these problems. Home Computer Science Computer Science(general) See Also: What is RSS? Journal Home Most Accessed Product Information Editorial Board For Authors ... Advertise Early View Current Issue ALL ISSUES (2000 - 2007) Previous Issue Volume 53 Issue 6 (November 2007) Pairwise disjoint eight-shaped curves in hybrid planes (p 551-557) Camillo Costantini Published Online: Sep 26 2007 6:50AM DOI: 10.1002/malq.200710003

35. History Of Mathematical Logic
    History of mathematical logic Gives a natural framework for recreating Boole s Algebra of logic, based on ordinary algebra!  
    http://www.math.uwaterloo.ca/~snburris/htdocs/history.html

36. Mathematical Logic
    www.math.ufl.edu/~logic/ Similar pages PDF mathematical logicFile Format PDF/Adobe Acrobat  
    http://www.math.ufl.edu/~logic/

37. Classical Logic (Stanford Encyclopedia Of Philosophy)
    Today, logic is both a branch of mathematics and a branch of philosophy. Mendelson, E. 1987, Introduction to mathematical logic, third edition,  
    http://plato.stanford.edu/entries/logic-classical/
    
    Extractions: Please Read How You Can Help Keep the Encyclopedia Free First published Sat 16 Sep, 2000 Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language is, or corresponds to, a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record which inferences are correct for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions, or possible truth conditions, for at least part of the language. The following sections provide the basics of a typical logic, sometimes called "classical elementary logic" or "classical first-order logic". Section 2 develops a formal language, with a rigorous syntax and grammar. The formal language is a recursively defined collection of strings on a fixed alphabet. As such, it has no meaning, or perhaps better, the meaning of the formulas is given by the deductive system and the semantics. Some of the symbols have counterparts in ordinary language. We define an argument to be a non-empty collection of formulas in the formal language, one of which is designated to be the conclusion. The other formulas (if any) in an argument are its premises. Section 3 sets up a deductive system for the language, in the spirit of natural deduction. An argument is

38. International Olympiad In Mathematical Logic
    Institute for Mathematics, Physics and Mechanics in Ljubljana. Contact information Committee for Olympiad in mathematical logic,  
    http://olympiad.fe.uni-lj.si/Logika/

39. Mathematical And Computational Logic Research Group
    mathematical and Computational logic Research Group.  
    http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html

40. Logic At Leeds - Homepage
    Martin Löb, a central figure in the development of mathematical logic in the UK, and founder of the Leeds logic Group, has died in Holland at the age of 85.  
    http://www.maths.leeds.ac.uk/pure/logic/
    
    Extractions: The Leeds Logic Group is one of the largest and most active in Europe, with an international reputation for research in several of the main areas of mathematical logic - computability theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. The group has been very successful in obtaining EPSRC and EU support for Research Students and Post-Doctoral Fellows, and has been the focus of extensive international collaboration via various research projects and networks in proof theory, computability theory and model theory. Our past postgraduates and researchers have been very successful in moving to research or teaching positions in Mathematics and Computer Science departments around the world. Further details of individual staff's research interests can be found on their homepages, accessed via the links on the left. Applications to visit or to pursue research within the Leeds Logic Group are always welcome. We have a large, lively, and very international community of research students and postdoctoral fellows.

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