Factorization in Integral Domains
- PDF / 23,295,510 Bytes
- 269 Pages / 439.37 x 666.142 pts Page_size
- 94 Downloads / 168 Views
Learning Abstract Algebra with ISETL
Ed Dubinsky Uri Leron
Learning Abstract Algebra with ISETL Macintoshâ„¢ Diskette Provided
Springer-Verlag Berlin Heidelberg GmbH
Ed Dubinsky Departments of Curriculum & Instruction and Mathematics Purdue University West Lafayette, IN 47907 USA
Uri Leron Department of Science Education Technion Israel Institute of Technology 32000 Haifa Israel
With 2 Illustrations Mathematics Subject Classification (1991): 13-01, 20-01 Library of Congress Cataloging-in-Publication Data Dubinsky, Ed. Learning abstract algebra with ISETL I Ed Dubinsky, Uri Leron. p. cm. Includes bibliographical references and index. ISBN 978-3-540-94152-1 ISBN 978-3-662-25454-7 (eBook) DOI 10.1007/978-3-662-25454-7 I. Algebra, Abstract -Computer-assisted instruction. 2. ISETL (Computer program language) I. Leron, Uri. II. Title. QA162.D83 1993 93-2609 512' .02'078-dc20 Printed on acid-free paper.
© 1994 Springer-Verlag Berlin Heidelberg Originally published by Springer-Verlag New York, Inc in 1994. Softcover reprint of the hardcover 1st edition 1994 All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag Berlin Heidelberg GmbH), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The programming language ISETL on the enclosed diskette is copyrighted by Gary Levin. It is being distributed herewith by permission of Gary Levin. The utility programs on the enclosed diskette are under copyright protection. Copying the enclosed diskette for the purpose of making a profit is forbidden. Before using the programs please consult the technical manuals provided by the manufacturer of the computer. The use of general descriptive names, trade names, trademarks, etc., in this publication, even if the former are not especially identified, is not to be taken as a sign that such names, as understood by the Trade Marks and Merchandise Marks Act, may accordingly be used freely by anyone. Production managed by Natalie Johnson; manufacturing supervised by Vincent Scelta. Camera-ready copy prepared using the authors' LaTeX files.
987654321
Contents
Comments for the Student Comments for the Instructor Acknowledgments 1 Mathematical Constructions in ISETL 1.1 Using ISETL . . . . . 1.1.1 Activities.............. 1.1.2 Getting started . . . . . . . . . . . 1.1.3 Simple objects and operations on them 1.1.4 Control statements . . . . . . . . . . 1.1.5 Exercises............... 1.2 Compound objects and operations on them 1.2.1 Activities. 1.2.2 Tuples......... 1.2.3 Sets . . . . . . . . . . 1.2.4 Set and tuple formers 1.2.5 Set operations 1.2.6 Permutations..... 1.2.7 Quantification . . . . 1.2.8 Miscellaneous ISETL features 1.2.9 VISETL 1.2.10 Exercises . . . . . . . . . . . .
xi xvii xxi 1 1
1 5 6
7 8 11 11
14
15 16
