Menu
Forums
New posts
Search forums
What's new
New posts
Latest activity
Blog
Resources
POTW Submission
POTW Suggestion
Math Guides and Tutorials
Latest reviews
Search resources
Log in
Register
What's new
Search
Search
Everywhere
Threads
This forum
Search titles only
By:
Log in
Register
Navigation
More options
Close Menu
Forums
University Math
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
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
1
2
3
…
Go to page
Go
11
Next
1 of 11
Go to page
Go
Next
Last
Filters
Show only:
Loading…
Sticky
Difference equation tutorial: draft of part II
chisigma
Apr 15, 2012
Replies
2
Views
9K
Mar 2, 2013
chisigma
Sticky
Difference equation tutorial: draft of part I
chisigma
Mar 2, 2012
Replies
3
Views
9K
Mar 6, 2012
chisigma
Locked
Sticky
Please Read Before Posting Logic Questions
Ackbach
Jan 27, 2012
Replies
0
Views
8K
Jan 27, 2012
Ackbach
V
multiply indexed matrices
Voldyy
Monday at 6:02 AM
Replies
3
Views
101
Monday at 7:56 AM
Country Boy
C
L
KE Deduction
lyd123
Jan 3, 2019
Replies
4
Views
1K
Dec 24, 2020
solakis
S
Why do we get like that the message?
evinda
Dec 22, 2020
Replies
2
Views
79
Dec 23, 2020
evinda
How do we choose the edges?
evinda
Dec 9, 2020
Replies
2
Views
104
Dec 22, 2020
evinda
J
Find Proofs for the following 5 propositional logic statements
josephmary
Dec 9, 2019
Replies
2
Views
886
Dec 10, 2020
solakis
S
Find total number of republications
evinda
Dec 2, 2020
Replies
22
Views
329
Dec 6, 2020
evinda
H
Predicate logic
hanzla
Nov 30, 2020
Replies
8
Views
168
Dec 6, 2020
solakis
S
E
Rules of inference
Eluki
Dec 6, 2019
Replies
3
Views
510
Dec 5, 2020
solakis
S
Logical negation of statements
mathmari
Nov 20, 2020
Replies
6
Views
149
Dec 5, 2020
solakis
S
Prove that the statement is always true using the rules of boolean algebra
mathmari
Nov 10, 2020
Replies
9
Views
198
Dec 4, 2020
solakis
S
Show that the set is inductive
mathmari
Nov 30, 2020
Replies
10
Views
184
Nov 30, 2020
Klaas van Aarsen
Fractional knapsack
evinda
Nov 17, 2020
Replies
1
Views
282
Nov 20, 2020
Evgeny.Makarov
E
Master Theorem-Relation of the two functions
evinda
Nov 16, 2020
Replies
2
Views
92
Nov 17, 2020
evinda
De Morgan Rules - Logical statements
mathmari
Nov 11, 2020
Replies
11
Views
239
Nov 12, 2020
mathmari
Draw a NAND-gate to get that output
mathmari
Nov 10, 2020
Replies
16
Views
299
Nov 12, 2020
mathmari
L
Relation composition
lemonthree
Nov 7, 2020
Replies
7
Views
224
Nov 11, 2020
Evgeny.Makarov
E
Translate the statements into set inclusion
mathmari
Nov 7, 2020
Replies
5
Views
142
Nov 10, 2020
Klaas van Aarsen
L
Defining reflexive relations
lemonthree
Nov 2, 2020
Replies
3
Views
175
Nov 3, 2020
Country Boy
C
L
The cardinality of the set that is the intersection of all inductive sets.
Line
Nov 1, 2020
Replies
0
Views
72
Nov 1, 2020
Line
L
L
Counting the elements in sets
lemonthree
Oct 27, 2020
Replies
5
Views
214
Oct 29, 2020
Opalg
L
summation and product notation rules
lemonthree
Oct 14, 2020
Replies
1
Views
234
Oct 14, 2020
topsquark
M
2.11.2: Compute change.
moodtl32
Sep 18, 2020
Replies
1
Views
489
Sep 18, 2020
moodtl32
M
L
Predicate properties
lemonthree
Sep 8, 2020
Replies
1
Views
211
Sep 13, 2020
Evgeny.Makarov
E
H
Question
hkhgg
Aug 28, 2020
Replies
2
Views
226
Aug 28, 2020
skeeter
Attempting to add logic mathematics to a college paper - need your input
Furthark
Jul 21, 2020
Replies
2
Views
823
Jul 22, 2020
Furthark
C
Pigeonhole Principle Problem
Carl
Jul 14, 2020
Replies
2
Views
239
Jul 17, 2020
Carl
C
F
Proof by induction? No Idea what I should do :(
FriendlyCashew
Jul 13, 2020
Replies
4
Views
224
Jul 14, 2020
Opalg
A
Question about Successor Function
agapito
May 25, 2020
Replies
2
Views
391
Jul 12, 2020
Evgeny.Makarov
E
E
proofs with real numbers
EqualElement
May 8, 2020
Replies
9
Views
467
Jul 2, 2020
Country Boy
C
M
Binomial problem.
Math101_McF
May 20, 2020
Replies
4
Views
317
Jul 2, 2020
Country Boy
C
ZFC and the Axiom of Power Sets ...
Peter
Jun 25, 2020
Replies
2
Views
287
Jun 27, 2020
Peter
[SOLVED]
Sequences and series
Dhamnekar Winod
Jun 25, 2020
Replies
3
Views
210
Jun 26, 2020
MarkFL
M
C
Discrete math can you solve immediately
ceasertr
Jun 23, 2020
Replies
0
Views
219
Jun 23, 2020
ceasertr
C
Construct grammar and find its type
evinda
Jun 2, 2020
2
Replies
26
Views
676
Jun 22, 2020
Klaas van Aarsen
Bipartite graphs
Julio
Dec 9, 2019
Replies
1
Views
576
Jun 14, 2020
caffeinemachine
G
Euler's totient function
goody
Jun 10, 2020
Replies
1
Views
287
Jun 10, 2020
GJA
G
Optimal time for scheduling the tasks
mathmari
Jun 5, 2020
Replies
1
Views
176
Jun 9, 2020
Klaas van Aarsen
Total weight of Huffman Code
mathmari
Jun 4, 2020
Replies
1
Views
165
Jun 9, 2020
Klaas van Aarsen
A
Help with a simple deduction
agapito
Jun 4, 2020
Replies
0
Views
154
Jun 4, 2020
agapito
A
Find the general formula of the recurrence relation
evinda
May 30, 2020
Replies
13
Views
319
May 31, 2020
evinda
Construct circuit that implements truth table
evinda
May 22, 2020
2
Replies
45
Views
937
May 30, 2020
evinda
Truth tables
evinda
May 18, 2020
Replies
2
Views
206
May 19, 2020
evinda
Find truth value of propositions
evinda
May 17, 2020
Replies
17
Views
324
May 18, 2020
evinda
A
Godelian self-reference
agapito
May 14, 2020
Replies
0
Views
270
May 14, 2020
agapito
A
D
Symbolic logic
Deeptrivedi72
Apr 10, 2020
Replies
1
Views
473
Apr 10, 2020
HallsofIvy
H
P
Please help with bool algebra and logic things!
PowMath
Nov 4, 2019
Replies
2
Views
549
Mar 28, 2020
Evgeny.Makarov
E
F
Introduction to Set Theory Stream
Fluxistence
Mar 14, 2020
Replies
1
Views
380
Mar 14, 2020
Klaas van Aarsen
J
Probability of Having a Totally Dominating Set (Probabilistic Methods)
joypav
Feb 24, 2020
Replies
1
Views
650
Feb 27, 2020
joypav
J
J
Minimum Degree of a Random Graph (Probabilistic Method)
joypav
Feb 27, 2020
Replies
1
Views
475
Feb 27, 2020
joypav
J
J
Turans Theorem (Dual?)
joypav
Feb 11, 2020
Replies
1
Views
411
Feb 19, 2020
joypav
J
[SOLVED]
Give a set and a relation that satisfies the properties
mathmari
Dec 7, 2019
Replies
10
Views
844
Feb 4, 2020
mathmari
Hilbert's hotel and busses : Injectivity - Surjectivity
mathmari
Jan 11, 2020
Replies
7
Views
803
Jan 11, 2020
Klaas van Aarsen
Show that ~ is an equivalence relation
mathmari
Dec 7, 2019
Replies
2
Views
464
Dec 8, 2019
Evgeny.Makarov
E
[SOLVED]
Intesection of intervals
mathmari
Nov 30, 2019
Replies
8
Views
570
Dec 7, 2019
mathmari
P
Trouble with understanding section of FOL completeness proof
pooj4
Dec 4, 2019
Replies
1
Views
365
Dec 4, 2019
Evgeny.Makarov
E
P
First-order logic formula satisfiable only if the domain of the valuation is infinite?
pooj4
Nov 17, 2019
Replies
2
Views
435
Dec 4, 2019
pooj4
P
Statements about the set 2^M
mathmari
Nov 30, 2019
Replies
5
Views
521
Nov 30, 2019
topsquark
[SOLVED]
Sets so that the cartesian product is commutative
mathmari
Nov 30, 2019
Replies
2
Views
417
Nov 30, 2019
mathmari
P
Proving in first order logic for some arbitrary valuations of sigma in Machover's text
pooj4
Nov 17, 2019
Replies
1
Views
413
Nov 19, 2019
Evgeny.Makarov
E
[SOLVED]
Induction: Each square can be covered by L-stones
mathmari
Nov 10, 2019
Replies
5
Views
471
Nov 13, 2019
mathmari
Z
Help proving prime and permutation
zachthemath
Nov 11, 2019
Replies
1
Views
354
Nov 11, 2019
Klaas van Aarsen
J
A Subset of a Graph with No Perfect Matching
joypav
Oct 25, 2019
Replies
1
Views
468
Oct 27, 2019
joypav
J
V
first state whether it can be solved using the Master Theorem, and if it can then use that. Otherwis
vapatel
Oct 14, 2019
Replies
1
Views
524
Oct 17, 2019
HallsofIvy
H
G
sequence - inhomogeneous recursion
goohu
Oct 11, 2019
Replies
2
Views
515
Oct 12, 2019
goohu
G
Prime implicants and disjunctive minimal form
mathmari
Oct 6, 2019
Replies
6
Views
699
Oct 7, 2019
Klaas van Aarsen
C
Topology Munkres Chapter 1 exercise 2 e- Set theory
Cbarker1
Sep 27, 2019
Replies
3
Views
648
Sep 29, 2019
Evgeny.Makarov
E
C
Topology Munkres Chapter 1 exercise 2 b and c- Set theory equivalent statements
Cbarker1
Sep 22, 2019
Replies
1
Views
534
Sep 22, 2019
Euge
S
How to prove the equality?
Sara jj
Sep 9, 2019
Replies
1
Views
563
Sep 9, 2019
Cbarker1
C
L
Do Gödel numbers can be used to derermine the usefulness of an infinite set as a complete whole?
Line
Sep 5, 2019
Replies
0
Views
420
Sep 5, 2019
Line
L
Y
Cartesian Product - Proof
Yankel
Jul 20, 2019
Replies
5
Views
2K
Aug 10, 2019
Olinguito
Are the questions decidable?
mathmari
Jul 14, 2019
Replies
1
Views
893
Jul 16, 2019
Evgeny.Makarov
E
Y
Operations on sets
Yankel
Jul 13, 2019
Replies
2
Views
607
Jul 13, 2019
HallsofIvy
H
Are the instances of PCP solvable?
mathmari
Jul 8, 2019
Replies
0
Views
487
Jul 8, 2019
mathmari
Linear Codes : Error detection
mathmari
Jun 28, 2019
Replies
0
Views
432
Jun 28, 2019
mathmari
H
Number of ways to divide a square grid in half
HapaxOromenon
Jun 16, 2019
Replies
3
Views
1K
Jun 19, 2019
Opalg
A
Help with proof of equivalence
agapito
Jun 7, 2019
Replies
1
Views
567
Jun 10, 2019
Evgeny.Makarov
E
S
Discrete maths problem - tracing an algorithm
Sterling
Jun 10, 2019
Replies
3
Views
682
Jun 10, 2019
Ackbach
[SOLVED]
Karnaugh Diagram
mathmari
May 19, 2019
Replies
22
Views
2K
May 22, 2019
mathmari
Quine-McCluskey method: Prime implicants - disjunctive minimal forms
mathmari
May 18, 2019
Replies
3
Views
555
May 19, 2019
Klaas van Aarsen
D
Stuck on Derivation (Natural Deduction)
DragonPoopa
May 11, 2019
Replies
1
Views
486
May 12, 2019
Evgeny.Makarov
E
K
Intro to Logic (prove sequents)
kk12
May 8, 2019
Replies
1
Views
525
May 9, 2019
Evgeny.Makarov
E
Two-element Boolean algebra: How are the equalities derived?
mathmari
Apr 28, 2019
Replies
13
Views
2K
May 1, 2019
Klaas van Aarsen
E
isomorphism of logic, arithmetic, and set theory
Eric
Apr 28, 2019
Replies
2
Views
1K
Apr 29, 2019
Eric
E
J
Predicate Logic: Semantics and Validity
joyofbitz
Mar 20, 2019
Replies
1
Views
3K
Mar 21, 2019
Evgeny.Makarov
E
D
Mathematical Induction
dwyane wade
Feb 26, 2019
Replies
1
Views
1K
Feb 26, 2019
Olinguito
M
prove primitive recursive
Mafaz
Jan 26, 2019
Replies
6
Views
2K
Jan 30, 2019
Evgeny.Makarov
E
G
Set Identity Proof
gicm
Jan 28, 2019
Replies
1
Views
658
Jan 28, 2019
Evgeny.Makarov
E
C
Equivalence Class
Cbarker1
Jan 20, 2019
Replies
1
Views
710
Jan 20, 2019
GJA
G
C
[SOLVED]
Set Theory
Cbarker1
Jan 20, 2019
Replies
1
Views
668
Jan 20, 2019
Olinguito
A
Basic arithmetic proof
agapito
Jan 8, 2019
Replies
1
Views
669
Jan 8, 2019
Evgeny.Makarov
E
H
set / class
highmath
Dec 30, 2018
Replies
1
Views
526
Dec 31, 2018
castor28
V
Can a given basis of a vector space (V,O_1,O_2) can it represent two different graphs
vs140580
Dec 28, 2018
Replies
2
Views
609
Dec 28, 2018
vs140580
V
L
Truth Table Precedence
lyd123
Dec 22, 2018
Replies
5
Views
943
Dec 23, 2018
Evgeny.Makarov
E
J
Resolution method and counterexample
joonteee
Dec 16, 2018
Replies
0
Views
2K
Dec 16, 2018
joonteee
J
Q
Symmetrical group
qamaz
Dec 15, 2018
Replies
1
Views
642
Dec 16, 2018
Olinguito
Q
Divisibility Problem
qamaz
Dec 15, 2018
Replies
3
Views
909
Dec 15, 2018
Evgeny.Makarov
E
F
Transfinite induction
facenian
Dec 11, 2018
Replies
1
Views
592
Dec 11, 2018
Country Boy
C
S
proper sub set
saaddii
Dec 10, 2018
Replies
1
Views
621
Dec 10, 2018
joypav
J
H
Discrete Mathematics - Define a relation R on S of at least four order pairs
Haroon
Dec 4, 2018
Replies
1
Views
628
Dec 5, 2018
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
sMilips
Dec 2, 2018
Replies
3
Views
1K
Dec 3, 2018
Evgeny.Makarov
E
1
2
3
…
Go to page
Go
11
Next
1 of 11
Go to page
Go
Next
Last
You must log in or register to post here.
Forums
University Math