Geometry.Net - Science: Logic Mathematical


Home - Science - Logic Mathematical

e99.com Bookstore

Images

Newsgroups

81-100 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)

Stat Labs:Mathematical Statistics Through Applications by Deborah Nolan, Terry P. Speed, 2000-05-31
Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences) by Tom Tymoczko, Jim Henle, 1999-12-10
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics) by George Tourlakis, 2010-09-09
Understanding Symbolic Logic (5th Edition) by Virginia Klenk, 2007-04-29
Introduction to Mathematical Logic: Set Theory - Computable Functions - Model Theory (Undergraduate Texts in Mathematics) by Jerome Malitz, 1979-05-01
Mathematical Logic (Graduate Texts in Mathematics) by J.D. Monk, 1976-09-07
Handbook of Logic and Language
Schaum's Outline of Logic by John Nolt, Dennis Rohatyn, et all 1998-07-01
Development of Mathematical Logic, The by P.H. Nidditch, 1966
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism, Volume 18 (Collected Works of Bernard Lonergan) by Bernard Lonergan, 2001-12-22
Logic for Mathematics and Computer Science by Stanley N. Burris, 1997-08-28
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Logic: Techniques of Formal Reasoning by Donald Kalish, Richard Montague, et all 1980-04-16
Recursion Theoretic Hierarchies (Perspectives in Mathematical Logic Ser) by P. G. Hinman, 1978-12

lists with details

Alexander S. Kechris
Caltech Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
http://www.math.caltech.edu/people/kechris.html

