# Discrete Math Forum

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

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

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

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

• Replies: 0
• Views: 2,545
Jul 19th 2010, 11:33 PM
1. ### Proving strings generated by a grammar can be decomposed in a certain way

• Replies: 5
• Views: 598
Oct 13th 2011, 03:39 PM
2. ### [SOLVED] Same name predicates

• Replies: 1
• Views: 482
Oct 13th 2011, 02:17 PM
3. ### Problem with proving

• Replies: 1
• Views: 373
Oct 13th 2011, 12:59 PM
4. ### [SOLVED] Formal Predicate Logic

• Replies: 10
• Views: 1,852
Oct 13th 2011, 11:36 AM
5. ### Explaination needed for Irrational Proof method

• Replies: 2
• Views: 382
Oct 13th 2011, 08:46 AM
6. ### Proving a Theorem (Predicate Logic)

• Replies: 2
• Views: 452
Oct 13th 2011, 04:57 AM
7. ### r-regular graph

• Replies: 1
• Views: 495
Oct 12th 2011, 04:30 PM
8. ### Minimum number of edges in a graph of order n

• Replies: 0
• Views: 942
Oct 12th 2011, 04:27 PM
9. ### Proving a function is onto.

• Replies: 20
• Views: 1,394
Oct 12th 2011, 11:11 AM
10. ### Counting using inclusion/exclusion principle.

• Replies: 1
• Views: 1,647
Oct 12th 2011, 10:26 AM
11. ### Simplify (A-B) U (A (upside U) B)

• Replies: 2
• Views: 3,388
Oct 12th 2011, 10:01 AM
12. ### Set Theory - Total vs Partial Orderings

• Replies: 10
• Views: 582
Oct 12th 2011, 09:23 AM
13. ### Finding the number of ways

• Replies: 2
• Views: 503
Oct 12th 2011, 07:16 AM
14. ### Induction problem

• Replies: 1
• Views: 407
Oct 11th 2011, 09:59 PM
15. ### Simplifying Sets using Properties

• Replies: 3
• Views: 3,905
Oct 11th 2011, 01:34 PM
16. ### [SOLVED] Prenex Normal Forms

• Replies: 5
• Views: 637
Oct 11th 2011, 01:26 PM
17. ### Two induction exercise

• Replies: 4
• Views: 475
Oct 11th 2011, 12:27 PM
18. ### List of Combinations

• Replies: 3
• Views: 552
Oct 11th 2011, 09:26 AM
19. ### Proof by Induction

• Replies: 4
• Views: 542
Oct 11th 2011, 08:22 AM
20. ### Proof for Tautologies uisng equations

• Replies: 13
• Views: 1,538
Oct 11th 2011, 03:35 AM

• Replies: 4
• Views: 820
Oct 11th 2011, 01:01 AM
22. ### intersecting relationship with set

• Replies: 7
• Views: 399
Oct 10th 2011, 01:59 PM
23. ### What is the name of this theorem proved by Euler?

• Replies: 1
• Views: 958
Oct 10th 2011, 01:31 PM
24. ### [SOLVED] Counting using inclusion/exclusion principle.

• Replies: 1
• Views: 533
Oct 10th 2011, 09:50 AM
25. ### help with simplifying boolean expression

• Replies: 1
• Views: 515
Oct 10th 2011, 06:48 AM
26. ### Help to create a question

• Replies: 1
• Views: 646
Oct 10th 2011, 04:22 AM
27. ### Graph theory: Prove min degree(G_n) >= k

• Replies: 0
• Views: 421
Oct 9th 2011, 09:26 PM
28. ### Z transform help (work included, maybe property help)

• Replies: 0
• Views: 416
Oct 9th 2011, 11:57 AM
29. ### Intuition for inclusion exclusion

• Replies: 6
• Views: 613
Oct 9th 2011, 07:28 AM
30. ### Recursive Definition

• Replies: 7
• Views: 800
Oct 9th 2011, 05:33 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.