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
9K
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
8K
Ackbach
Ackbach
L
Graph: showing that diameter is greater than average pairwise distance
Replies
4
Views
1K
lemonthree
L
M
Logic Proof With Rules of Replacement
Replies
1
Views
101
Evgeny.Makarov
E
C
Transition from Upper Bound definition for Sets to Sequences using Logical transitions & Set-Builder notation
Replies
2
Views
900
CGandC
C
L
Prove the minimum and maximum edges in a graph
Replies
6
Views
271
lemonthree
L
L
4 rod Tower of Hanoi proof
Replies
0
Views
221
lemonthree
L
P
Set proof
Replies
5
Views
172
Klaas van Aarsen
Klaas van Aarsen
S
Iterations
Replies
3
Views
110
Country Boy
C
V
multiply indexed matrices
Replies
3
Views
443
Country Boy
C
L
KE Deduction
Replies
4
Views
1K
solakis
S
evinda
Why do we get like that the message?
Replies
2
Views
130
evinda
evinda
evinda
How do we choose the edges?
Replies
2
Views
152
evinda
evinda
J
Find Proofs for the following 5 propositional logic statements
Replies
2
Views
947
solakis
S
evinda
Find total number of republications
Replies
22
Views
378
evinda
evinda
H
Predicate logic
Replies
8
Views
200
solakis
S
E
Rules of inference
Replies
3
Views
559
solakis
S
mathmari
Logical negation of statements
Replies
6
Views
187
solakis
S
mathmari
Prove that the statement is always true using the rules of boolean algebra
Replies
9
Views
252
solakis
S
mathmari
Show that the set is inductive
Replies
10
Views
238
Klaas van Aarsen
Klaas van Aarsen
evinda
Fractional knapsack
Replies
1
Views
314
Evgeny.Makarov
E
evinda
Master Theorem-Relation of the two functions
Replies
2
Views
133
evinda
evinda
mathmari
De Morgan Rules - Logical statements
Replies
11
Views
278
mathmari
mathmari
mathmari
Draw a NAND-gate to get that output
Replies
16
Views
348
mathmari
mathmari
L
Relation composition
Replies
7
Views
274
Evgeny.Makarov
E
mathmari
Translate the statements into set inclusion
Replies
5
Views
204
Klaas van Aarsen
Klaas van Aarsen
L
Defining reflexive relations
Replies
3
Views
238
Country Boy
C
L
The cardinality of the set that is the intersection of all inductive sets.
Replies
0
Views
101
Line
L
L
Counting the elements in sets
Replies
5
Views
276
Opalg
Opalg
L
summation and product notation rules
Replies
1
Views
276
topsquark
topsquark
M
2.11.2: Compute change.
Replies
1
Views
1K
moodtl32
M
L
Predicate properties
Replies
1
Views
246
Evgeny.Makarov
E
H
Question
Replies
2
Views
271
skeeter
skeeter
Furthark
Attempting to add logic mathematics to a college paper - need your input
Replies
2
Views
873
Furthark
Furthark
C
Pigeonhole Principle Problem
Replies
2
Views
286
Carl
C
F
Proof by induction? No Idea what I should do :(
Replies
4
Views
264
Opalg
Opalg
A
Question about Successor Function
Replies
2
Views
442
Evgeny.Makarov
E
E
proofs with real numbers
Replies
9
Views
534
Country Boy
C
M
Binomial problem.
Replies
4
Views
368
Country Boy
C
Peter
ZFC and the Axiom of Power Sets ...
Replies
2
Views
336
Peter
Peter
Dhamnekar Winod
[SOLVED] Sequences and series
Replies
3
Views
238
MarkFL
M
C
Discrete math can you solve immediately
Replies
0
Views
259
ceasertr
C
evinda
Construct grammar and find its type
2
Replies
26
Views
742
Klaas van Aarsen
Klaas van Aarsen
Julio
Bipartite graphs
Replies
1
Views
622
caffeinemachine
caffeinemachine
G
Euler's totient function
Replies
1
Views
323
GJA
G
mathmari
Optimal time for scheduling the tasks
Replies
1
Views
210
Klaas van Aarsen
Klaas van Aarsen
mathmari
Total weight of Huffman Code
Replies
1
Views
203
Klaas van Aarsen
Klaas van Aarsen
A
Help with a simple deduction
Replies
0
Views
182
agapito
A
evinda
Find the general formula of the recurrence relation
Replies
13
Views
355
evinda
evinda
evinda
Construct circuit that implements truth table
2
Replies
45
Views
1K
evinda
evinda
evinda
Truth tables
Replies
2
Views
255
evinda
evinda
evinda
Find truth value of propositions
Replies
17
Views
389
evinda
evinda
A
Godelian self-reference
Replies
0
Views
307
agapito
A
D
Symbolic logic
Replies
1
Views
520
HallsofIvy
H
P
Please help with bool algebra and logic things!
Replies
2
Views
603
Evgeny.Makarov
E
F
Introduction to Set Theory Stream
Replies
1
Views
425
Klaas van Aarsen
Klaas van Aarsen
J
Probability of Having a Totally Dominating Set (Probabilistic Methods)
Replies
1
Views
716
joypav
J
J
Minimum Degree of a Random Graph (Probabilistic Method)
Replies
1
Views
513
joypav
J
J
Turans Theorem (Dual?)
Replies
1
Views
469
joypav
J
mathmari
[SOLVED] Give a set and a relation that satisfies the properties
Replies
10
Views
911
mathmari
mathmari
mathmari
Hilbert's hotel and busses : Injectivity - Surjectivity
Replies
7
Views
876
Klaas van Aarsen
Klaas van Aarsen
mathmari
Show that ~ is an equivalence relation
Replies
2
Views
505
Evgeny.Makarov
E
mathmari
[SOLVED] Intesection of intervals
Replies
8
Views
626
mathmari
mathmari
P
Trouble with understanding section of FOL completeness proof
Replies
1
Views
406
Evgeny.Makarov
E
P
First-order logic formula satisfiable only if the domain of the valuation is infinite?
Replies
2
Views
462
pooj4
P
mathmari
Statements about the set 2^M
Replies
5
Views
570
topsquark
topsquark
mathmari
[SOLVED] Sets so that the cartesian product is commutative
Replies
2
Views
463
mathmari
mathmari
P
Proving in first order logic for some arbitrary valuations of sigma in Machover's text
Replies
1
Views
461
Evgeny.Makarov
E
mathmari
[SOLVED] Induction: Each square can be covered by L-stones
Replies
5
Views
536
mathmari
mathmari
Z
Help proving prime and permutation
Replies
1
Views
393
Klaas van Aarsen
Klaas van Aarsen
J
A Subset of a Graph with No Perfect Matching
Replies
1
Views
509
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
576
HallsofIvy
H
G
sequence - inhomogeneous recursion
Replies
2
Views
571
goohu
G
mathmari
Prime implicants and disjunctive minimal form
Replies
6
Views
736
Klaas van Aarsen
Klaas van Aarsen
C
Topology Munkres Chapter 1 exercise 2 e- Set theory
Replies
3
Views
721
Evgeny.Makarov
E
C
Topology Munkres Chapter 1 exercise 2 b and c- Set theory equivalent statements
Replies
1
Views
581
Euge
Euge
S
How to prove the equality?
Replies
1
Views
615
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
465
Line
L
Y
Cartesian Product - Proof
Replies
5
Views
2K
Olinguito
Olinguito
mathmari
Are the questions decidable?
Replies
1
Views
936
Evgeny.Makarov
E
Y
Operations on sets
Replies
2
Views
653
HallsofIvy
H
mathmari
Are the instances of PCP solvable?
Replies
0
Views
535
mathmari
mathmari
mathmari
Linear Codes : Error detection
Replies
0
Views
468
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
608
Evgeny.Makarov
E
S
Discrete maths problem - tracing an algorithm
Replies
3
Views
730
Ackbach
Ackbach
mathmari
[SOLVED] Karnaugh Diagram
Replies
22
Views
2K
mathmari
mathmari
mathmari
Quine-McCluskey method: Prime implicants - disjunctive minimal forms
Replies
3
Views
618
Klaas van Aarsen
Klaas van Aarsen
D
Stuck on Derivation (Natural Deduction)
Replies
1
Views
542
Evgeny.Makarov
E
K
Intro to Logic (prove sequents)
Replies
1
Views
577
Evgeny.Makarov
E
mathmari
Two-element Boolean algebra: How are the equalities derived?
Replies
13
Views
2K
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
3K
Evgeny.Makarov
E
D
Mathematical Induction
Replies
1
Views
1K
Olinguito
Olinguito
M
prove primitive recursive
Replies
6
Views
2K
Evgeny.Makarov
E
G
Set Identity Proof
Replies
1
Views
708
Evgeny.Makarov
E
C
Equivalence Class
Replies
1
Views
758
GJA
G
C
[SOLVED] Set Theory
Replies
1
Views
722
Olinguito
Olinguito
A
Basic arithmetic proof
Replies
1
Views
722
Evgeny.Makarov
E
H
set / class
Replies
1
Views
570
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
652
vs140580
V
L
Truth Table Precedence
Replies
5
Views
990
Evgeny.Makarov
E
You must log in or register to post here.