Facebook Page
Twitter
RSS
+ Post New Thread
Page 3 of 27 FirstFirst 1234513 ... LastLast
Threads 61 to 90 of 786

Forum: Discrete Mathematics, Set Theory, and Logic

Discrete Math, Graph Theory, Combinatorics, Recurrence Relations (Difference Equations), Set Theory, General and Symbolic Logic

  1. Sticky Thread Sticky Threads

  2. Sticky Thread Difference equation tutorial: draft of part II

    Started by chisigma, April 15th, 2012 12:32
    • Replies: 2
    • Views: 3,034
    March 2nd, 2013, 05:47 Go to last post
  3. Sticky Thread Difference equation tutorial: draft of part I

    Started by chisigma, March 2nd, 2012 12:37
    • Replies: 3
    • Views: 3,247
    March 6th, 2012, 03:02 Go to last post
  4. Sticky Thread Please Read Before Posting Logic Questions

    Started by Ackbach, January 27th, 2012 23:00
    • Replies: 0
    • Views: 1,657
    January 27th, 2012, 23:00 Go to last post
  1. Normal Thread Normal Threads

  2. Pigeon Hole Theory

    Started by JProgrammer, August 24th, 2016 19:06
    blue, number, pigeon, socks, theory
    • Replies: 1
    • Views: 256
    August 24th, 2016, 19:15 Go to last post
  3. The problem {x ∣ Tx(x)=1} is undecidable

    Started by mathmari, August 19th, 2016 17:01
    $b$, construct, function, problem, undecidable
    • Replies: 5
    • Views: 294
    August 21st, 2016, 06:00 Go to last post
  4. Travelling Salesman Problem

    Started by mathmari, August 9th, 2016 15:17
    • Replies: 2
    • Views: 215
    August 20th, 2016, 05:39 Go to last post
  5. [SOLVED] The language is undecidable

    Started by mathmari, August 11th, 2016 18:04
    2 Pages
    1 2
    $h_0$, decidable, input, language, means
    • Replies: 12
    • Views: 545
    August 19th, 2016, 17:03 Go to last post
  6. Proving a Function Theorem

    Started by JProgrammer, August 17th, 2016 22:26
    function, g∘f, part, prove, proven
    • Replies: 4
    • Views: 277
    August 18th, 2016, 20:40 Go to last post
  7. F o G definition

    Started by JProgrammer, August 18th, 2016 19:57
    definition
    • Replies: 1
    • Views: 153
    August 18th, 2016, 20:33 Go to last post
  8. F^-1 definition

    Started by JProgrammer, August 17th, 2016 22:34
    definition, f^-1, sets
    • Replies: 2
    • Views: 175
    August 18th, 2016, 13:50 Go to last post
  9. The language is also regular

    Started by evinda, August 12th, 2016 18:20
    2 Pages
    1 2
    $l$, $l^r=, regular, state, w^r
    • Replies: 18
    • Views: 609
    August 17th, 2016, 14:20 Go to last post
  10. Describe the Turing machine

    Started by mathmari, August 11th, 2016 18:20
    $n$, length, machine, subword, turing
    • Replies: 1
    • Views: 165
    August 13th, 2016, 18:10 Go to last post
  11. Binary Relations

    Started by JProgrammer, August 12th, 2016 18:16
    binary, cosx, equivalence, relation, requirement
    • Replies: 3
    • Views: 194
    August 13th, 2016, 10:30 Go to last post
  12. Equivalent dfa

    Started by evinda, August 10th, 2016 16:40
    2 Pages
    1 2
    • Replies: 16
    • Views: 450
    August 12th, 2016, 17:27 Go to last post
  13. General form of the words

    Started by evinda, August 9th, 2016 14:12
    • Replies: 2
    • Views: 239
    August 10th, 2016, 06:21 Go to last post
  14. Ice Cream : NP-complete problem

    Started by mathmari, August 8th, 2016 19:26
    cream, cups, ice, kinds, problem
    • Replies: 6
    • Views: 321
    August 9th, 2016, 18:06 Go to last post
  15. Problem with graph

    Started by mathmari, August 9th, 2016 13:42
    • Replies: 2
    • Views: 175
    August 9th, 2016, 17:20 Go to last post
  16. Unbounded logical trees (2)

    Started by Line, August 1st, 2016 16:57
    logical, logically, numbers, radix, unbounded
    • Replies: 0
    • Views: 252
    August 1st, 2016, 16:57 Go to last post
  17. Unbounded logical trees (1)

    Started by Line, August 1st, 2016 16:55
    implies, logical, tree, trees, unbounded
    • Replies: 0
    • Views: 140
    August 1st, 2016, 16:55 Go to last post
  18. k-equivalence

    Started by evinda, July 29th, 2016 10:46
    2 Pages
    1 2
    • Replies: 11
    • Views: 490
    August 1st, 2016, 16:47 Go to last post
  19. Show that HSC is NP-complete

    Started by mathmari, July 30th, 2016 04:09
    cycle, graph, hsc, problem, show
    • Replies: 1
    • Views: 186
    August 1st, 2016, 10:49 Go to last post
  20. Non-deterministic 2-tape Turing Machine

    Started by mathmari, July 29th, 2016 04:33
    $1$, $2$, machine, tape, turing
    • Replies: 1
    • Views: 158
    July 30th, 2016, 06:05 Go to last post
  21. [SOLVED] Show that the languages are undecidable

    Started by mathmari, July 29th, 2016 05:09
    $hcap, $hcup, language, languages, undecidable
    • Replies: 2
    • Views: 187
    July 29th, 2016, 17:06 Go to last post
  22. Language of grammar

    Started by evinda, July 26th, 2016 13:21
    3 Pages
    1 2 3
    alpha, dots, grammar, text, theta
    • Replies: 24
    • Views: 804
    July 29th, 2016, 04:47 Go to last post
  23. Optimal TSP-Tour

    Started by mathmari, July 26th, 2016 12:07
    • Replies: 4
    • Views: 275
    July 27th, 2016, 17:55 Go to last post
  24. Venn diagram and table word problem Help!

    Started by bke0712, July 24th, 2016 11:01
    • Replies: 1
    • Views: 205
    July 24th, 2016, 20:22 Go to last post
  25. NFA without ε-moves

    Started by evinda, July 21st, 2016 15:19
    2 Pages
    1 2
    • Replies: 12
    • Views: 429
    July 24th, 2016, 17:28 Go to last post
  26. Logic: Reductio Ad Absurdem Assumption

    Started by mathewslauren, May 12th, 2016 22:55
    2 Pages
    1 2
    absurdem, assume, front, reductio, valid
    • Replies: 12
    • Views: 649
    July 19th, 2016, 06:53 Go to last post
  27. Computation - NFA

    Started by evinda, July 16th, 2016 10:35
    2 Pages
    1 2
    • Replies: 11
    • Views: 412
    July 18th, 2016, 17:30 Go to last post
  28. DFAs

    Started by evinda, July 8th, 2016 15:47
    2 Pages
    1 2
    • Replies: 10
    • Views: 375
    July 16th, 2016, 10:07 Go to last post
  29. Show equality of sets

    Started by evinda, July 9th, 2016 09:43
    cup, lor, notin, triangle, wedge
    • Replies: 3
    • Views: 264
    July 12th, 2016, 21:07 Go to last post
  30. impossible

    Started by solakis, June 22nd, 2016 07:55
    elimination, implication, material, proof, simplification
    • Replies: 5
    • Views: 415
    June 27th, 2016, 09:42 Go to last post

Thread Display Options

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.

Order threads in...

Note: when sorting by date, 'descending order' will show the newest results first.

Icon Legend

Contains unread posts
Contains unread posts
Contains no unread posts
Contains no unread posts
More than 15 replies or 150 views
Hot thread with unread posts
More than 15 replies or 150 views
Hot thread with no unread posts
Closed Thread
Thread is closed
Thread Contains a Message Written By You
You have posted in this thread

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  
Math Help Boards