Welcome to our community

Be a part of something great, join today!

Register Log in

Discrete Mathematics, Set Theory, and Logic

Discrete Math, Graph Theory, Combinatorics, Recurrence Relations (Difference Equations), Set Theory, General and Symbolic Logic
chisigma
  • Sticky
Difference equation tutorial: draft of part II
Replies
2
Views
8K
chisigma
chisigma
chisigma
  • Sticky
Difference equation tutorial: draft of part I
Replies
3
Views
9K
chisigma
chisigma
Ackbach
  • Locked
  • Sticky
Please Read Before Posting Logic Questions
Replies
0
Views
7K
Ackbach
Ackbach
evinda
Construct circuit that implements truth table
2
Replies
44
Views
285
Klaas van Aarsen
Klaas van Aarsen
A
Question about Successor Function
Replies
0
Views
31
agapito
A
M
Binomial problem.
Replies
3
Views
58
Jameson
Jameson
evinda
Truth tables
Replies
2
Views
68
evinda
evinda
evinda
Find truth value of propositions
Replies
17
Views
85
evinda
evinda
A
Godelian self-reference
Replies
0
Views
105
agapito
A
E
Rules of inference
Replies
2
Views
270
Alan
A
E
proofs with real numbers
Replies
8
Views
147
HallsofIvy
H
D
Symbolic logic
Replies
1
Views
261
HallsofIvy
H
P
Please help with bool algebra and logic things!
Replies
2
Views
376
Evgeny.Makarov
E
F
Introduction to Set Theory Stream
Replies
1
Views
218
Klaas van Aarsen
Klaas van Aarsen
J
Probability of Having a Totally Dominating Set (Probabilistic Methods)
Replies
1
Views
494
joypav
J
J
Minimum Degree of a Random Graph (Probabilistic Method)
Replies
1
Views
335
joypav
J
J
Turans Theorem (Dual?)
Replies
1
Views
255
joypav
J
mathmari
[SOLVED] Give a set and a relation that satisfies the properties
Replies
10
Views
627
mathmari
mathmari
mathmari
Hilbert's hotel and busses : Injectivity - Surjectivity
Replies
7
Views
604
Klaas van Aarsen
Klaas van Aarsen
J
Find Proofs for the following 5 propositional logic statements
Replies
1
Views
508
HallsofIvy
H
Julio
Bipartite graphs
Replies
0
Views
316
Julio
Julio
mathmari
Show that ~ is an equivalence relation
Replies
2
Views
309
Evgeny.Makarov
E
mathmari
[SOLVED] Intesection of intervals
Replies
8
Views
365
mathmari
mathmari
P
Trouble with understanding section of FOL completeness proof
Replies
1
Views
230
Evgeny.Makarov
E
P
First-order logic formula satisfiable only if the domain of the valuation is infinite?
Replies
2
Views
274
pooj4
P
mathmari
Statements about the set 2^M
Replies
5
Views
364
topsquark
topsquark
mathmari
[SOLVED] Sets so that the cartesian product is commutative
Replies
2
Views
263
mathmari
mathmari
P
Proving in first order logic for some arbitrary valuations of sigma in Machover's text
Replies
1
Views
273
Evgeny.Makarov
E
mathmari
[SOLVED] Induction: Each square can be covered by L-stones
Replies
5
Views
295
mathmari
mathmari
Z
Help proving prime and permutation
Replies
1
Views
190
Klaas van Aarsen
Klaas van Aarsen
J
A Subset of a Graph with No Perfect Matching
Replies
1
Views
299
joypav
J
V
first state whether it can be solved using the Master Theorem, and if it can then use that. Otherwis
Replies
1
Views
363
HallsofIvy
H
G
sequence - inhomogeneous recursion
Replies
2
Views
333
goohu
G
mathmari
Prime implicants and disjunctive minimal form
Replies
6
Views
510
Klaas van Aarsen
Klaas van Aarsen
C
Topology Munkres Chapter 1 exercise 2 e- Set theory
Replies
3
Views
487
Evgeny.Makarov
E
C
Topology Munkres Chapter 1 exercise 2 b and c- Set theory equivalent statements
Replies
1
Views
387
Euge
Euge
S
How to prove the equality?
Replies
1
Views
413
Cbarker1
C
L
Do Gödel numbers can be used to derermine the usefulness of an infinite set as a complete whole?
Replies
0
Views
240
Line
L
Y
Cartesian Product - Proof
Replies
5
Views
2K
Olinguito
Olinguito
mathmari
Are the questions decidable?
Replies
1
Views
716
Evgeny.Makarov
E
Y
Operations on sets
Replies
2
Views
441
HallsofIvy
H
mathmari
Are the instances of PCP solvable?
Replies
0
Views
309
mathmari
mathmari
mathmari
Linear Codes : Error detection
Replies
0
Views
297
mathmari
mathmari
H
Number of ways to divide a square grid in half
Replies
3
Views
1K
Opalg
Opalg
A
Help with proof of equivalence
Replies
1
Views
430
Evgeny.Makarov
E
S
Discrete maths problem - tracing an algorithm
Replies
3
Views
445
Ackbach
Ackbach
mathmari
[SOLVED] Karnaugh Diagram
Replies
22
Views
2K
mathmari
mathmari
mathmari
Quine-McCluskey method: Prime implicants - disjunctive minimal forms
Replies
3
Views
403
Klaas van Aarsen
Klaas van Aarsen
D
Stuck on Derivation (Natural Deduction)
Replies
1
Views
341
Evgeny.Makarov
E
K
Intro to Logic (prove sequents)
Replies
1
Views
375
Evgeny.Makarov
E
mathmari
Two-element Boolean algebra: How are the equalities derived?
Replies
13
Views
1K
Klaas van Aarsen
Klaas van Aarsen
E
isomorphism of logic, arithmetic, and set theory
Replies
2
Views
1K
Eric
E
J
Predicate Logic: Semantics and Validity
Replies
1
Views
2K
Evgeny.Makarov
E
D
Mathematical Induction
Replies
1
Views
892
Olinguito
Olinguito
M
prove primitive recursive
Replies
6
Views
2K
Evgeny.Makarov
E
G
Set Identity Proof
Replies
1
Views
508
Evgeny.Makarov
E
C
Equivalence Class
Replies
1
Views
519
GJA
G
C
[SOLVED] Set Theory
Replies
1
Views
518
Olinguito
Olinguito
A
Basic arithmetic proof
Replies
1
Views
469
Evgeny.Makarov
E
L
KE Deduction
Replies
3
Views
761
Evgeny.Makarov
E
H
set / class
Replies
1
Views
389
castor28
castor28
V
Can a given basis of a vector space (V,O_1,O_2) can it represent two different graphs
Replies
2
Views
452
vs140580
V
L
Truth Table Precedence
Replies
5
Views
776
Evgeny.Makarov
E
J
Resolution method and counterexample
Replies
0
Views
2K
joonteee
J
Q
Symmetrical group
Replies
1
Views
504
Olinguito
Olinguito
Q
Divisibility Problem
Replies
3
Views
715
Evgeny.Makarov
E
F
Transfinite induction
Replies
1
Views
438
Country Boy
C
S
proper sub set
Replies
1
Views
464
joypav
J
H
Discrete Mathematics - Define a relation R on S of at least four order pairs
Replies
1
Views
434
Olinguito
Olinguito
S
Q: Let S = {1,2,5,6 } Define a relation R on S of at least four order pairs, as (a,b)  R iff a*b is
Replies
3
Views
915
Evgeny.Makarov
E
C
Find a recursive formula for the number of combinations
Replies
3
Views
688
Opalg
Opalg
S
Q: Let S = {x, y, z } and R is a relation defined on S such that?
Replies
0
Views
597
sMilips
S
C
Recursive definition and induction
Replies
0
Views
1K
CStudent
C
C
Some fundamental question in combinatorics
Replies
6
Views
712
CStudent
C
C
Stars and bars selection
Replies
7
Views
642
Klaas van Aarsen
Klaas van Aarsen
C
Count the arrangements
Replies
1
Views
362
Evgeny.Makarov
E
T
Proof by induction - Really confused
Replies
4
Views
627
Tvtakaveli
T
L
Equivalence Relations Problem! Please help?
Replies
1
Views
394
Evgeny.Makarov
E
T
Predicates and Quanitifiers - Can't understand Question
Replies
3
Views
1K
Evgeny.Makarov
E
M
Inequality of Cardinality of Sets
Replies
4
Views
818
MaryAnn
M
M
Set Equivalence Problem
Replies
9
Views
930
Evgeny.Makarov
E
S
Functions and relations
Replies
1
Views
471
Evgeny.Makarov
E
ranga519
Functions problem
Replies
1
Views
683
Country Boy
C
mathmari
Description of sets
Replies
5
Views
713
Klaas van Aarsen
Klaas van Aarsen
mathmari
Countable sets
Replies
11
Views
1K
Country Boy
C
mathmari
Circle : squares - fuel
Replies
20
Views
2K
Klaas van Aarsen
Klaas van Aarsen
mathmari
Handshake Problem - Machines
Replies
5
Views
558
Wilmer
W
S
Converse, Contrapositive and Negation for multiple Quantifiers
Replies
1
Views
603
castor28
castor28
Peter
Ordinals ... Searcoid, Theorem 1.4.6 ...
Replies
0
Views
464
Peter
Peter
Peter
Ordinals ... Searcoid, Corollary 1.4.5 ... ...
Replies
0
Views
463
Peter
Peter
Peter
Proper Subsets of Ordinals ... ... Another Question ... ... Searcoid, Theorem 1.4.4 ... ...
Replies
2
Views
426
Peter
Peter
U
Compound Proposition Simplification
Replies
4
Views
1K
steenis
S
Peter
Proper Subsets of Ordinals ... ... Searcoid, Theorem 1.4.4 ... ...
Replies
0
Views
313
Peter
Peter
Peter
Well Orders and Total Orders ... Searcoid Definition 1.3.10 ...
Replies
5
Views
859
Peter
Peter
Peter
Properties of the Ordinals ...
Replies
1
Views
405
Peter
Peter
Peter
The Recursion Theorem ... Searcoid, Theroem 1.3.24 ... ...
Replies
1
Views
499
Peter
Peter
mathmari
[SOLVED] Convert the recursive formula into the explicit form
Replies
16
Views
2K
mathmari
mathmari
C
Math induction with sigma notation
Replies
5
Views
666
Country Boy
C
A
Help with logic proof
Replies
1
Views
417
Country Boy
C
mathmari
[SOLVED] Number of rearrangements of letters
Replies
6
Views
735
mathmari
mathmari
A
Negation of nested quantifiers
Replies
4
Views
817
agapito
A
mathmari
[SOLVED] Number of edges of the graph
Replies
4
Views
594
mathmari
mathmari
evinda
Number of spanning trees
Replies
11
Views
1K
evinda
evinda
You must log in or register to post here.