Logic of Java programming

滿額折

1.

Probabilistic Programming

出版日：2011/02/17 作者：Steven Vajda 出版社：Dover Pubns 裝訂：平裝

Written by a pioneer of mathematical programming, this still-relevant treatment contains chapters on stochastic programming, decision problems, and chance constraints. Appendixes cover linear and sto

優惠價： 9 374

無庫存

A Beginner's Guide to Mathematical Logic

滿額折

2.

A Beginner's Guide to Mathematical Logic

出版日：2014/06/18 作者：Raymond M. Smullyan 出版社：Dover Pubns 裝訂：平裝

Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's cr

優惠價： 9 853

無庫存

滿額折

3.

Studies in Logic and Probability

出版日：2012/06/13 作者：George Boole 出版社：Dover Pubns 裝訂：平裝

Authoritative account of the development of Boole's ideas in logic and probability theory ranges from The Mathematical Analysis of Logic to the end of his career. The Laws of Thought formed the most s

優惠價： 9 853

無庫存

滿額折

4.

The Elements of Mathematical Logic

出版日：2005/10/12 作者：Paul C. Rosenbloom 出版社：Dover Pubns 裝訂：平裝

This introduction to mathematical logic stresses the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the gener

優惠價： 9 443

無庫存

滿額折

5.

Mathematical Logic

出版日：2002/12/18 作者：Stephen C. Kleene 出版社：Dover Pubns 裝訂：平裝

This reprint of Kleene's 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a var

優惠價： 9 853

無庫存

Linear Programming and Economic Analysis

滿額折

6.

Linear Programming and Economic Analysis

出版日：1987/11/01 作者：Robert Dorfman; Paul A. Samuelson; Robert M. Solow 出版社：Dover Pubns 裝訂：平裝

Clear, comprehensive exposition of interrelation of game theory and linear programming, interrelation of linear programming and modern welfare economics, Leontief theory of input-output, problems of d

優惠價： 9 1024

無庫存

Puzzles in Math and Logic ─ One-Hundred New Recreations

滿額折

7.

Puzzles in Math and Logic ─ One-Hundred New Recreations

出版日：1971/06/01 作者：Aaron J. Friedland 出版社：Dover Pubns 裝訂：平裝

100 original problems in math and logic, featuring permutations, combinations, properties of numbers, algebra, solid and plane geometry, logic, and probability. Although only high school math is neede

優惠價： 9 238

無庫存

Symbolic Logic and the Game of Logic ─ Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1

滿額折

8.

Symbolic Logic and the Game of Logic ─ Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1

出版日：1958/06/01 作者：Lewis Carroll 出版社：Dover Pubns 裝訂：平裝

Over 350 ingenious problems involving classical logic: logic is expressed in terms of symbols; syllogisms and the sorites are diagrammed; logic becomes a game played with 2 diagrams and a set of coun

優惠價： 9 545

無庫存

滿額折

9.

Algebraic Logic

出版日：2016/01/20 作者：Paul R. Halmos 出版社：Dover Pubns 裝訂：平裝

Beginning with an introduction to the concepts of algebraic logic, this concise volume features ten articles by a prominent mathematician that originally appeared in journals between 1954–59. Covering

優惠價： 9 511

無庫存

滿額折

10.

Logic ─ The Theory of Formal Inference

出版日：2015/11/18 作者：Alice Ambrose; Morris Lazerowitz 出版社：Dover Pubns 裝訂：平裝

Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in

優惠價： 9 443

無庫存

The Simplex Method of Linear Programming

滿額折

11.

The Simplex Method of Linear Programming

出版日：2015/06/17 作者：F. A. Ficken 出版社：Dover Pubns 裝訂：平裝

This concise but detailed and thorough treatment discusses the rudiments of the well-known simplex method for solving optimization problems in linear programming. Geared toward undergraduate students,

優惠價： 9 374

無庫存

Logic for Computer Science ─ Foundations of Automatic Theorem Proving

滿額折

12.

Logic for Computer Science ─ Foundations of Automatic Theorem Proving

出版日：2014/10/22 作者：Jean H. Gallier 出版社：Dover Pubns 裝訂：平裝

Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatm

優惠價： 9 1127

