|
|
Sold Out
Book Categories |
| Preface | ||
| A note on the exercises | ||
| 1 | An overview of logic | 1 |
| 2 | Propositions and propositional connectives | 10 |
| 3 | Propositional logic as a language | 22 |
| 4 | Transformational proofs | 45 |
| 5 | Deductive proofs | 60 |
| 6 | Predicates and quantifiers | 80 |
| 7 | Further predicate logic | 96 |
| 8 | Interpretation of formulae | 108 |
| 9 | Proofs in predicate logic | 113 |
| 10 | Proof by mathematical induction | 141 |
| 11 | Basic set theoretical concepts | 163 |
| 12 | Operations on sets | 174 |
| 13 | Relations: basic concepts | 195 |
| 14 | Advanced relational operations | 211 |
| 15 | Properties of binary relations | 224 |
| 16 | Functions and their classification | 240 |
| 17 | Numbers | 273 |
| 18 | Sequences and bags | 299 |
| 19 | Boolean algebra | 308 |
| 20 | Lambda abstraction of functions | 317 |
| App: Outline answers to exercises | 336 | |
| References | 374 | |
| Index | 375 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Introductory Logic and Sets for Computer Scientists
X
This Item is in Your Inventory
Introductory Logic and Sets for Computer Scientists
X
You must be logged in to review the productsX
X
X
Add Introductory Logic and Sets for Computer Scientists, modern approach to teaching logic and set theory, equipping students with the necessary mathematical understanding and skills required for the mathematical specification of software. It covers all the areas of mathematics that are considered essential to , Introductory Logic and Sets for Computer Scientists to the inventory that you are selling on WonderClubX
X
Add Introductory Logic and Sets for Computer Scientists, modern approach to teaching logic and set theory, equipping students with the necessary mathematical understanding and skills required for the mathematical specification of software. It covers all the areas of mathematics that are considered essential to , Introductory Logic and Sets for Computer Scientists to your collection on WonderClub |