Learning Discrete Mathematics with ISETL
Autor Nancy Baxter, Edward Dubinsky, Gary Levinen Limba Engleză Paperback – 17 sep 2011
Preț: 396.40 lei
Nou
Puncte Express: 595
Preț estimativ în valută:
75.87€ • 78.19$ • 64.05£
75.87€ • 78.19$ • 64.05£
Carte tipărită la comandă
Livrare economică 03-17 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781461281702
ISBN-10: 1461281709
Pagini: 440
Ilustrații: XVII, 416 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.61 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1461281709
Pagini: 440
Ilustrații: XVII, 416 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.61 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1 Numbers, Programs, and ISETL.- 1.1 Preview.- 1.2 Overview of ISETL.- 1.3 Integers.- 1.4 Integer Operations.- 1.5 Special Binary Integer Operators.- 1.6 Random Integers.- 1.7 Floating-Point, Rational, and Real Numbers.- 1.8 Floating-Point Operations.- 1.9 Other Simple Data Types.- 2 Propositional Calculus.- 2.1 Preview.- 2.2 Boolean Variables and Expressions.- 2.3 Reasoning and Boolean Expressions.- 2.4 Methods of Proof.- 2.5 Predicate Calculus: First Pass.- 2.6 Propositions as Objects.- 3 Sets and Tuples.- 3.1 Preview.- 3.2 Introduction to Sets.- 3.3 Set Operations.- 3.4 Set Formation.- 3.5 Tuples and Tuple Operations.- 3.6 One-Liners.- 3.7 The Compound Operator.- 4 Functions.- 4.1 Preview.- 4.2 Representations of Functions.- 4.3 Function Operations.- 4.4 Applications of Functions.- 5 Predicate Calculus.- 5.1 Preview.- 5.2 Single-Level Quantification.- 5.3 Two-Level Quantification.- 5.4 Three-Level Quantification.- 5.5 Quantification in Math and CS.- 6 Combinatorics, Matrices, Determinants.- 6.1 Preview.- 6.2 Combinatorics.- 6.3 Matrices.- 6.4 Determinants.- 7 Mathematical Induction.- 7.1 Preview.- 7.2 Proposition Valued Functions of N.- 7.3 Modus Ponens.- 7.4 Implication Valued Functions of N.- 7.5 Making Proofs by Induction.- 7.6 Variations on the Induction Theme.- 8 Relations and Graphs.- 8.1 Preview.- 8.2 Relations and Their Representations.- 8.3 Properties of Relations.- 8.4 Digraphs.- ISETL order form.