無庫存

滿額折

13.

An Introduction to Mathematical Logic

出版日：2013/02/20 作者：Richard E. Hodel 出版社：Dover Pubns 裝訂：平裝

This comprehensive overview of mathematical logic is designed primarily for advanced undergraduates and graduate students?of mathematics. The treatment also contains much of interest to advanced stude

優惠價： 9 1539

無庫存

Puzzles and Games in Logic and Reasoning

滿額折

14.

Puzzles and Games in Logic and Reasoning

出版日：2012/05/17 作者：Terry M. Badger 出版社：Dover Pubns 裝訂：平裝

245 brainteasers include puzzles that test powers of logic, crimes and mysteries that must be solved, word puzzles and games, charades or situation puzzles best played in a group, and more.

優惠價： 9 272

無庫存

滿額折

15.

Logic and Boolean Algebra

出版日：2011/10/20 作者：B. H. Arnold 出版社：Dover Pubns 裝訂：平裝

This volume concentrates on the structure of Boolean algebras and rings as developed through simpler algebraic systems. The algebra of logic and set theory appears as applications or illustrations thr

優惠價： 1 492

無庫存

滿額折

16.

Logic in Elementary Mathematics

出版日：2011/06/16 作者：Robert M. Exner; Myron F. Rosskopf 出版社：Dover Pubns 裝訂：平裝

This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Topics include axiomatic struct

優惠價： 9 682

無庫存

滿額折

17.

Mathematical Programming

出版日：2009/06/22 作者：Steven Vajda 出版社：Dover Pubns 裝訂：平裝

Written by a trailblazer in the field, this classic of mathematical programming and operational research first appeared decades ago. It remains ever relevant, offering advanced undergraduates and grad

優惠價： 9 511

無庫存

滿額折

18.

Logic for Mathematicians

出版日：2008/12/18 作者：J. Barkley Rosser 出版社：Dover Pubns 裝訂：平裝

Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathema

優惠價： 9 1024

無庫存

Topoi ─ The Categorial Analysis of Logic

滿額折

19.

Topoi ─ The Categorial Analysis of Logic

出版日：2006/04/28 作者：Robert Goldblatt 出版社：Dover Pubns 裝訂：平裝

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mat

優惠價： 9 1024

無庫存

Nonlinear Programming―Analysis and Methods

滿額折

20.

Nonlinear Programming―Analysis and Methods

出版日：2003/09/16 作者：Mordecai Avriel 出版社：Dover Pubns 裝訂：平裝

This graduate textbook derives the theory of convex sets and functions, convex programming, nonlinear convex duality, and generalized convexity, then introduces numerical solution techniques for nonli

優惠價： 9 1024

無庫存

Brain Busters: Mind-Stretching Puzzles in Math and Logic

滿額折

21.

Brain Busters: Mind-Stretching Puzzles in Math and Logic

出版日：2003/09/06 作者：Barry R. Clarke 出版社：Dover Pubns 裝訂：平裝

51 original puzzles include complex crosswords, a collection of amusing stories with a series of clues that lead to a single solution at the end, and an advanced series of math and logic puzzles R

優惠價： 9 272

無庫存

Dynamic Programming ─ Models and Applications

滿額折

22.

Dynamic Programming ─ Models and Applications

出版日：2003/04/23 作者：Eric V. Denardo 出版社：Dover Pubns 裝訂：平裝

Introduction to sequential decision processes covers use of dynamic programming in studying models of resource allocation, methods for approximating solutions of control problems in continuous time, p

優惠價： 9 580

無庫存

Mathematical Methods and Theory in Games, Programming, and Economics

滿額折

23.

Mathematical Methods and Theory in Games, Programming, and Economics

出版日：2003/02/20 作者：Samuel Karlin 出版社：Dover Pubns 裝訂：精裝

In this single-volume edition of a noted 2-volume text, the author synthesizes the concepts of game theory, programming theory, and the concepts and techniques of mathematical economics into a single

優惠價： 9 3078

無庫存

Introduction to Logic and to the Methodology of Deductive Sciences

滿額折

24.

Introduction to Logic and to the Methodology of Deductive Sciences

