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
mathmari
How do we distribute the elements into schedules?
Replies
8
Views
361
mathmari
mathmari
L
Combinatorics: Seats in a parliament
Replies
0
Views
45
Lancelot
L
L
Combinatorics: Ordering a deck of cards
Replies
0
Views
37
Lancelot
L
mathmari
Transactions & schedules - Dependency relations
Replies
1
Views
97
mathmari
mathmari
B
proof of a set union and intersection
Replies
1
Views
88
Evgeny.Makarov
E
mathmari
Static or dynamic integrity constraints
Replies
6
Views
134
mathmari
mathmari
mathmari
Creating tables - integrity constraints
Replies
5
Views
124
Klaas van Aarsen
Klaas van Aarsen
mathmari
QBE-queries
Replies
9
Views
209
Klaas van Aarsen
Klaas van Aarsen
mathmari
Primary and foreign keys
Replies
7
Views
163
Klaas van Aarsen
Klaas van Aarsen
mathmari
SQL commands
2 3
Replies
67
Views
968
Klaas van Aarsen
Klaas van Aarsen
L
Combinatorical Identity
Replies
2
Views
111
Lancelot
L
mathmari
Creating and deleting tables
Replies
8
Views
139
Klaas van Aarsen
Klaas van Aarsen
S
Find the smallest positive integer N
Replies
3
Views
172
topsquark
topsquark
mathmari
Relations between sets
2 3
Replies
62
Views
809
Klaas van Aarsen
Klaas van Aarsen
mathmari
Upper and lower bounds for the cardinalities
Replies
17
Views
290
mathmari
mathmari
mathmari
Relation Algebra - Relational Calculus
Replies
6
Views
154
mathmari
mathmari
M
Combination/probability question (High School level)
Replies
6
Views
366
Country Boy
C
S
Working with decidable predicates
Replies
1
Views
278
Evgeny.Makarov
E
L
Propositional Logic Problem
Replies
2
Views
297
Evgeny.Makarov
E
evinda
Carry-skip
Replies
3
Views
246
Klaas van Aarsen
Klaas van Aarsen
evinda
Conversion to other basis
Replies
9
Views
312
evinda
evinda
N
lattices
Replies
0
Views
727
namya
N
P
Coefficent in a infinite power series
Replies
1
Views
210
Country Boy
C
S
Proofs
Replies
2
Views
447
Country Boy
C
C
Transition from Upper Bound definition for Sets to Sequences using Logical transitions & Set-Builder notation
Replies
3
Views
3K
solakis
S
L
Graph: showing that diameter is greater than average pairwise distance
Replies
4
Views
2K
lemonthree
L
M
Logic Proof With Rules of Replacement
Replies
1
Views
388
Evgeny.Makarov
E
L
Prove the minimum and maximum edges in a graph
Replies
6
Views
475
lemonthree
L
L
4 rod Tower of Hanoi proof
Replies
0
Views
370
lemonthree
L
P
Set proof
Replies
5
Views
394
Klaas van Aarsen
Klaas van Aarsen
S
Iterations
Replies
3
Views
269
Country Boy
C
V
multiply indexed matrices
Replies
3
Views
619
Country Boy
C
L
KE Deduction
Replies
4
Views
1K
solakis
S
evinda
Why do we get like that the message?
Replies
2
Views
292
evinda
evinda
evinda
How do we choose the edges?
Replies
2
Views
321
evinda
evinda
J
Find Proofs for the following 5 propositional logic statements
Replies
2
Views
1K
solakis
S
evinda
Find total number of republications
Replies
22
Views
595
evinda
evinda
H
Predicate logic
Replies
8
Views
390
solakis
S
E
Rules of inference
Replies
3
Views
737
solakis
S
mathmari
Logical negation of statements
Replies
6
Views
356
solakis
S
mathmari
Prove that the statement is always true using the rules of boolean algebra
Replies
9
Views
452
solakis
S
mathmari
Show that the set is inductive
Replies
10
Views
446
Klaas van Aarsen
Klaas van Aarsen
evinda
Fractional knapsack
Replies
1
Views
466
Evgeny.Makarov
E
evinda
Master Theorem-Relation of the two functions
Replies
2
Views
315
evinda
evinda
mathmari
De Morgan Rules - Logical statements
Replies
11
Views
413
mathmari
mathmari
mathmari
Draw a NAND-gate to get that output
Replies
16
Views
518
mathmari
mathmari
L
Relation composition
Replies
7
Views
587
Evgeny.Makarov
E
mathmari
Translate the statements into set inclusion
Replies
5
Views
394
Klaas van Aarsen
Klaas van Aarsen
L
Defining reflexive relations
Replies
3
Views
463
Country Boy
C
L
The cardinality of the set that is the intersection of all inductive sets.
Replies
0
Views
239
Line
L
L
Counting the elements in sets
Replies
5
Views
458
Opalg
Opalg
L
summation and product notation rules
Replies
1
Views
432
topsquark
topsquark
M
2.11.2: Compute change.
Replies
1
Views
3K
moodtl32
M
L
Predicate properties
Replies
1
Views
397
Evgeny.Makarov
E
H
Question
Replies
2
Views
486
skeeter
skeeter
Furthark
Attempting to add logic mathematics to a college paper - need your input
Replies
2
Views
1K
Furthark
Furthark
C
Pigeonhole Principle Problem
Replies
2
Views
467
Carl
C
F
Proof by induction? No Idea what I should do :(
Replies
4
Views
420
Opalg
Opalg
A
Question about Successor Function
Replies
2
Views
659
Evgeny.Makarov
E
E
proofs with real numbers
Replies
9
Views
728
Country Boy
C
M
Binomial problem.
Replies
4
Views
574
Country Boy
C
Peter
ZFC and the Axiom of Power Sets ...
Replies
2
Views
528
Peter
Peter
Dhamnekar Winod
[SOLVED] Sequences and series
Replies
3
Views
397
MarkFL
M
C
Discrete math can you solve immediately
Replies
0
Views
407
ceasertr
C
evinda
Construct grammar and find its type
2
Replies
26
Views
1K
Klaas van Aarsen
Klaas van Aarsen
Julio
Bipartite graphs
Replies
1
Views
790
caffeinemachine
caffeinemachine
G
Euler's totient function
Replies
1
Views
451
GJA
G
mathmari
Optimal time for scheduling the tasks
Replies
1
Views
342
Klaas van Aarsen
Klaas van Aarsen
mathmari
Total weight of Huffman Code
Replies
1
Views
369
Klaas van Aarsen
Klaas van Aarsen
A
Help with a simple deduction
Replies
0
Views
307
agapito
A
evinda
Find the general formula of the recurrence relation
Replies
13
Views
512
evinda
evinda
evinda
Construct circuit that implements truth table
2
Replies
45
Views
2K
evinda
evinda
evinda
Truth tables
Replies
2
Views
462
evinda
evinda
evinda
Find truth value of propositions
Replies
17
Views
567
evinda
evinda
A
Godelian self-reference
Replies
0
Views
459
agapito
A
D
Symbolic logic
Replies
1
Views
724
HallsofIvy
H
P
Please help with bool algebra and logic things!
Replies
2
Views
816
Evgeny.Makarov
E
F
Introduction to Set Theory Stream
Replies
1
Views
615
Klaas van Aarsen
Klaas van Aarsen
J
Probability of Having a Totally Dominating Set (Probabilistic Methods)
Replies
1
Views
910
joypav
J
J
Minimum Degree of a Random Graph (Probabilistic Method)
Replies
1
Views
667
joypav
J
J
Turans Theorem (Dual?)
Replies
1
Views
695
joypav
J
mathmari
[SOLVED] Give a set and a relation that satisfies the properties
Replies
10
Views
1K
mathmari
mathmari
mathmari
Hilbert's hotel and busses : Injectivity - Surjectivity
Replies
7
Views
1K
Klaas van Aarsen
Klaas van Aarsen
mathmari
Show that ~ is an equivalence relation
Replies
2
Views
655
Evgeny.Makarov
E
mathmari
[SOLVED] Intesection of intervals
Replies
8
Views
829
mathmari
mathmari
P
Trouble with understanding section of FOL completeness proof
Replies
1
Views
559
Evgeny.Makarov
E
P
First-order logic formula satisfiable only if the domain of the valuation is infinite?
Replies
2
Views
645
pooj4
P
mathmari
Statements about the set 2^M
Replies
5
Views
755
topsquark
topsquark
mathmari
[SOLVED] Sets so that the cartesian product is commutative
Replies
2
Views
642
mathmari
mathmari
P
Proving in first order logic for some arbitrary valuations of sigma in Machover's text
Replies
1
Views
600
Evgeny.Makarov
E
mathmari
[SOLVED] Induction: Each square can be covered by L-stones
Replies
5
Views
702
mathmari
mathmari
Z
Help proving prime and permutation
Replies
1
Views
528
Klaas van Aarsen
Klaas van Aarsen
J
A Subset of a Graph with No Perfect Matching
Replies
1
Views
659
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
792
HallsofIvy
H
G
sequence - inhomogeneous recursion
Replies
2
Views
780
goohu
G
mathmari
Prime implicants and disjunctive minimal form
Replies
6
Views
925
Klaas van Aarsen
Klaas van Aarsen
C
Topology Munkres Chapter 1 exercise 2 e- Set theory
Replies
3
Views
951
Evgeny.Makarov
E
C
Topology Munkres Chapter 1 exercise 2 b and c- Set theory equivalent statements
Replies
1
Views
798
Euge
Euge
S
How to prove the equality?
Replies
1
Views
811
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
627
Line
L
You must log in or register to post here.