Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
P
proofs
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Locked Files
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Registry
Registry
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Jim Hefferon
proofs
Commits
db4fe105
Commit
db4fe105
authored
Jul 26, 2018
by
Jim Hefferon
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Update README.md
parent
ea5244bb
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
22 additions
and
22 deletions
+22
-22
README.md
README.md
+22
-22
No files found.
README.md
View file @
db4fe105
...
...
@@ -5,37 +5,37 @@ It is Freely available.
Highlights
==========
+
Inquiry-based
+
Inquiry-based
The text is a sequence of statements for students to prove, along with a few definitions and remarks.
The instructor does not lecture but instead lightly guides as the class works through the material together.
For these students, this is the best way to develop mathematical maturity.
The text is a sequence of statements for students to prove, along with a few definitions and remarks.
The instructor does not lecture but instead lightly guides as the class works through the material together.
For these students, this is the best way to develop mathematical maturity.
+
Covers needed material
+
Covers needed material
We do parity through arity:
number theory to the Fundamental Theorem of Arithmetic, sets to DeMorgan's Laws,
functions to two-sided inverses, and relations up to equivalences and partitions.
We do elementary
number theory to the Fundamental Theorem of Arithmetic, sets to DeMorgan's Laws,
functions to two-sided inverses, and relations up to equivalences and partitions.
+
No prerequisite
+
No prerequisite
We enroll sophomore Math majors who typically have taken Calculus III and Linear Algebra.
But this background isn't a logical prerequisite, it just ensures that students have some mathematical aptitude.
The material does not presume any college mathematics.
We enroll sophomore Math majors who typically have taken Calculus III and Linear Algebra.
But this background isn't a logical prerequisite, it just ensures that students have some mathematical aptitude.
The material does not presume any college mathematics.
+
Free
+
Free
You are free to use the text,
without cost.
You are free to share it.
This includes the LaTeX source, so if you are an instructor then you can tune the text to your class.
You can the text
without cost.
You can share it, for instance with students, without cost.
This includes the LaTeX source, so if you are an instructor then you can tune the text to your class.
+ Flexibility
+
Flexibility
The text comes in two presentations, one of which is compact enough to just print and hand out on the first day, which is what I do.
There are a number of other options; see the source.
The text comes in two presentations, one of which is compact enough to just print and hand out on the first day, which is what I do.
There are a number of other options; see the source.
+ Extras
+
Extras
There is a pack of beamer slides on logic.
Th
ese organize the discussions that arise naturally in the first couple of weeks about topics such as the definition of implication.
There is a pack of beamer slides on logic.
T
ese organize the discussions that arise naturally in the first couple of weeks about topics such as the definition of implication.
There is also a pack of slides I show on the first day to introduce students to the class style.
\ No newline at end of file
There is also a pack of slides I show on the first day to introduce students to the class style.
\ No newline at end of file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment