Authors:George Boolos, John P. Burgess,
Publisher: Harvard University Press
Keywords: logic
Number of Pages: 460
Published: 1999-10-15
List price: $37.00
ISBN-10: 067453767X
ISBN-13: 9780674537675
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gdel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege’s work on logic and the philosophy of mathematics. John Burgess has provided introd
Authors:Dov M. Gabbay, C. J. Hogger, J. A. Robinson,
Publisher: Oxford University Press, USA
Keywords: logic, programming, volume, artificial, handbook, intelligence
Number of Pages: 816
Published: 1998-03-05
List price: $325.00
ISBN-10: 0198537921
ISBN-13: 9780198537922
Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and its companion The Handbook of Logic in Computer Science were created in response to the growing need for an in-depth survey of these applications. This handbook comprises five volumes, each an in-depth overview of one of the major topics in this area. The result of years of cooperative effort by internatio
Author: Theodore Hailperin
Publisher: Elsevier Science Ltd
Keywords: logic, probability, theory, studies, mathematics, algebra, foundations, standpoint, critical, exposition, boole, contemporary
Number of Pages: 440
Published: 1986-12
List price: $277.00
ISBN-10: 0444879528
ISBN-13: 9780444879523
Since the publication of the first edition in 1976, there has been a notable increase of interest in the development of logic. This is evidenced by the several conferences on the history of logic, by a journal devoted to the subject, and by an accumulation of new results. This increased activity and the new results - the chief one being that Boole’s work in probability is best viewed as a probability logic - were influential circumstances conducive to a new edition. Chapter 1, presenting Boole’s ideas on a mathematical treatment of logic, from their emergence in his early 1847 work
Author: David S. Warren
Publisher: The MIT Press
Keywords: logic, programming, budapest, hungary, june, international, proceedings, tenth, conference
Number of Pages: 880
Published: 1993-06-24
List price: $95.00
ISBN-10: 0262731053
ISBN-13: 9780262731058
June 21-24, 1993, Budapest, Hungary The Tenth International Conference on Logic Programming is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, an
Author: Joxan Jaffar
Publisher: The MIT Press
Keywords: logic, programming, conference, symposium, joint, proceedings, international
Number of Pages: 360
Published: 1998-05-29
List price: $95.00
ISBN-10: 0262600315
ISBN-13: 9780262600316
The Joint International Conference and Symposium on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.
中文参考译名:苹果专业培训系列：Logic Pro 7的和逻辑快7
Author: Martin Sitter
Publisher: Peachpit Press
Keywords: logic, pro, express, series, training
Number of Pages: 608
Published: 2005-01-28
List price: $49.99
ISBN-10: 032125614X
ISBN-13: 9780321256140
With a new plug-in that re-creates the sounds of 11 of the world’s best-known guitar amps, distributed audio processing (which lets you tap into a virtually unlimited number of Macs), new software instruments (including a killer drum machine), and a slew of workflow enhancements, it’s no wonder you’re chomping at the bit to start using Logic Pro 7 and its streamlined sibling Logic Express 7. This Apple-certified guide ensures that you do-effectively, efficiently, and in as little time as possible! Veteran audio producer Martin Sitter uses step-by-step, project-based instructi
中文参考译名:逻辑的发现与逻辑话语
Authors:Jaakko Hintikka, Fernand Vandamme,
Publisher: Springer
Keywords: logic, discourse, discovery
Number of Pages: 288
Published: 1986-03-31
List price: $199.00
ISBN-10: 0306421577
ISBN-13: 9780306421570
