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

41-60 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)

Introduction to Mathematical Logic by Alonzo Church, 1996-10-28 Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications) by David S. Gunderson, 2010-09-14 Introduction to Mathematical Logic, Third Edition by Elliott Mendelson, 1987-02-28 First Course in Mathematical Logic by Patrick Suppes, Shirley Hill, 2010-06-17 Mathematical Logic for Computer Science by Mordechai Ben-Ari, 1992-12-31 Friendly Introduction to Mathematical Logic, A by Christopher C. Leary, 1999-12-08 First Order Mathematical Logic by Angelo Margaris, 1990-03-01 The Foundations of Mathematics (Logic) by Kenneth Kunen, 2009-09-08 Introduction to Mathematical Structures and Proofs (Volume 0) by Larry J. Gerstein, 2008-06-13 The Search for Mathematical Roots, 1870-1940 by I. Grattan-Guinness, 2001-01-15 An Introduction to Fuzzy Logic for Practical Applications (Volume 0) by Kazuo Tanaka, 1996-11-15 From Symbolic Logic to Mathematical Logic by Silver, 1993-07 Mathematical Reasoning: Writing and Proof (2nd Edition) by Ted Sundstrom, 2006-03-23 Mathematical Logic Hierarchies: Arithmetical Hierarchy

lists with details

41. 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 Hungarian family history Manifesto on emancipatory aspects of doing mathematics. My mathematical genealogy My Co-Authors My work with G. Kogan Personal Background Courses International Administrative and Editorial Responsibilities List of Publications: Chapters in Research Monographs ... Praise for the New Left, HaAretz 13.9.99.

42. 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).

43. PCML Home Page
    A Problem Course in mathematical logic. A Problem Course in mathematical logicis available via http or anonymous ftp in LaTeX, PostScript, and PDF formats.  
    http://www.trentu.ca/academic/math/sb/pcml/welcome.html
    
    Extractions: Volume II, Computability and Incompleteness : Version 1.3 Description Availability Conditions History ... Contacting the author A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. The book should do as the text for a course taught using the modified Moore-method. The material and its presentation are pretty stripped-down and it will probably be desirable for the instructor to supply further hints from time to time or to let the students consult other sources. Various concepts and and topics that are often covered in introductory mathematical logic or computability courses are given very short shrift or omitted entirely, among them normal forms, definability, and model theory. Volume I

44. 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: SEP sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulassuch as that in the above quotationwould be naturally identified as infinite sets . A "language" of this kind is called an infinitary language : in this article we 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 we shall see 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

45. The Homepage Of The Helsinki Logic Group
    logic Group.Category Science Math logic and Foundations Institutions Europe T. Hyttinen, Stability and general logics, mathematical logic Quarterly, 45219240,1999. Tapani Hyttinen, Generalizing Morley's theorem, Math.  
    http://www.logic.math.helsinki.fi/
    
    Extractions: Logic Colloquium 2003 in Helsinki Members ... Contact Info Members - Research Publications Links Contact Info ... Marko Djordjevic , Ph.D., finite model theory Aapo Halko , Ph.D., descriptive set theory Taneli Huuskonen , docent, model theory, set theory, logic and analysis Tapani Hyttinen , docent, stability theory, infinitary logic Juliette Kennedy , Ph.D., models of arithmetic, philosophy of mathematics Kerkko Luosto , docent, finite and infinite model theory, abstract model theory Juha Oikkonen , university lecturer, infinitary logic, nonstandard analysis , Ph.D., set theory , professor, finite model theory, abstract model theory, set theory Marta Garcia-Matos , M.Sc. Alex Hellsten , Ph.L., set theory Juha Kontinen , M.Sc., finite model theory Matti Pauna , Ph.L. Juha Ruokolainen , Ph.L. Maria Saria , M.Sc. Former members of the group can be found in the list of Ph.Ds from the Logic Group. Members - Research - Publications Links Contact Info MODEL THEORY Research topics in model theory include homogeneous model theory i.e. model (stability) theory for classes of structures that consist of all elementary submodels of a large homogeneous structure.

46. Mathematical Logic At Notre Dame
    mathematical logic.  
    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

47. Journal Catalogue - Cambridge University Press
    Focuses on the application of areas such as logic, algebra, geometry and category theory to theoretical computer science.  
    http://uk.cambridge.org/journals/msc/
    
    Extractions: Editorial Board Instructions for Contributors Pricing Full Text Online (purchase or subscribe) Links Advertising Rates To view a sample of this journal click here Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. Current Issue Volume 13-13, 2003

48. Www.math.ufl.edu/~logic/
    Similar pages REPORTS ON mathematical logic mathematical. logic. Reports on mathematical logic is a journal aimed at publishingquality research papers on mathematical logic and foundations of mathematics.  
    http://www.math.ufl.edu/~logic/

