[ CS 275 Homepage ]

[ Basics | Truth tables | Counting | Combinatorics | TKGate | Online References ]

CS 275 - Helpers

Math as a foreign language

• Pronunciation guide for mathematical notation. 2 pages.
• English-to-math phrase book w/ a few exercises. 13 pages.
• Specimen of simple proofs. 7 pages. Templates of proofs that will be covered on Monday Sep. 21st.
• How not to do a proof, advice by Margaret M. Fleck.

Very simple truth table calculator

ttable is a little program that prints truth tables. It runs from the command line under Unix and has not been tested elsewhere.

• More info.
• Download ttable (don't forget to chmod +x ttable before running it).

Code to count in a given base and to iterate through subsets

• More info.

Combinatorics

• Three solved combinatorics exercises. Six pages.

Graphs

• Basic graph definitions. 4 pages.

TKGate : a logical circuit simulator

TkGate is a event driven digital circuit simulator with a tcl/tk-based graphical editor. [snip] The distribution comes with a number of tutorial and example circuits which can be loaded through the "Help" menu. The example circuits include a simple CPU, programmed to run the Animals game. [snip] TkGate is free software provided with source code under the Gnu Public License.

Online References

• Mathworld, by Wolfram Research.
• Wikipedia. Not just math, but a good coverage of math.
• PlanetMath.org "Math for the people, by the people."
• Thesaurus.math.org "brief explanations of mathematical terms and ideas."
• Concise Encyclopedia of Mathematics, Eric W. Weisstein.

Note

Credits