04713nam 2200541 450 991046375070332120210209120709.01-119-00010-6(CKB)2670000000613980(EBL)1895893(MiAaPQ)EBC1895893(PPN)224232606(EXLCZ)99267000000061398020151105h20152015 uy 0engur|n|---|||||rdacontentrdamediardacarrierLogic and discrete mathematics a concise introduction, solutions manual /Willem Conradie, Valentin Goranko, Claudette RobinsonWest Sussex, England :Wiley,2015.©20151 online resource (392 p.)Description based upon print version of record.1-118-76267-3 1-119-00011-4 Cover; Table of Contents; Title Page; Copyright; Preface; About the Companion Website; Chapter 1: Preliminaries; 1.1 Sets; 1.2 Basics of Logical Connectives and Expressions; 1.3 Mathematical Induction; Chapter 2: Sets, Relations, Orders; 2.1 Set Inclusions and Equalities; 2.2 Functions; 2.3 Binary Relations and Operations on Them; 2.4 Special Binary Relations; 2.5 Equivalence Relations and Partitions; 2.6 Ordered Sets; 2.7 An Introduction to Cardinality; 2.8 Isomorphisms of Ordered Sets. Ordinal Numbers; 2.9 Application: relational databases; Chapter 3: Propositional Logic3.1 Propositions, Logical Connectives, Truth Tables, Tautologies3.2 Propositional Logical Consequence. Valid and Invalid Propositional Inferences; 3.3 Semantic Tableaux; 3.4 Logical Equivalences. Negating Propositional Formulae; 3.5 Normal forms. Propositional Resolution; Chapter 4: First-Order Logic; 4.1 Basic Concepts of First-Order Logic; 4.2 The Formal Semantics of First-Order Logic; 4.3 The Language of First-Order Logic: A Deeper Look; 4.4 Truth, Logical Validity, Equivalence and Consequence in First-Order Logic; 4.5 Semantic Tableaux for First-Order Logic4.6 Prenex and Clausal Normal Forms4.7 Resolution in First-Order Logic; 4.8 Applications of First-Order Logic to Mathematical Reasoning and Proofs; Chapter 5: Number Theory; 5.1 The Principle of Mathematical Induction revisited; 5.2 Divisibility; 5.3 Computing Greatest Common Divisors. Least Common Multiples; 5.4 Prime Numbers. The Fundamental Theorem of Arithmetic; 5.5 Congruence Relations; 5.6 Equivalence Classes and Residue Systems Modulo n; 5.7 Linear Diophantine Equations and Linear Congruences; 5.8 Chinese Remainder Theorem; 5.9 Euler's Function. Theorems of Euler and Fermat5.10 Wilson's Theorem. Order of an Integer5.11 Application: Public Key Cryptography; Chapter 6: Combinatorics; 6.1 Two Basic Counting Principles; 6.2 Combinations. The Binomial Theorem; 6.3 The Principle of Inclusion - Exclusion; 6.4 The Pigeonhole Principle; 6.5 Generalized Permutations, Distributions and the Multinomial Theorem; 6.6 Selections and Arrangements with Repetition; Distributions of Identical Objects; 6.7 Recurrence Relations and Their Solution; 6.8 Generating Functions; 6.9 Recurrence Relations and Generating Functions; 6.10 Application: Classical Discrete ProbabilityChapter 7: Graph Theory7.1 Introduction to Graphs and Digraphs; 7.2 Incidence and Adjacency Matrices; 7.3 Weighted Graphs and Path Algorithms; 7.4 Trees; 7.5 Eulerian Graphs and Hamiltonian Graphs; 7.6 Planar Graphs; 7.7 Graph Colourings; End User License AgreementSolutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in this accompanying solutions manual.Logic, Symbolic and mathematicalTextbooksComputer scienceMathematicsTextbooksElectronic books.Logic, Symbolic and mathematicalComputer scienceMathematics004/.01/51Conradie Willem1978-918556Goranko ValentinRobinson ClaudetteMiAaPQMiAaPQMiAaPQBOOK9910463750703321Logic and discrete mathematics2059714UNINA02886oam 2200721I 450 991078953700332120230814231908.00-429-91888-70-429-47988-31-283-12582-X97866131258281-84940-376-7(CKB)2670000000094777(EBL)712235(OCoLC)729166951(SSID)ssj0000525591(PQKBManifestationID)12200091(PQKBTitleCode)TC0000525591(PQKBWorkID)10504113(PQKB)10542934(MiAaPQ)EBC712235(Au-PeEL)EBL712235(CaPaEBR)ebr10477674(CaONFJC)MIL312582(OCoLC)1029235552(FlBoTFG)9780429479885(EXLCZ)99267000000009477720181122h20182003 uy 0engur||| |||||txtccrSent Before My Time A Child Psychotherapist's View of Life on a Neonatal Intensive Care Unit /by Margaret CohenFirst edition.Boca Raton, FL :Routledge,[2018].©2003.1 online resource (249 p.)Tavistock Clinic seriesDescription based upon print version of record.0-367-10727-9 1-85575-910-1 Includes bibliographical references and index.COVER; CONTENTS; ACKNOWLEDGEMENTS; SERIES EDITORS' PREFACE; INTRODUCTION; Chapter 1. The setting; Chapter 2. Two ways of seeing; Chapter 3. Twins; Chapter 4. The issue of respect in a medical context; Chapter 5. Integrity; Chapter 6. The struggle of life and death wishes; Chapter 7. Mourning for a baby; Chapter 8. The web; Chapter 9. Doctors, midwives, and prison officers; Chapter 10. Addiction; Chapter 11. Vicissitudes of life on a neonatal unit; GLOSSARY; REFERENCES AND BIBLIOGRAPHY; INDEXSent Before My Time is an exploration of the workings of a neo natal intensive care unit from a child psychotherapist's point of view. It examines the relationships between the babies, the parents and the staff.Tavistock Clinic series.Neonatal intensive carePsychological aspectsIntensive care unitsPsychological aspectsInfant analysisChild psychoanalystsNeonatal intensive carePsychological aspects.Intensive care unitsPsychological aspects.Infant analysis.Child psychoanalysts.618.9201618.92011Cohen Margaret163312FlBoTFGFlBoTFGBOOK9910789537003321Sent Before My Time3846028UNINA