Learning Discrete Mathematics with ISETL
Autor Nancy Baxter, Edward Dubinsky, Gary Levinen Limba Engleză Paperback – 17 sep 2011
Preț: 381.26 lei
Puncte Express: 572
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9781461281702
ISBN-10: 1461281709
Pagini: 440
Ilustrații: XVII, 416 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.66 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: Springer
Locul publicării:New York, NY, United States
ISBN-10: 1461281709
Pagini: 440
Ilustrații: XVII, 416 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.66 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: 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.