出版日：1995/03/27 作者：Alfred Tarski 出版社：Dover Pubns 裝訂：平裝

This classic undergraduate treatment examinesthe deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part.

優惠價： 9 511

無庫存

滿額折

25.

What Is Mathematical Logic?

出版日：1990/08/01 作者：John N. Crossley; C. J. Ash; C. J. Brickhill; John C. H. Stillwell; N. H. Williams 出版社：Dover Pubns 裝訂：平裝

This lively introduction to mathematical logic, easily accessible to nonmathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel's theorems, computability and

優惠價： 9 238

無庫存

An Illustrated Guide to Linear Programming

滿額折

26.

An Illustrated Guide to Linear Programming

出版日：1990/03/01 作者：Saul I. Gass 出版社：Dover Pubns 裝訂：平裝

Entertaining, nontechnical introduction covers basic concepts of linear programming and its relationship to operations research; geometric interpretation and problem solving, solution techniques, netw

優惠價： 9 511

無庫存

滿額折

27.

First Order Mathematical Logic

出版日：1990/03/01 作者：Angelo Margaris 出版社：Dover Pubns 裝訂：平裝

Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in so

優惠價： 9 513

無庫存

滿額折

28.

Foundations of Mathematical Logic

出版日：1977/04/01 作者：Haskell Brooks Curry 出版社：Dover Pubns 裝訂：平裝

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods ? including algorithms a

優惠價： 9 1024

無庫存

Linear Programming ─ An Introduction to Finite Improvement Algorithms

滿額折

29.

Linear Programming ─ An Introduction to Finite Improvement Algorithms

出版日：2014/08/20 作者：Daniel Solow 出版社：Dover Pubns 裝訂：平裝

This text covers the basic theory and computation for a first course in linear programming, including substantial material on mathematical proof techniques and sophisticated computation methods. Inclu

優惠價： 9 1024

無庫存

Four Lives ─ A Celebration of Raymond Smullyan

滿額折

30.

Four Lives ─ A Celebration of Raymond Smullyan

出版日：2014/03/19 作者：Jason Rosenhouse; Raymond M. Smullyan 出版社：Dover Pubns 裝訂：精裝

" This 'best of' collection of works by Raymond Smullyan features excerpts from his published writings, including logic puzzles, explorations of mathematical logic and paradoxes, retrograde analysis c

優惠價： 9 853

無庫存

An Introduction to Functional Programming Through Lambda Calculus

滿額折

31.

An Introduction to Functional Programming Through Lambda Calculus

出版日：2011/08/18 作者：Greg Michaelson 出版社：Dover Pubns 裝訂：平裝

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforceme

優惠價： 9 1195

無庫存

滿額折

32.

A Profile of Mathematical Logic

出版日：2004/06/17 作者：Howard Delong 出版社：Dover Pubns 裝訂：平裝

Delong's classic, written for those with no more than high school mathematics, describes how traditional logic, which remained intact and virtually sacrosanct from the Stoics to the nineteenth century

優惠價： 9 853

無庫存

滿額折

33.

OPTIMAL CONTROL THEORY AN INTRODUCTION

出版日：2004/01/01 作者：KIRK 出版社：Dover Pubns 裝訂：平裝

本書內容包含PART I: DESCRIBING THE SYSTEM AND EVALUATING ITS PERFORMANCE 1. Introduction 2. The Performance Measure PART II: DYNAMIC PROGRAMMING 3. Dynamic Programming PART III: THE CALCULUS OF VARIATIO

優惠價： 9 1197

無庫存

滿額折

34.

First Course in Mathematical Logic

出版日：2002/07/15 作者：Patrick Suppes; Shirley A. Hill 出版社：Dover Pubns 裝訂：平裝

Some 40 years after its original publication (Blaisdell Publishing Co., 1964), this reprint makes available Suppes' and Hill's (both, Stanford U.) text, which aims to provide an accessible and clear presentation of mathematical logic for high school and elementary college mathematics classrooms. Coverage includes the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of communicative groups. Annotation c. Book News, Inc., Portland, OR (booknews.com)

優惠價： 9 682

無庫存

Mathematical Logic and the Foundation of Mathematics: An Introductory Survey

滿額折

35.

