Geometry.Net - the online learning center
Home  - Science - Logic Mathematical

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

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
Picture
Johann (Janos) A. Makowsky
Professor
Faculty of Computer Science

(May 2000 Evaluation committee)

Technion - Israel Institute of Technology
Haifa 32000, Israel
Tel:
+972-4-8294358 (Office) e-mail: janos@cs.technion.ac.il
Home:
3 Ein Gedi, Haifa 34529
Office: Technion, Taub Building 628
Reception Hours: Sunday 15:30-17:30 or by appointment via e-mail.
Research Interests
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
Further Information

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/
Theory and Semantics Group
University of Cambridge Computer Laboratory
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
A Problem Course
in
Mathematical Logic
... is a freeware mathematics text by Stefan Bilaniuk Current Releases Volume I, Propositional and First-Order Logic : Version 1.5
Volume II, Computability and Incompleteness : Version 1.3 Description Availability Conditions History ... Contacting the author
Description
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/
version
history HOW TO CITE
THIS ENTRY
Stanford Encyclopedia of Philosophy
A B C D ... Z content revised
SEP
Infinitary Logic
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/
The Helsinki Logic Group
University of Helsinki
Logiikan opetus

Logic Colloquium 2003 in Helsinki
Members ... Contact Info
Members
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
Ph.D. students:
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.
Main Topics of Research
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/
Mathematical Logic at Notre Dame
Faculty
in the Mathematics Department
Steven Buechler Peter Cholak Julia F. Knight Sergei Starchenko
in the Department of Philosophy
Timothy Bays Patricia Blanchette Michael Detlefsen
Logic Graduate Students
(in the Department of Mathematics)
(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
Some recent mathematical logic Ph.D's
(With latest known job information)
  • 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/
    Home Journals
    Mathematical Structures in Computer Science
    Edited by
    G. Longo

    CNRS and Ecole Normale Supérieure, Paris, France
    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
    February, April, June, August, October and December
    Print ISSN: 0960-1295
    Online ISSN: 1469-8072 Cambridge University Press 2001. Security
    Order by phone (+44 (0)1223 326070) or fax (+44 (0)1223 326111).

    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
    50TH BRITISH MATHEMATICAL COLLOQUIUM
    UNIVERSITY OF MANCHESTER
    Monday 6th April Thursday 9th April 1998
    PROGRAMME
    Programme Summary
    Monday 6 April
    5.00 pm Principal speaker: Ian G. Macdonald (QMW)
    Tuesday 7 April
    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)
    Wednesday 8 April
    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)
    Thursday 9 April
    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
    Reports on Mathematical Logic
    Author Index
    ABAD, MANUEL
    1. (and L. Monteiro) Number of Epimorphisms Between Finite Boolean Algebras. 10, 1978, 3-7
    2. (and A. Figallo) Characterization of Three-valued Lukasiewicz Algebras. 18, 1984, 47-59
    3. (and A. FERNANDEZ and N. MESKE) Free Boolean Correlations Lattices. 30, 1996, 3-11 (Abstract) ACHTELIK, GRAZYNA
    1. (with L. Dubikajtis, E. Dudek and J. Konior) On Independence of Axioms of Jaskowski's Discussive Propositional Calculus. 11, 1981, 3-11 AMER, MOHAMED A.
    1. Probability Logic and Measures on Epimorphic Images of Coproducts of Measurable Spaces. 28, 1994, 29-52 (Abstract) BARCA, ANNE
    1. (and M. McRobbie) Constructive Interpolation Theorems for S$2^0$ and S2. 23, 1989, 3-15 BATENS, DIDERIK
    1. (and K. De CLERCQ and N. KURTONINA) Embedding and Interpolation for Some Paralogics. The Propositional Case. 33, 1999, 29-44 (Abstract) BAYU SURARSO
    1. (and H. ONO) Cut Elimination in Noncommutative Substructural Logics 30, 1996, 13-29 (Abstract) BERNERT, JAN

    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/
    Syvum Home K-12 SAT GRE ... More... '); document.write(' '); document.write('
    Hide ads
    Advertise here
    Hide ads
    Advertise here ... Syvum Family Fun Zone : Brain Teasers
    Brain Teasers and Math Puzzles
    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
    YOU CAN CONTRIBUTE TOO !
    Brain Teaser : Checkered Square
    Contributed by Nathan Burns Brain Teaser : The Pole in the Lake
    Contributed by Alfredo Garza Math Puzzle : Sum of Squares NEW
    Contributed by Raymond Lu Brain Teaser : Ann and the Real Estate Agent
    Contributed by Roque A. Estevez Math Puzzle : The Rectangle at the Corner NEW
    Contributed by Raymond Lu Brain Teaser : Bags of Dollars
    Contributed by Doug Briggs Math Puzzle : The String on the Cylinder NEW
    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 Europe......Laboratory of mathematical logic. Staff. Our activities. Seminars. Laboratory ofmathematical logic belongs to Steklov Institute of Mathematics at St.Petersburg.
    http://logic.pdmi.ras.ru/
    Laboratory of Mathematical Logic
    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
    Symbolic Logic Game of Logic : Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1
    Home Nonfiction Philosophy
    by Lewis Carroll
    See More Details

    Paperback (June 1958)
    Dover Pubns; ISBN: 0486204928 ; Dimensions (in inches): 0.67 x 8.01 x 5.40
    Reviews
    Editorial Reviews
    Amazon.com
    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/
    NLULP-02
    The 7th International Workshop on
    Natural Language Understanding and Logic Programming
    An affiliated workshop with ICLP , as part of FLoC'02
    Copenhagen, Denmark, 28 July, 2002
    Description
    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.
    Program
    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/
    Martin Hofmann I have moved to Munich. Please visit my new homepage

    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/
    version
    history HOW TO CITE
    THIS ENTRY
    Stanford Encyclopedia of Philosophy
    A B C D ... Z content revised
    AUG
    Inconsistent Mathematics
    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
    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
    Welcome to the Lair of
    Gregory McColm
    Dept. of Mathematics
    University of South Florida

    4202 E. Fowler Ave., PHY 114
    Tampa, FL 33620
    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
    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/
    Society for Mathematical Psychology
    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.
    2000 Annual Meeting

    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/
    Andrew Pitts
    Picture Professor of Theoretical Computer Science
    Deputy Head of Department Fellow of Darwin College
    Research
    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
  • Teaching
    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  

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

    free hit counter