Discrete mathematics in computer science (Record no. 43444)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02805nam a2200181Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160408s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0132161508 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Item number | STA |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Stanat, Donald F. |
| 245 ## - TITLE STATEMENT | |
| Title | Discrete mathematics in computer science |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | New Delhi |
| Name of publisher, distributor, etc | Prentice Hal of India Pvt. Ltd. |
| Date of publication, distribution, etc | 1977 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiii,401p. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | CONTENTS<br/>PREFACE x <br/>Notation xiii<br/>0 MATHEMATICAL MODELS 1<br/>0.0 Introduction 1<br/>0.1 Principles and Models 1<br/>0.2 Mathematical Models 2<br/>0.3 Purposes of Models 6<br/>1 MATHEMATICAL REASONING 8<br/>0 Introduction 8<br/>1 Propositions 9<br/>2 Predicates and Quantifiers 20<br/>3 Quantifiers and Logical Operators 29<br/>4 Logical Inference 39<br/>5 Methods of Proof 47<br/>6 Program Correctness 57<br/>Axioms of Assignment 69<br/>2 SETS 75<br/>0 Introduction 75<br/>1 The Primitives of Set Theory 75 <br/>2 The Paradoxes of Set Theory 79<br/>3 Relations Between Sets 82 <br/>4 Operations on Sets 85 <br/>5 Induction 95<br/>Inductive Definition of Sets 95 <br/>Recursive Procedures 98 <br/>Inductive Proofs 100 <br/>6 The Natural Numbers 108 <br/>7 Set Operations on I* 111<br/>3 BINARY RELATIONS 120<br/>0 Introduction 120<br/>1 Binary Relations and Digraphs 120<br/>2 Trees 131<br/>Search Trees 136<br/>Tree Traversal Algorithms 140<br/>3 Special Properties of Relations 145<br/>4 Composition of Relations 149<br/>5 Closure Operations on Relations 155<br/>6 Order Relations 164<br/>{Some Additional Concepts for Posets 173<br/>7 Equivalence Relations and Partitions 178<br/>{Sums and Products of Partitions 187<br/>4 FUNCTIONS 193<br/>0 Introduction 193<br/>1 Basic Properties of Functions 193<br/>Inductively Defined Functions 199 <br/>Partial Functions 201 <br/>2 Special Classes of Functions 204<br/>Inverse Functions 209 <br/>One-Sided Inverse Functions 213<br/>5 COUNTING AND ALGORITHM ANALYSIS 218<br/>0 Introduction 218<br/>1 Basic Counting Techniques 218<br/>Permutations and Combinations 222 Decision Trees 225<br/>2 Asymptotic Behavior of Functions 232<br/>Some Important Classes of Asymptotic Behavior<br/>3 Recurrence Systems 243<br/>Divide and Conquer Algorithms 248<br/>4 Analysis of Algorithms 258<br/>Searching Algorithms 262 Sorting Algorithms 265<br/>6 INFINITE SETS 275<br/>0 Introduction 275<br/>1 Finite and Infinite Sets 275<br/>2 Countable and Uncountable Sets 279<br/>Comparison of Cardinal Numbers 288<br/>4 Cardinal Arithmetic 295<br/>7 ALGEBRAS 300<br/>0 Introduction 300<br/>1 The Structure of Algebras 301<br/>2 Some Varieties of Algebras 309<br/>Semigroups 309 Monoids 310 Groups 311 Boolean Algebras 312<br/>3 Homomorphisms 315<br/>4 Congruence Relations 322<br/>5 New Algebraic Systems from Old 327<br/>Quotient Algebras 327 Product Algebras 329<br/>APPENDIX: THE PROGRAMMING LANGUAGE 332<br/>ANSWERS TO SFI FP.TFD FXFROISFS 339<br/>BIBLIOGRAPHY 391<br/>INDEX 393<br/><br/> |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| 9 (RLIN) | 46594 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | McAllister, David F. |
| 890 ## - Country | |
| Country | India |
| 891 ## - Topic | |
| Topic | Gratis from Dr. Bharat Dave |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Withdrawn status | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | CEPT Library | CEPT Library | 11/04/2016 | Dr. Bharat Dave | 0.00 | 004.0151 STA | 015565 | 18/04/2016 | 0.00 | 11/04/2016 | Book |