Applied discrete structures for computer science / (Record no. 165127)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 05351nam a2200181Ia 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9788175156159 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | CUS |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004 |
Item number | DOE/A |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Doerr, Alan |
245 #0 - TITLE STATEMENT | |
Title | Applied discrete structures for computer science / |
Statement of responsibility, etc. | Alan Doerr and Kenneth Levvasseur. |
250 ## - EDITION STATEMENT | |
Edition statement | |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | New Delhi: |
Name of publisher, distributor, etc. | Galgotia Publications Pvt. Ltd., |
Date of publication, distribution, etc. | 2010. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 523 p. |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | CHAPTER-1- SET THEORY-- Description-- Basic Operations--Venn Diagrams--Pascal Note<br/><br/>CHAPTER -2 COMBINATIONS--Rule's of Products--Permutations--Combinations--Power<br/><br/>CHAPTER-3 LOGIC--Proportions and Logical Operators--Propositions--Logical Operators--Trump Tables and Propositions Generoltd by a Set--Equivalence and Implication--Tautologies --Implication--Pascal Note--The Laws of Logic--Pascal Note--Mathematical Systems Proofs--Proofs in Propositional Calculus Direct Proofs--Conditional Conclusions--Indirect Proofs--"Proof Style-- Propositions Over a Universe--Truth Set--Pascal Note--Mathematical Introduction--The Principle of Mathematical Induction--Variations--Historical Note--Quantifiers--The Existential Quantifier--The Universal Quantifier--The Negation of Quantified Propositions--Multiple Quantifiers--<br/><br/>CHAPTER- 4 ON STATISTICS--Methods of Proof for Sets--Examples and Counterexamples--Proof Using Venn Diagrams--Proof Using Set-Membership Tables--Proof Using Definitions--Lows of Set Theory--Proofs Using Previously Proven Theorems--Proof Using the Indirect Method--Partitions of Sets--Minutes--The Duality Principle<br/><br/>CHAPTER -5 INTRODUCTION TO MATRIX" ALGEBRA--Basic Definitions-- Addition and Scalar Multiplication--Multiplication of Matrices--Special Types of Matrices--Lows of Matrix Algebra--Matrix Oddities<br/><br/>CHAPTER- 6 RELATION--Basic Definitions--Relation Notation--Propitious of Relations--Properties of Relations--Matrices Of Relations--Closure Operations on Relations--<br/>'Marshall's Algorithm<br/><br/>CHAPTER-7 FUNCTIONS--Definition of o Function and Notation--Functions of Two Variables--Pascal Note--Composition, Identity and Inverse--Composition--Identity Function--Inverse Function<br/><br/>CHAPTER-8 RECURSION AND RECURRENCE RELATIONS--The Many Faces of Recursion--Polynomials and Their Evaluation--Pascal Note--Recursion Iteration--<br/>Induction and Recursion--Sequences, or Discrete Functions--A Fundamental Problem--Recurrence Relations--Solving a Recurrence Relation--Recurrence Relations Obtained from "Solutions"--Solution of Non homogeneous Finite Order--X.Nieves Relations--Base of Right-Hand Side Equal to Characteristic Root--Some Common Recurrence Relations--Review of Logarithms--Meriting Functions--Solution of a Recurrence Relation Using--Generating Functions--Closed Form Expressions for Generating Functions--Extra for Experts<br/><br/>CHAPTER-9 GRAPH THEORY--Grants—A General Introduction--A Summary of Path Notation and Terminology--Isomorphic Graphs--Data Structures for Gratis--Connectivity--Traversals--The Kornberg Bridge Problem and Valerian Graphs--Hamiltonian Graphs--Graph Optimization--The Traveling Salesman Problem--The Traveling Salesman Problem--Unit Square--Version--Networks and the Maximum Flow Problem--Maximal Flows--Other Graph Optimization Problems--Planetary and Coloring's--Graph Coloring--<br/><br/>CHAPTER-10 TREES--What Is a Tree?--Spanning Trees--The Minimal Spanning Tree Problem--The Minimum Diameter Spanning Tree Problem--Rooted Trees--Kruskal's Algorithm--Binary Trees--Traversals of Binary Trees--Expression Trees--Counting Binary Trees--<br/><br/>CHAPTER-11 ALGEBRAIC SYSTEMS--Operations--Common Properties of Operations--Operation Tables-- Algebraic Systems--Levels of Abstraction--Groups--Some General Properties of Groups--In The Integers Modulo--Properties of Modular Arithmetic on Z.--Pascal Note --Subsystems--Direct Products--Isomorphic--Procedure for Showing Groups are Isomorphic--Procedure for Showing Groups are not Isomorphic--Object-Orin ted Programming<br/><br/>CHAPTER-12 ALGEBRA--Systems of Linear Equations-- Matrix inversion--An introduction to Vector Spaces and the Denationalization Process--The Denationalization Process.-- Some Applications--<br/><br/>CHAPTER-13 BOOLEAN ALGEBRA--Lattices-- Boolean Algebras--Atoms of a Boolean Algebra--Finite Boolean Algebras--Boolean Expressions--A Brief introduction to the Application of Boolean Algebra to Switching Theory<br/><br/>CHAPTER 14 CONCEPT OF MONGOLOIDS LANGUAGES, GRAMMARS, AND AUTOMATA--MORE ON MONOIDS AND AUTOMATA-- Mongoloids--General Concepts and Properties of Monoids--Monoid Isomorphic--Free Mongoloids and Languages--Free Monoids Over an Alphabet--Languages--Two Fundamental Problems: Recognition and Generation Phase Structure Grammars and Languages-- Automata, Finite-State Moelilnet--Recognition in Regular Languages--The Machine of a Monoids--FINITE AUTOMATA--GROUP THEORY AND APPLICATION--Cyclic Groups--Application: Fast Adders--Co-sets and Factor Group--Permutation Groups--Normal Subgroups and Group<br/>Homomorphisms--Normal Subgroups--Homomorphisms--Coding Theory—Group Codes--Binary Symmetric Channel--The Coding Process<br/><br/><br/>CHAPTER-16 AN INTRODUCTION TO RINGS AND FIELDS--Rings—Basic Definitions and Concepts--Direct Products of Rings--Fields--Polynomial Rings--Field Extensions--<br/>Power Series- |
650 ## - SUBJECT | |
Keyword | Computer science -- Mathematics. |
650 ## - SUBJECT | |
Keyword | Procesamiento electronic-- Matematics. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | General Books |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Full call number | Accession number | Date last seen | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|
Central Library, Sikkim University | Central Library, Sikkim University | 29/08/2016 | 004 DOE/A | P20042 | 29/08/2016 | General Books |