Mathematical Logic and the Foundation of Mathematics: An Introductory Survey

出版日：2001/04/25 作者：G. T. Kneebone 出版社：Dover Pubns 裝訂：平裝

Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part I

優惠價： 9 580

無庫存

Test Your Logic ─ Fifty Puzzles in Deductive Reasoning

滿額折

36.

Test Your Logic ─ Fifty Puzzles in Deductive Reasoning

出版日：1972/02/01 作者：George Summers 出版社：Dover Pubns 裝訂：平裝

Fifty logic puzzles range in difficulty from the simple to the more complex. Mostly set in story form, some problems involve establishing identities from clues, while others are based on cryptarithmet

優惠價： 9 203

無庫存

滿額折

37.

An Introduction to Symbolic Logic

出版日：1967/06/01 作者：Susanne K. Langer 出版社：Dover Pubns 裝訂：平裝

Famous classic has introduced countless readers to symbolic logic with its thorough and precise exposition. Starts with simple symbols and conventions and concludes with the Boole-Schroeder and Russel

優惠價： 9 1024

無庫存

滿額折

38.

I Can Be an Awesome Inventor

出版日：2019/10/16 作者：Anna Claybourne 出版社：Dover Pubns 裝訂：平裝

Put on your thinking cap and get inventive! Make a musical instrument from glass bottles, use a drop of water to create a microscope, develop your own computer programming language, and more! Filled w

優惠價： 1 380

無庫存

Write Your Own Proofs ― In Set Theory and Discrete Mathematics

滿額折

39.

Write Your Own Proofs ― In Set Theory and Discrete Mathematics

出版日：2019/08/14 作者：Amy Babich; Laura Person 出版社：Dover Pubns 裝訂：平裝

This introductory treatment of theory, proof techniques, and related concepts is designed for undergraduate courses. Topics include propositional logic, quantifiers, sets, functions, relations, mathem

優惠價： 9 752

無庫存

滿額折

40.

Mathematical Puzzles & Curiosities

出版日：2013/07/17 作者：Barry R. Clarke 出版社：Dover Pubns 裝訂：平裝

Intriguing collection of thought-provoking diversions features recreational math, logic, and creativity puzzles. Classic and original puzzles include The Monty Hall Problem, The Unexpected Hanging, Th

優惠價： 9 340

無庫存

熱搜：

Probabilistic Programming

A Beginner's Guide to Mathematical Logic

Studies in Logic and Probability

The Elements of Mathematical Logic

Mathematical Logic

Linear Programming and Economic Analysis

Puzzles in Math and Logic ─ One-Hundred New Recreations

Symbolic Logic and the Game of Logic ─ Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1

Algebraic Logic

Logic ─ The Theory of Formal Inference

The Simplex Method of Linear Programming

Logic for Computer Science ─ Foundations of Automatic Theorem Proving

An Introduction to Mathematical Logic

Puzzles and Games in Logic and Reasoning

Logic and Boolean Algebra

Logic in Elementary Mathematics

Mathematical Programming

Logic for Mathematicians

Topoi ─ The Categorial Analysis of Logic

Nonlinear Programming―Analysis and Methods

Brain Busters: Mind-Stretching Puzzles in Math and Logic

Dynamic Programming ─ Models and Applications

Mathematical Methods and Theory in Games, Programming, and Economics

Introduction to Logic and to the Methodology of Deductive Sciences

What Is Mathematical Logic?

An Illustrated Guide to Linear Programming

First Order Mathematical Logic

Foundations of Mathematical Logic

Linear Programming ─ An Introduction to Finite Improvement Algorithms

Four Lives ─ A Celebration of Raymond Smullyan

An Introduction to Functional Programming Through Lambda Calculus

A Profile of Mathematical Logic

OPTIMAL CONTROL THEORY AN INTRODUCTION

First Course in Mathematical Logic

Mathematical Logic and the Foundation of Mathematics: An Introductory Survey

Test Your Logic ─ Fifty Puzzles in Deductive Reasoning

An Introduction to Symbolic Logic

I Can Be an Awesome Inventor

Write Your Own Proofs ― In Set Theory and Discrete Mathematics

Mathematical Puzzles & Curiosities