49. Content
    Special sessions mathematical logic; Dynamical systems. University of Manchester; 69 April 1998.  
    http://www.ma.man.ac.uk/bmc/bmc.html
    
    Extractions: 5.00 pm Principal speaker: Ian G. Macdonald (QMW) Morning speakers: M. P. F. du Sautoy, I. B. Fesenko, J. R. Hunton, J. F. McKee, A. A. Premet. Special Session on Mathematical Logic. (Speakers to be announced.) 5.00 pm Principal speaker: W. Hugh Woodin (Berkeley) Morning speakers: F. P. Boca, C. J. Bushnell, V. V. Goryunov, J. Saxl, M. van den Berg. Special Session on Dynamical Systems: S. J. van Strien, J.-C. Yoccoz, Lai Sang Young. 5.00 pm Principal speaker: Karen K. Uhlenbeck (Texas/IAS Princeton) Morning speakers: A.J.Baker, J.P.Keating, T.J.Lyons, J.C.Rickard. 11.30 am Principal speaker: Alain Connes (College de France) The programme will begin at 5.00 pm on Monday 6 April with the first of the principal lectures, and will end at 12.30 pm on Thursday 9 April. The morning sessions will consist of pairs of parallel lectures. On Tuesday, one of the 11.30 am lectures and an afternoon session will constitute the Special Session on Mathematical Logic, with similar arrangements on Wednesday for the Special Session on Dynamical Systems. Splinter groups will also be held as usual on the Tuesday and Wednesday afternoons, and members are invited to contribute talks to these. A reception will be held at Hulme Hall on Monday evening and a forum on `Electronic Journals' on Tuesday evening. A publishers' display will take place in the Mathematics Building throughout the Colloquium.

50. Reports On Mathematical Logic
    Reports on mathematical logic. Author Index. ABAD, MANUEL 1. (and L.Monteiro) Number of Epimorphisms Between Finite Boolean Algebras.  
    http://www3.uj.edu.pl/Phils/rml/auth-ind.htm

51. Brain Teasers And Math Puzzles : Puzzle & Brain Teaser Collection
    Interactive puzzles to challenge logic and mathematical skills. Immediate feedback with detailed solutions is provided.  
    http://www.syvum.com/teasers/
    
    Extractions: Hide ads Advertise here ... Syvum Family Fun Zone : Brain Teasers Try our Word Puzzles Hot Try our IQ Test This page contains the ever-growing list of brain teasers and math puzzles on Syvum. All the brain teasers and math puzzles are interactive with immediate scoring. The brain teasers and math puzzles as well as their explanations use dynamic content to provide continuous learning and entertainment. Level of Difficulty: : Easy : Medium : Challenging Contributed by Raymond Lu Brain Teaser : Up an Escalator NEW Brain Teaser : Give and Take NEW Brain Teaser : Rectangles on Checkered Board NEW Brain Teaser : Critical Chain NEW Brain Teaser : The Hare and the Tortoise Brain Teaser : Old Man Wrinkle Brain Teaser : Your Piggy Bank Brain Teaser : Black or Brown Gloves ... Brain Teaser : Bicycles or Tricycles ?

52. Laboratory Of Mathematical Logic Of Steklov Institute Of Mathematics At St.Peter
    Laboratory of mathematical logic of the Steklov Institute of Mathematics.Category Science Math logic and Foundations Institutions EuropeLaboratory of mathematical logic. Staff. Our activities. Seminars. Laboratory ofmathematical logic belongs to Steklov Institute of Mathematics at St.Petersburg.  
    http://logic.pdmi.ras.ru/
    
    Extractions: Staff Our activities Seminars Web pages devoted to Hilbert's Tenth Problem Relevant links Second St.Petersburg Days of LOGIC and COMPUTABILITY will be held in St.Petersburg (Russia) from August 24 to August 26 Laboratory of Mathematical Logic belongs to Steklov Institute of Mathematics at St.Petersburg

53. Symbolic Logic Game Of Logic : Mathematical Recreations Of Lewis Carroll : 2 Boo
    Symbolic logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1.  
    http://hallphilosophy.com/philosophy/358.shtml
    
    Extractions: Yes, this is the Lewis Carroll who wrote Alice in Wonderland , and these two works show the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first work mislead youthis isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler. In the second work he turns logic into a game played with diagrams and colored counters, giving you hundreds of challenging and witty syllogisms to solve. Great mind-stretching fun. Synopsis The two works reprinted in this volume are a unique fusion of logical thought and inimitable whimsy. Written by the 19th-century mathematician who also gave us "Alive in Wonderland", they are among the most entertaining logical works ever written, and contain some of the most thought-provoking puzzles ever devised.

54. 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

55. Martin Hofmann's Home Page
    University of Edinburgh Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.  
    http://www.dcs.ed.ac.uk/~mxh/

56. Inconsistent Mathematics
    Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (nonclassical) logic which can tolerate the presence of a contradiction without turning every sentence into a theorem. By Chris Mortensen, from the Stanford Encyclopedia.  
    http://plato.stanford.edu/entries/mathematics-inconsistent/
    
    Extractions: AUG Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (non-classical) logic which can tolerate the presence of a contradiction without turning every sentence into a theorem. Inconsistent Mathematics began historically with foundational considerations. Set-theoretic paradoxes such as Russell's led to attempts to produce a consistent set theory as a foundation for mathematics. But, as is well known, set theories such as ZF, NBG and the like were in various ways ad hoc. Hence, a number of people including da Costa (1974), Brady (1971), Priest, Routley, and Norman (1989), considered it preferable to retain the full power of the natural abstraction principle (every predicate determines a set), and tolerate a degree of inconsistency in set theory. This requires, of course, that one dispense with the logical principle ex contradictione quodlibet (ECQ) (from a contradiction every proposition may be deduced), as well as any principle which leads to it, such as disjunctive syllogism (DS) (from

57. Home Page Of Gregory McColm
    Leads to material on mathematical research games and logic and mathematics education.  
    http://www.math.usf.edu/~mccolm/index.html
    
    Extractions: mccolm@math.usf.edu This is Version 1 of my web-site. In Version 2, supporting materials on working habits (the Workplace) will be available. At present, this site should serve for those people who are interested in my classes (or in Mathematics Education in general), or interested in my mathematical research. I have written some pages, for math students (and teachers) in general, on homework, texts, grading, etc.: to go to these pages, go to my pedagogy page I was trained as a mathematical logician, with an emphasis on theoretical computer science. My specialty was, and still is, finite model theory. I am currently working on combinatorial games and the evolution of random structures; I am also interested in emergent and hierarchical phenomena. For more on combinatorial games, plus a list of publications, go to my Research Page Finally, I am an amateur collector of quotations.

58. Springer Journals By Subjects
    Includes packages for Acta Informatica, Archive for mathematical logic, Distributed Computing, Inventiones mathematicae, manuscripta mathematica, mathematical Programming, Mathematische Annalen, Mathematische Zeitschrift, Numerische Mathematik, Probability Theory and Related Fields.  
    http://www.springer.de/author/tex/help-journals.html
    
    Extractions: Deutsche Version Journals TeX and LaTeX Macro Packages LaTeX2e support Springer Verlag has developed TeX and LaTeX macro packages for different journals. The latest result is our modular LaTeX2e document class SVJour . Currently available are modules for the journals listed below. N.B.: The journal logo links you to the journal's home page, the abbreviated journal name links you to the FTP directory with the specific LaTeX2e tools, the download button provides you with a ZIP archive complete with all necessary LaTeX2e files. Acta Informatica actinf Annales Geophysicae agp Annali di Matematica Pura ed Applicata ampa Archive for Mathematical Logic matlog Archive for Rational Mechanics and Analysis arma Calcolo calcolo Calculus of Variations and Partial Differential Equations calc Communications in Mathematical Physics cmp Computing and Visualization in Science cvs Decisions in Economics and Finance def Distributed Computing dc Granular Matter granma International Journal on Digital Libraries ijodl International Journal on Document Analysis and Recognition ijdar Inventiones mathematicae invmat Journal of European Mathematic Society jems Journal of Geodesy jog Journal of Mathematical Biology matbio manuscripta mathematica manmat Mathematical Programming mathprog Mathematische Annalen matann Mathematische Semesterberichte matsem Mathematische Zeitschrift matzei Numerische Mathematik nummat Probability Theory and Related Fields prothe Shock Waves sw sct Structural Optimization

59. Society For Mathematical Psychology
    Promotes the advancement and communication of research in mathematical psychology, broadly defined to include work of a theoretical character that uses mathematical methods, formal logic, or computer simulation. The Society journal is the Journal of mathematical Psychology.  
    http://aris.ss.uci.edu/smp/
    
    Extractions: The Society for Mathematical Psychology promotes the advancement and communication of research in mathematical psychology and related disciplines. Mathematical psychology is broadly defined to include work of a theoretical character that uses mathematical methods, formal logic, or computer simulation. The Society journal is the Journal of Mathematical Psychology MPSYCH-L is an e-mail list maintained by the Society for Mathematical Psychology to facilitate the distribution of information of value to persons interested in mathematical psychology.

60. Pitts, Andrew
    University of Cambridge Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.  
    http://www.cl.cam.ac.uk/users/amp12/
    
    Extractions: Deputy Head of Department Fellow of Darwin College My research is in applications of mathematical logic and category theory to computer science. I am especially interested in the semantics of programming languages and type theories, formal logics for reasoning about program properties, and metaprogramming languages and the foundations of machine-assisted reasoning systems. On-line publications: listing ftp archive BibTeX database Recent talks The FreshML research project. I participate in the Cambridge Theory and Semantics Group Journals I am associated with: Applied Categorical Structures Chicago Journal of Theoretical Computer Science Higher-Order and Symbolic Computation Mathematical Structures in Computer Science Lecture notes for 2002/2003 courses: Regular Languages and Finite Automata (CST Part IA ) Computation Theory (CST Part IB/II(G)/Diploma) Types (CST Part II) Lecture notes for old courses: Semantics of Programming Languages (2001/02 CST Part IB ) Denotational Semantics (1998/99 CST Part II) Professor Andrew M Pitts University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Cambridge CB3 0FD, UK

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

41-60 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20