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
Counting the elements in sets
Replies
5
Views
70
Opalg
Opalg
L
summation and product notation rules
Replies
1
Views
182
topsquark
topsquark
M
2.11.2: Compute change.
Replies
1
Views
305
moodtl32
M
L
Predicate properties
Replies
1
Views
159
Evgeny.Makarov
E
H
Question
Replies
2
Views
169
skeeter
skeeter
Furthark
Attempting to add logic mathematics to a college paper - need your input
Replies
2
Views
765
Furthark
Furthark
C
Pigeonhole Principle Problem
Replies
2
Views
190
Carl
C
F
Proof by induction? No Idea what I should do :(
Replies
4
Views
176
Opalg
Opalg
A
Question about Successor Function
Replies
2
Views
328
Evgeny.Makarov
E
E
proofs with real numbers
Replies
9
Views
407
Country Boy
C
M
Binomial problem.
Replies
4
Views
234
Country Boy
C
Peter
ZFC and the Axiom of Power Sets ...
Replies
2
Views
238
Peter
Peter
Dhamnekar Winod
[SOLVED] Sequences and series
Replies
3
Views
160
MarkFL
M
C
Discrete math can you solve immediately
Replies
0
Views
166
ceasertr
C
evinda
Construct grammar and find its type
2
Replies
26
Views
508
Klaas van Aarsen
Klaas van Aarsen
Julio
Bipartite graphs
Replies
1
Views
515
caffeinemachine
caffeinemachine
G
Euler's totient function
Replies
1
Views
237
GJA
G
mathmari
Optimal time for scheduling the tasks
Replies
1
Views
127
Klaas van Aarsen
Klaas van Aarsen
mathmari
Total weight of Huffman Code
Replies
1
Views
122
Klaas van Aarsen
Klaas van Aarsen
A
Help with a simple deduction
Replies
0
Views
115
agapito
A
evinda
Find the general formula of the recurrence relation
Replies
13
Views
268
evinda
evinda
evinda
Construct circuit that implements truth table
2
Replies
45
Views
732
evinda
evinda
evinda
Truth tables
Replies
2
Views
158
evinda
evinda
evinda
Find truth value of propositions
Replies
17
Views
233
evinda
evinda
A
Godelian self-reference
Replies
0
Views
221
agapito
A
E
Rules of inference
Replies
2
Views
426
Alan
A
D
Symbolic logic
Replies
1
Views
420
HallsofIvy
H
P
Please help with bool algebra and logic things!
Replies
2
Views
489
Evgeny.Makarov
E
F
Introduction to Set Theory Stream
Replies
1
Views
321
Klaas van Aarsen
Klaas van Aarsen
J
Probability of Having a Totally Dominating Set (Probabilistic Methods)
Replies
1
Views
593
joypav
J
J
Minimum Degree of a Random Graph (Probabilistic Method)
Replies
1
Views
425
joypav
J
J
Turans Theorem (Dual?)
Replies
1
Views
354
joypav
J
mathmari
[SOLVED] Give a set and a relation that satisfies the properties
Replies
10
Views
764
mathmari
mathmari
mathmari
Hilbert's hotel and busses : Injectivity - Surjectivity
Replies
7
Views
736
Klaas van Aarsen
Klaas van Aarsen
J
Find Proofs for the following 5 propositional logic statements
Replies
1
Views
650
HallsofIvy
H
mathmari
Show that ~ is an equivalence relation
Replies
2
Views
407
Evgeny.Makarov
E
mathmari
[SOLVED] Intesection of intervals
Replies
8
Views
511
mathmari
mathmari
P
Trouble with understanding section of FOL completeness proof
Replies
1
Views
323
Evgeny.Makarov
E
P
First-order logic formula satisfiable only if the domain of the valuation is infinite?
Replies
2
Views
388
pooj4
P
mathmari
Statements about the set 2^M
Replies
5
Views
457
topsquark
topsquark
mathmari
[SOLVED] Sets so that the cartesian product is commutative
Replies
2
Views
365
mathmari
mathmari
P
Proving in first order logic for some arbitrary valuations of sigma in Machover's text
Replies
1
Views
370
Evgeny.Makarov
E
mathmari
[SOLVED] Induction: Each square can be covered by L-stones
Replies
5
Views
422
mathmari
mathmari
Z
Help proving prime and permutation
Replies
1
Views
306
Klaas van Aarsen
Klaas van Aarsen
J
A Subset of a Graph with No Perfect Matching
Replies
1
Views
415
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
479
HallsofIvy
H
G
sequence - inhomogeneous recursion
Replies
2
Views
445
goohu
G
mathmari
Prime implicants and disjunctive minimal form
Replies
6
Views
632
Klaas van Aarsen
Klaas van Aarsen
C
Topology Munkres Chapter 1 exercise 2 e- Set theory
Replies
3
Views
608
Evgeny.Makarov
E
C
Topology Munkres Chapter 1 exercise 2 b and c- Set theory equivalent statements
Replies
1
Views
484
Euge
Euge
S
How to prove the equality?
Replies
1
Views
509
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
362
Line
L
Y
Cartesian Product - Proof
Replies
5
Views
2K
Olinguito
Olinguito
mathmari
Are the questions decidable?
Replies
1
Views
833
Evgeny.Makarov
E
Y
Operations on sets
Replies
2
Views
557
HallsofIvy
H
mathmari
Are the instances of PCP solvable?
Replies
0
Views
426
mathmari
mathmari
mathmari
Linear Codes : Error detection
Replies
0
Views
387
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
517
Evgeny.Makarov
E
S
Discrete maths problem - tracing an algorithm
Replies
3
Views
591
Ackbach
Ackbach
mathmari
[SOLVED] Karnaugh Diagram
Replies
22
Views
2K
mathmari
mathmari
mathmari
Quine-McCluskey method: Prime implicants - disjunctive minimal forms
Replies
3
Views
506
Klaas van Aarsen
Klaas van Aarsen
D
Stuck on Derivation (Natural Deduction)
Replies
1
Views
426
Evgeny.Makarov
E
K
Intro to Logic (prove sequents)
Replies
1
Views
475
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
998
Olinguito
Olinguito
M
prove primitive recursive
Replies
6
Views
2K
Evgeny.Makarov
E
G
Set Identity Proof
Replies
1
Views
602
Evgeny.Makarov
E
C
Equivalence Class
Replies
1
Views
634
GJA
G
C
[SOLVED] Set Theory
Replies
1
Views
617
Olinguito
Olinguito
A
Basic arithmetic proof
Replies
1
Views
596
Evgeny.Makarov
E
L
KE Deduction
Replies
3
Views
865
Evgeny.Makarov
E
H
set / class
Replies
1
Views
478
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
559
vs140580
V
L
Truth Table Precedence
Replies
5
Views
878
Evgeny.Makarov
E
J
Resolution method and counterexample
Replies
0
Views
2K
joonteee
J
Q
Symmetrical group
Replies
1
Views
594
Olinguito
Olinguito
Q
Divisibility Problem
Replies
3
Views
840
Evgeny.Makarov
E
F
Transfinite induction
Replies
1
Views
536
Country Boy
C
S
proper sub set
Replies
1
Views
559
joypav
J
H
Discrete Mathematics - Define a relation R on S of at least four order pairs
Replies
1
Views
568
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
1K
Evgeny.Makarov
E
C
Find a recursive formula for the number of combinations
Replies
3
Views
823
Opalg
Opalg
S
Q: Let S = {x, y, z } and R is a relation defined on S such that?
Replies
0
Views
689
sMilips
S
C
Recursive definition and induction
Replies
0
Views
1K
CStudent
C
C
Some fundamental question in combinatorics
Replies
6
Views
816
CStudent
C
C
Stars and bars selection
Replies
7
Views
747
Klaas van Aarsen
Klaas van Aarsen
C
Count the arrangements
Replies
1
Views
485
Evgeny.Makarov
E
T
Proof by induction - Really confused
Replies
4
Views
713
Tvtakaveli
T
L
Equivalence Relations Problem! Please help?
Replies
1
Views
502
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
974
MaryAnn
M
M
Set Equivalence Problem
Replies
9
Views
1K
Evgeny.Makarov
E
S
Functions and relations
Replies
1
Views
553
Evgeny.Makarov
E
ranga519
Functions problem
Replies
1
Views
775
Country Boy
C
mathmari
Description of sets
Replies
5
Views
852
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
You must log in or register to post here.