# Discrete Math Forum

Discrete Math Help Forum: Discrete mathematics, logic, set theory

1. ### Difference equation tutorial: draft of part I

• Replies: 4
• Views: 3,979
Jun 14th 2014, 02:54 AM

• Replies: 0
• Views: 3,902
Feb 11th 2011, 12:34 PM
3. ### List of rules used to moderate MHF - please read carefully.

• Replies: 0
• Views: 2,473
Jul 19th 2010, 11:33 PM
1. ### Sequences (Recurrence relation)

• Replies: 1
• Views: 415
May 25th 2011, 10:27 AM
2. ### The relation between two numbers

• Replies: 2
• Views: 636
May 25th 2011, 01:48 AM
3. ### Formal proof of "Law of ecxluded middle"

• Replies: 6
• Views: 10,871
May 23rd 2011, 05:05 PM
4. ### Prove that, if a is a Real Number and 0 < a< 1, then (a^2)<1

• Replies: 2
• Views: 494
May 23rd 2011, 04:06 PM
5. ### help with well ordering principle

• Replies: 17
• Views: 1,520
May 23rd 2011, 03:40 PM
6. ### Proof of Pfaff's reflection law... There is a clue but I still don't know how to.

• Replies: 2
• Views: 594
May 23rd 2011, 05:02 AM
7. ### How to construct a proof for 0x1 = 0

• Replies: 6
• Views: 1,605
May 23rd 2011, 04:17 AM
8. ### Defining a transformation function between sets

• Replies: 1
• Views: 517
May 23rd 2011, 02:37 AM
9. ### Induction

• Replies: 2
• Views: 588
May 22nd 2011, 03:27 PM
10. ### [SOLVED] Maximal Element

• Replies: 5
• Views: 877
May 22nd 2011, 10:07 AM
11. ### help finding pattern from sequence of numbers

• Replies: 1
• Views: 544
May 22nd 2011, 03:40 AM
12. ### help with sequence prefixes

• Replies: 24
• Views: 1,146
May 21st 2011, 07:03 PM
13. ### help showing simple induction

• Replies: 15
• Views: 1,255
May 21st 2011, 06:02 PM
14. ### How to write this in formal language

• Replies: 4
• Views: 828
May 21st 2011, 05:45 PM
15. ### ZFC and the foundation of mathematics

• Replies: 16
• Views: 2,319
May 21st 2011, 11:46 AM
16. ### describe algorithms determine a function from this finite set to another finite set i

• Replies: 1
• Views: 728
May 21st 2011, 05:17 AM
17. ### Sets containing unions, and vice versa

• Replies: 1
• Views: 568
May 20th 2011, 08:27 AM
18. ### [SOLVED] Proper use of Universal Instantiation

• Replies: 11
• Views: 1,047
May 19th 2011, 05:27 PM
19. ### Linearity of dual codes

• Replies: 0
• Views: 579
May 19th 2011, 11:04 AM
20. ### Question on coding, syndomes, etc.

• Replies: 0
• Views: 368
May 19th 2011, 10:24 AM
21. ### Equivalence classes

• Replies: 1
• Views: 458
May 18th 2011, 09:12 PM
22. ### particular solution for non-homogeneous equation

• Replies: 1
• Views: 930
May 18th 2011, 08:53 PM

•
•

•
•
25. ### Equivalence relation proof

• Replies: 5
• Views: 774
May 17th 2011, 05:30 PM
26. ### [SOLVED] Induction

• Replies: 1
• Views: 479
May 17th 2011, 01:38 PM
27. ### [SOLVED] Reflexive

• Replies: 3
• Views: 664
May 17th 2011, 12:18 PM
28. ### [SOLVED] Equiv Class

• Replies: 4
• Views: 487
May 17th 2011, 06:43 AM
29. ### Prove true through mathematical induction

• Replies: 2
• Views: 473
May 17th 2011, 03:41 AM

,

,

,

,

,

# "discrete"

Click on a term to search for related topics.

Use this control to limit the display of threads to those newer than the specified time frame.

Allows you to choose the data by which the thread list will be sorted.