TOP
英國出版界指標大獎肯定!A.F. Steadman 獲年度作家,《史坎德》系列帶你踏上熱血奇幻旅程
搜尋結果 /

Inductive Logic Programming

329
2 / 9
出版日:2021/09/09 作者:John Grier 1861-1933 Hibben  出版社:Lightning Source Inc  裝訂:平裝
定價:1377 元
無庫存
Understanding Programming and Logic
滿額折
出版日:2016/05/05 作者:Matthew Anniss  出版社:Capstone Global Library Ltd  裝訂:平裝
優惠價: 95 469
無庫存
Understanding Programming and Logic
95 折
出版日:2015/03/01 作者:Matthew Anniss  出版社:Capstone Global Library Ltd  裝訂:精裝
優惠價: 95 731
無庫存
Understanding Programming and Logic
滿額折
出版日:2015/01/01 作者:Matthew Anniss  出版社:Heinemann;Raintree  裝訂:平裝
This book looks at the basics of computer programming. It explains how programming is based on logical reasoning and the answers to simple questions, what can be done with computer programming, and ho
優惠:外文書周末優惠-單79雙75 優惠價: 79 271
無庫存
Logic Programming With Prolog
滿額折
出版日:2013/10/31 作者:Max Bramer  出版社:Springer-Verlag New York Inc  裝訂:平裝
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Progra
定價:2500 元
無庫存
A System of Logic, Ratiocinative and Inductive
90 折
出版日:2011/12/06 作者:John Stuart Mill  出版社:Cambridge Univ Pr  裝訂:平裝
This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill (1806–73) disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the work constitutes essential reading for anyone seeking a full understanding of Mill's thought. Volume 1 contains Mill's introduction, which elaborates upon his definition of logic as 'not the science of Belief, but the science of Proof, or Evidence'. It also features discussions of the central components of logical reasoning - propositions and syllogisms - in relation to Mill's theories of inductive reasoning and experimental method.
優惠價: 9 2351
無庫存
A System of Logic, Ratiocinative and Inductive
90 折
出版日:2011/12/06 作者:John Stuart Mill  出版社:Cambridge Univ Pr  裝訂:平裝
This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill (1806–73) disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the work constitutes essential reading for anyone seeking a full understanding of Mill's thought. Continuing the discussion of induction, Volume 2 concludes with Book VI, 'On the Logic of the Moral Sciences', in which Mill applies empirical reasoning to human behaviour. A crucial early formulation of his thinking regarding free will and necessity, this book establishes the centrality of 'the social science' to Mill's philosophy.
優惠價: 9 2351
無庫存
出版日:2009/06/30 作者:John Stuart Mill  出版社:Lightning Source Inc  裝訂:平裝
定價:1748 元
無庫存
出版日:2009/05/10 作者:H. paul Williams  出版社:Springer Verlag  裝訂:精裝
Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written f
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
An Introduction to Probability and Inductive Logic
90 折
出版日:2001/07/02 作者:Ian Hacking  出版社:Cambridge Univ Pr  裝訂:平裝
This is an introductory 2001 textbook on probability and induction written by one of the world's foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of this book are a lively and vigorous prose style; lucid and systematic organization and presentation of ideas; many practical applications; a rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science; numerous brief historical accounts of how fundamental ideas of probability and induction developed; and a full bibliography of further reading.
優惠價: 9 2047
無庫存
出版日:2001/07/02 作者:Ian Hacking  出版社:Cambridge Univ Pr  裝訂:精裝
This is an introductory 2001 textbook on probability and induction written by one of the world's foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of this book are a lively and vigorous prose style; lucid and systematic organization and presentation of ideas; many practical applications; a rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science; numerous brief historical accounts of how fundamental ideas of probability and induction developed; and a full bibliography of further reading.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1992/05/01 作者:Derek Brough (EDT)  出版社:Univ of Chicago Pr  裝訂:精裝
Covers the theory, applications, theoretical possibilities and implementation issues that represent the material in Prolog.
定價:1710 元
無庫存
A System Of Logic Ratiocinative And Inductive Vol. I
滿額折
出版日:2023/12/01 作者:John Stuart Mill  出版社:DOUBLE 9 BOOKSLIP  裝訂:平裝
定價:988 元
無庫存
A System Of Logic Ratiocinative And Inductive Vol. II
滿額折
出版日:2023/12/01 作者:John Stuart Mill  出版社:DOUBLE 9 BOOKSLIP  裝訂:平裝
定價:988 元
無庫存
出版日:2023/07/18 作者:Palaestra Oxoniensis  出版社:LEGARE STREET PR  裝訂:平裝
定價:898 元
無庫存
出版日:2023/07/18 作者:F. E. Weatherly  出版社:LEGARE STREET PR  裝訂:精裝
定價:1498 元
無庫存
出版日:2023/07/18 作者:We Johnson  出版社:LEGARE STREET PR  裝訂:平裝
定價:1148 元
無庫存
Studies in Inductive Logic and Probability, Volume I
滿額折
出版日:2022/09/16 作者:Carnap; Rudolf; Jeffrey; Richard C.  出版社:University of California Press  裝訂:平裝
優惠價: 95 1777
無庫存
出版日:2022/09/16 作者:Carnap; Rudolf; Jeffrey; Richard C.  出版社:University of California Press  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/05/27 作者:Richard C. Jeffrey(EDI)  出版社:Univ of California Pr  裝訂:平裝
定價:2997 元
無庫存
出版日:2022/05/27 作者:Richard C. Jeffrey(EDI)  出版社:Univ of California Pr  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/03/14 作者:John Stuart Mill  出版社:Outlook Verlag  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/03/14 作者:John Stuart Mill  出版社:Outlook Verlag  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/09/03 作者:Max Rabiee  出版社:GOODHEART WILLCOX CO  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/07/14 作者:Joyce Farrell  出版社:Course Technology Ptr  裝訂:精裝
With a clear writing style that is stripped of highly technical jargon, Programming Logic and Design, Comprehensive, Fifth Edition provides beginning programmers with a guide to developing structured
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Programmable Logic Controllers ― Hardware and Programming
滿額折
出版日:2017/04/20 作者:Max Rabiee Ph.D.  出版社:Goodheart-Willcox Pub  裝訂:平裝
The Lab Manual for Programmable Logic Controllers: Hardware and Programming is designed to supplement your PLC training and works in conjunction with the Programmable Logic Controllers: Hardware and P
優惠:外文書周末優惠-單79雙75 優惠價: 79 1160
無庫存
Programmable Logic Controllers ― Hardware and Programming
滿額折
出版日:2017/04/03 作者:Max Rabiee  出版社:Goodheart-Willcox Pub  裝訂:平裝
Programmable Logic Controllers: Hardware and Programming provides an introduction to PLCs and their applications in process and industrial control systems. The text begins with basic hardware and prog
優惠:外文書周末優惠-單79雙75 優惠價: 79 3843
無庫存
出版日:2017/02/09 作者:Joyce Farrell  出版社:Course Technology Ptr  裝訂:平裝
With a clear writing style that is stripped of highly technical jargon, Programming Logic and Design, Introductory, Sixth Edition provides beginning programmers with a guide to developing structured p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Argument and Inference ─ An Introduction to Inductive Logic
79 折
出版日:2017/01/06 作者:Gregory Johnson  出版社:Mit Pr  裝訂:精裝
This textbook offers a thorough and practical introduction to inductive logic. The book covers a range of different types of inferences with an emphasis throughout on rep
優惠:外文書周末優惠-單79雙75 優惠價: 79 1201
無庫存
出版日:2017/01/02 作者:Joyce Farrell  出版社:Course Technology Ptr  裝訂:平裝
Prepare for programming success by learning the fundamental principles of developing structured program logic with Farrell's PROGRAMMING LOGIC AND DESIGN: INTRODUCTORY, 9E. Widely used in foundational
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Programming With Higher-Order Logic
90 折
出版日:2012/06/30 作者:Dale Miller  出版社:Cambridge Univ Pr  裝訂:精裝
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.
優惠價: 9 2339
無庫存
出版日:2012/02/11 作者:Joyce Farrell  出版社:Cengage Learning  裝訂:平裝
Find exactly what you need to master the fundamentals of programming logic with the concise JUST ENOUGH PROGRAMMING LOGIC AND DESIGN, 2E. This unique, language-independent introduction to programming
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/01/05 作者:Joyce Farrell  出版社:Cengage Learning  裝訂:平裝
Discover the key principles necessary to develop structured program logic with Farrell's PROGRAMMING LOGIC AND DESIGN, INTRODUCTORY, 7E. This popular introductory book takes a unique, language-indepen
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/11/22 作者:Pascal Hitzler; Anthony Seda  出版社:CRC Press UK  裝訂:精裝
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools require
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/09/30 作者:Max Rabiee Ph.D.  出版社:Goodheart-Willcox Pub  裝訂:平裝
Includes LogixPro labs and standard lab activities. Activities are designed to help students review content and develop critical thinking skills. A wide variety of activities are provided for various
定價:1757 元
無庫存
Proof Theory and Logic Programming: Computation as Proof Search
滿額折
出版日:2025/12/31 作者:Dale Miller  出版社:CAMBRIDGE  裝訂:精裝
定價:3040 元
無庫存
出版日:2025/05/22 作者:Alexander John Ellis  出版社:Lightning Source Inc  裝訂:平裝
定價:898 元
無庫存
出版日:2025/05/22 作者:Alexander John Ellis  出版社:Lightning Source Inc  裝訂:精裝
定價:1548 元
無庫存
出版日:2025/04/29 作者:Kutsch; Steven  出版社:SAGE PUBLICATIONS  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
A System of Logic: Ratiocinative and Inductive, 7th Edition, Volume. II
滿額折
出版日:2025/03/28 作者:John Stuart Mill  出版社:ALPHA ED  裝訂:平裝
定價:1006 元
無庫存
  • 329
    9
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9

暢銷榜

客服中心

收藏

會員專區