Extractions: Professor of Mathematics Ph.D., Mathematics, UCLA, 1972 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. (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.
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
Department Of Mathematical Logic And Philosophy Of Mathematics
Department of mathematical logic and Philosophy of Mathematics. Katedra matematicke logiky a filosofie matematiky MFF UK Malostranske
http://www.ms.mff.cuni.cz/acad/kmlfm/
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/
Reports On Mathematical Logic
(Jagiellonian University Press) Contents and abstracts from no.25 (1991).
http://www.uj.edu.pl/Phils/rml/rml.htm
Prof Jeff Paris Homepage, Department Of Mathematics, Univ. Of Manchester, UK
University of Manchester mathematical logic, in particular uncertain reasoning.
http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm

Extractions: Mathematical Logic, in particular uncertain reasoning with an emphasis on rationality and common sense principles. Also a reviving interest in weak arithmetics and low level complexity, in particular bounded induction and the Grzgorczyk Hierarchy. The uncertain reasoner's companion, - a mathematical perspective , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, pp212. J.B. Paris (1997). A semantics for Fuzzy Logic. Journal of Soft Computing , vol.1, no.3, pp143-147. In defence of the Maximum Entropy Inference Process. International Journal of Approximate Reasoning , vol.17, no.1, pp77-103. J.B. Paris (With R. Booth) (1998). A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information , vol.7, no.2, pp165-190.
AMIL
A mathematical Introduction to logic. by Herbert B. Enderton. Send mail to the author hbe@math.ucla.edu. Second edition. A second
http://www.math.ucla.edu/~hbe/amil/

Extractions: Send mail to the author: hbe@math.ucla.edu Second edition. A second edition was published in January 2001. The publisher is "Harcourt/Academic Press," but recently Harcourt has been separating itself from Academic Press. Click here to request an examination copy if you are in the USA or Canada. Outside North America, contact Harcourt International. Click here for the Table of Contents to the second edition. Click here to see the cover to the second edition, in pdf format. There is a review of the second edition, by Natasha Dobrinen, in The Bulletin of Symbolic Logic, vol. 9 no. 3, pp. 406-407, with some advice on using the book in a course. A Postscript file for the review is accessible from this link. The price of the book is $79.95. Click here to connect to the Academic Press catalog entry for the book. Click here for the Amazon.com listing for the book. Click here for the Amazon.co.uk listing for the book. Like the first edition, this textbook introduces the mathematics student to the concepts of "proof, truth, and computability." Major goals of the book include: The completeness theorem for first-order logic, which shows that the concept of provability (from axioms) can be completely nailed down.
Zhi-Wei Sun's Home Page
Nanjing University. Number theory (especially combinatorial number theory); Combinatorics; Group theory; mathematical logic. Papers and lectures.
http://pweb.nju.edu.cn/zwsun/
Modern Logic Home Page
International Journal for the History of mathematical logic, Set Theory, and Foundations of Mathematics.
http://www.ed.ac.uk/~pmilne/ml/home.html

Extractions: Starting with Volume 9, the journal is to continue as The Review of Modern Logic Contents Modern Logic is currently abstracted in Bibliograficheskikh Ukazatelyakh Current Mathematical Publications Historia Mathematica Mathematical Reviews Referativnyi Zhurnal - Matematika Referativnyi Zhurnal - Filosofiya i Sotsiologiya Zentralblatt fuer Mathematik and the MathSci online database, and has exchange agreements with From the Logical Point of View Logique et Analyse LLULL: Revista de la Sociedad Espanola de Historia des las Ciencas y de las Tecnicas Manuscrito Mathesis Revue d'Histoire des Mathematiques Russell Studia Logica and Synthesis Philosophica/Filozofska Istrazivanja
BUBL LINK / 5:15 Internet Resources: Mathematical Logic
Press Subjects mathematical logic DeweyClass 511.3 ResourceType journal Location uk Last checked 20001206 mathematical logic Around the World Links to
http://bubl.ac.uk/link/m/mathematicallogic.htm

Extractions: BUBL LINK / 5:15 Catalogue of Internet Resources Home Search Subject Menus A-Z ... About A-Z Index Titles Descriptions Boole: Calculus of Logic Electronic Stacks Project Glossary of First-Order Logic Journal of Logic and Computation ... Research Groups in Logic and Theoretical Computer Science Page last updated: 17 March 2003 Comments: bubl@bubl.ac.uk Boole: Calculus of Logic An article by George Boole concerning propositional calculus, first published in Cambridge and Dublin Mathematical Journal Vol. III (1848). The article is available in HTML, LaTeX, DVI, and PostScript formats.
Links For "Logical Systems"
mathematical logic Around the World. From the mathematical logic Group at the University of Bonn. Many helpful links. MathSearch. mathematical logic Group.
http://www.earlham.edu/~peters/courses/logsys/lslinks.htm

Extractions: Course-Related Links Peter Suber Philosophy Department Earlham College Since 1996 I've made link pages like this one for each of my courses. In the meantime, the size of the web and the power of search engines have both leaped forward. The growth of the web has made representative or comprehensive link pages more difficult to produce, and the improvement of search engines has made them less necessary. Link pages can still be very useful, but to make them more useful than the best search engines takes more work than they are usually worth. So I won't be updating this link page (from the previous iteration of the course) but I leave it online in case it has any remaining utility. When I know of specific web pages helpful for a class discussion, then I'll mail out the URLs to the class email list during the semester (and I encourage you to do the same). For general online research on the many topics of the course, I recommend Google The prerequisite for this course is either Symbolic Logic or an introductory programming course . For review, take a look at the online hand-outs I've collected at these two course home-pages.
Dana Scott's Home Page
Carnegie Mellon University Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
http://www.cs.cmu.edu/~scott/
Logic Notation On The Web
Both are capable of inserting images of complex mathematical equations into your web pages, and hence may be overkill if you only want a logic symbol here and
http://www.earlham.edu/~peters/writing/logicsym.htm

Extractions: Notes on Logic Notation on the Web Peter Suber Philosophy Department Earlham College This is a chart of the Adobe Symbol Font: Logicians should be satisfied if the characters with a yellow background are supported in HTML. (Symbols with a white background have long been supported by HTML or are not whole "characters".) This hope is now realized with HTML 4.0 . See Alan Wood's excellent guide to the symbols It's not enough that your personal browser support HTML 4.0. Your readers' browsers must do so as well. This day may be long in coming. Until then, you can get all the symbols in yellow above if you specify the Symbol font in an HTML tag. For example, this code produces this output p q Your reader must have the Symbol font installed, but this is assured for nearly all Windows users. The results are iffy for Mac and UNIX users. For a helpful table showing which codes produce which symbols, see Alan Wood's guide to the Symbol font Since most users can use one or both of the methods above, and get elegant, searchable text, it is no longer necessary to use GIFs or other image files for individual symbols. I plan to convert all my files from GIF symbols to Symbol font text symbols the next chance I get. (In the case of my logic course files, this means when I next teach the courses.) What follows is the version of this page I had online before HTML 4.0 was announced. I no longer support or update it, but I retain it here for the minority of users for whom the methods above will not work.
A. K. Peters, Ltd. -|- Book
mathematical logic. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject.
http://www.akpeters.com/book.asp?bID=148
Www.swetsnet.nl/direct/SB_issue?title=64262
MAMLSMidAtlantic mathematical logic Seminar. The Mid-Atlantic mathematical logic Seminar (MAMLS), a traveling conference meeting since
http://www.swetsnet.nl/direct/SB_issue?title=64262
Mathematical Logic At The University Of Bonn
mathematical logic Group.
http://www.uni-bonn.de/logic/logic.html
Recherche In Katalogen
in German.Almost complete bibliography of mathematical logic and related fields, goes back to Boole and Frege! Note Name search is casesensitive.
http://www-logic.uni-kl.de/BIBL/
Wilmers, George
University of Manchester Applications of mathematical logic in the foundations of uncertain reasoning; natural prior probability distributions in uncertain reasoning.
http://www.maths.man.ac.uk/mirror/www/hpage/gmw.htm

Extractions: Department of Mathematics University of Manchester Manchester M13 9PL Email address: george@ma.man.ac.uk Telephone number: (+44) 161-275-5878 Fax number: (+44) 161-275-5819 On the Distribution of Natural Probability Functions (with J.B. Paris 1st International Symposium on Imprecise Probabilities, Ghent, Belgium. A natural prior probability distribution derived from the propositional calculus (with J.B. Paris Ann. Pure and Appl. Logic An axiomatic approach to systems of prior distributions in inexact reasoning (with J. Lawry In Springer lecture notes in Artificial Intelligence ,LNAI808, 13 pages. A note on probability versus truth-functionality (with J.B. Paris In proceedings of the 3rd workshop on uncertainty processing in expert systems. TREST, Czech Rep. 283-298.
History Of Mathematical Logic
History of mathematical logic. Preprints. Contributions of the logicians The first part gives substantial commentary on the works
http://www.thoralf.uwaterloo.ca/htdocs/history.html
(Israel) Ben Gurion University Of The Negev
mathematical and Computational logic Research Group.
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.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

81-100 of 127 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20