DISCRETE_MATHEMATICS_FOR_NE.PDF

Discrete Mathematics

for New Technology

Second Edition

Rowan Garnier

and

John Taylor

University of Brighton, UK

Institute of Physics Publishing

Bristol and Philadelphia

IOP Publishing Ltd 2002

in a retrieval system or transmitted in any form or by any means, electronic,

mechanical, photocopying, recording or otherwise, without the prior permission

of the publisher. Multiple copying is permitted in accordance with the terms

of licences issued by the Copyright Licensing Agency under the terms of its

agreement with the Committee of Vice-Chancellors and Principals.

British Library Cataloguing-in-Publication Data

A catalogue record for this book is available from the British Library.

ISBN 0 7503 0652 1

Library of Congress Cataloging-in-Publication Data are available

First Edition published 1992

First Edition reprinted 1996, 1997, 1999

Commissioning Editor: James Revill

Production Editor: Simon Laurenson

Production Control: Sarah Plenty

Cover Design: Frederique Swist

Marketing Executive: Laura Serratrice

Published by Institute of Physics Publishing, wholly owned by The Institute of

Physics, London

Institute of Physics Publishing, Dirac House, Temple Back, Bristol BS1 6BE, UK

US Ofce: Institute of Physics Publishing, The Public Ledger Building, Suite

1035, 150 South Independence Mall West, Philadelphia, PA 19106, USA

Typeset in L A T E X2 by Text 2 Text, Torquay, Devon

Printed in the UK by MPG Books Ltd, Bodmin, Cornwall

Contents

Preface to the Second Edition

Preface to the First Edition

List of Symbols

Chapter 1: Logic

1.1 Propositions and Truth Values

1.2 Logical Connectives and Truth Tables

1.3 Tautologies and Contradictions

1.4 Logical Equivalence and Logical Implication

1.5 The Algebra of Propositions

1.6 More about Conditionals

1.7 Arguments

1.8 Predicate Logic

1.9 Arguments in Predicate Logic

Chapter 2: Mathematical Proof

2.1 The Nature of Proof

2.2 Axioms and Axiom Systems

2.3 Methods of Proof

2.4 Mathematical Induction

Chapter 3: Sets

3.1 Sets and Membership

3.2 Subsets

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika: