Facebook Page
Twitter
RSS
+ Post New Thread
Page 2 of 26 FirstFirst 123412 ... LastLast
Threads 31 to 60 of 766

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: 2,928
    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,112
    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,607
    January 27th, 2012, 23:00 Go to last post
  1. Normal Thread Normal Threads

  2. Logical Implication

    Started by Yankel, September 24th, 2016 05:36
    beta, left, models, rightarrow, [alpha
    • Replies: 5
    • Views: 218
    September 27th, 2016, 15:32 Go to last post
  3. predicate calculus

    Started by solakis, September 19th, 2016 11:15
    calculus, paradox, predicate, russells, shave
    • Replies: 7
    • Views: 272
    September 23rd, 2016, 13:47 Go to last post
  4. Language is not recursive

    Started by evinda, August 27th, 2016 05:27
    2 Pages
    1 2
    • Replies: 14
    • Views: 593
    September 19th, 2016, 13:19 Go to last post
  5. Tournament Scheduling

    Started by student, September 7th, 2016 02:02
    combinatorics, ideas, kind, scheduling, tournament
    • Replies: 1
    • Views: 129
    September 8th, 2016, 13:57 Go to last post
  6. 7 nodes

    Started by jmprada, September 6th, 2016 06:33
    communicate, phone, share, solutions, students
    • Replies: 2
    • Views: 208
    September 6th, 2016, 11:44 Go to last post
  7. Difference of two types of recursive functions

    Started by evinda, August 27th, 2016 11:29
    2 Pages
    1 2
    defined, function, partially, recursive, totally
    • Replies: 10
    • Views: 494
    August 31st, 2016, 16:54 Go to last post
  8. Proving Functions

    Started by JProgrammer, August 21st, 2016 20:47
    function, functions, prove, proving, x^2
    • Replies: 7
    • Views: 307
    August 26th, 2016, 14:02 Go to last post
  9. Proving Countable Infinity

    Started by JProgrammer, August 24th, 2016 18:58
    countably, infinite, number, odd, prove
    • Replies: 4
    • Views: 247
    August 25th, 2016, 10:53 Go to last post
  10. Graph Labelng

    Started by student, August 25th, 2016 04:51
    appreciated, cordial, graphs, labeling, thesis
    • Replies: 0
    • Views: 129
    August 25th, 2016, 04:51 Go to last post
  11. Pigeon Hole Theory

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

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

    Started by mathmari, August 9th, 2016 15:17
    • Replies: 2
    • Views: 166
    August 20th, 2016, 05:39 Go to last post
  14. [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: 434
    August 19th, 2016, 17:03 Go to last post
  15. Proving a Function Theorem

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

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

    Started by JProgrammer, August 17th, 2016 22:34
    definition, f^-1, sets
    • Replies: 2
    • Views: 147
    August 18th, 2016, 13:50 Go to last post
  18. 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: 482
    August 17th, 2016, 14:20 Go to last post
  19. Describe the Turing machine

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

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

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

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

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

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

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

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

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

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

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

    Started by mathmari, July 29th, 2016 05:09
    $hcap, $hcup, language, languages, undecidable
    • Replies: 2
    • Views: 160
    July 29th, 2016, 17:06 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