issues
search
dcernst
/
IBL-IntroToProof
A textbook for the transition to proof course for mathematics majors utilizing IBL.
http://dcernst.github.io/IBL-IntroToProof
42
stars
22
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Retool set builder notation?
#126
dcernst
closed
3 years ago
1
Introduce truth set for predicates?
#125
dcernst
closed
3 years ago
1
Make a comment about avoiding "for all" in theorem statements early in Chapter 2
#124
dcernst
closed
3 years ago
1
Intervals are never officially defined
#123
dcernst
closed
3 years ago
1
Use of boxes around definitions is inconsistent
#122
dcernst
closed
3 years ago
1
Add function restrictions?
#121
dcernst
opened
3 years ago
1
Replace \sim as generic relation symbol
#120
dcernst
closed
3 years ago
1
Add some more proofs involving 1-1 and onto in Section 7.1
#119
dcernst
closed
3 years ago
1
Add discussion of well defined to Chapter 7
#118
dcernst
closed
3 years ago
1
Add section on existence and uniqueness
#117
dcernst
closed
3 years ago
3
Move all hints to an appendix
#116
dcernst
closed
3 years ago
2
Emphasize purpose of proofs that come before logic
#115
dcernst
closed
3 years ago
1
Add bubble diagrams for relations
#114
dcernst
closed
3 years ago
2
Add quotes throughout
#113
dcernst
closed
3 years ago
2
Add ZFC axioms to an appendix
#112
dcernst
opened
3 years ago
1
Swap Exercises for Problems
#111
dcernst
closed
3 years ago
1
Consolidate Exercise 6.27 and 6.32
#110
dcernst
closed
3 years ago
1
Move sets of relatives to relations section
#109
dcernst
closed
3 years ago
1
Carefully examine whether we need "non-empty" added as hypothesis to results in Chapter 6
#108
dcernst
closed
3 years ago
2
Add skeleton proofs for surjective and injective
#107
dcernst
closed
3 years ago
1
Add skeleton proofs for reflexive, symmetric, and transitive
#106
dcernst
closed
3 years ago
1
Add problems from previous exams to book?
#105
dcernst
closed
3 years ago
2
Move paradoxes to separate section?
#104
dcernst
closed
3 years ago
1
Turn final remark in Chapter 3 (Remark 3.82) into problem
#103
dcernst
closed
3 years ago
1
Address comment at end of Intro about referencing things by number
#102
dcernst
closed
3 years ago
1
Add a couple of negation questions
#101
dcernst
closed
3 years ago
1
Add additional or convert existing problems to "prove/disprove"
#100
dcernst
closed
3 years ago
3
Look for places to add diagrams
#99
dcernst
closed
3 years ago
1
Address predicate notation
#98
dcernst
closed
3 years ago
1
Address Definition 2.35
#97
dcernst
closed
3 years ago
1
Add additional comments about when "If A, then B" is true
#96
dcernst
closed
3 years ago
1
More examples throughout
#95
dcernst
closed
3 years ago
1
Retool Definition 3.32
#94
dcernst
closed
3 years ago
1
Retool wording of Exercise 3.3
#93
dcernst
closed
3 years ago
1
Reorder list of sets in Section 3.1
#92
dcernst
closed
3 years ago
1
Retool Exercise 2.68
#91
dcernst
closed
3 years ago
1
Maybe add or retool Section 1.7: Some Minimal Guidance
#90
dcernst
closed
3 years ago
1
Reviewer 1's comments about topology and open intervals
#89
dcernst
closed
3 years ago
2
Context and connection for power sets
#88
dcernst
closed
3 years ago
1
Rewrite Intro and move ideas from Preface into Intro
#87
dcernst
closed
1 year ago
1
Insert page numbers
#86
dcernst
closed
3 years ago
1
Add additional motivation in spots
#85
dcernst
closed
3 years ago
3
Instructor Guide
#84
dcernst
closed
2 years ago
5
Remove references to my course and instances where I address my students
#83
dcernst
closed
3 years ago
1
Add list of contributors
#82
dcernst
closed
3 years ago
2
6.11 is a bit weird
#81
StevenGubkin
closed
3 years ago
2
Definition 7.11 is nonstandard
#80
StevenGubkin
closed
3 years ago
2
Universal quantification versus implication issues
#79
StevenGubkin
closed
3 years ago
2
Weaken hypotheses for Theorem 7.44 (Spring 2020)
#78
dcernst
closed
3 years ago
1
Theorem 7.47 (Spring 2020) seems misplaced
#77
dcernst
closed
3 years ago
3
Previous
Next