Advanced Math

For the highest-level (post-calculus) math questions that don't fall into any other category.
M
Finding Gal (K=Q[ζ15]/QK=\mathbb{Q}[\zeta_{15}] / \mathbb{Q} (up to an isomorphism)
2
Replies
21
Views
6K
blamocur
blamocur
K
LTL — Problem 5: Write LTL formula for state s expressing "if A occurs in stats s, then from s' onwards, A will always occur"
Replies
0
Views
455
Kargulix
K
K
Kripke — Problem 4: Provide model in which phi->Mphi is true, phi->Lphi is true
Replies
0
Views
483
Kargulix
K
K
Knowledge Base — Problem 3: Use resolution technique to see if r is logical consequence of given Knowledge Base.
Replies
0
Views
488
Kargulix
K
K
Tableau method Quantifier — Problem 2: [for all x (P(x) -> Q(x))] -> [(for all x P(x)) -> (for all x Q(x))]
Replies
0
Views
457
Kargulix
K
K
Tableau method KRZ — Problem 1: Use tableau method for (p -> q) -> [(not-q) -> (not-p)]
Replies
0
Views
427
Kargulix
K
C
Find equation of a function from another describing its slope: s(x) = 2((2x)^e)/((2x)^e + (1-2x)^e) for x<0.5, ...
Replies
12
Views
2K
blamocur
blamocur
A
Need help with a variation of the domino tiling problem
Replies
1
Views
486
Dr.Peterson
Dr.Peterson
P
How to choose initial guesses for Secant method (lateral surface area of a cone)
Replies
18
Views
3K
Steven G
Steven G
M
Finding if f(x)=3x6−5x5+x2f(x)=3x^6-5x^5+x^2 is solvable by radicals (in Q\mathbb{Q})
Replies
2
Views
705
MathNugget
M
J
Implication to Disjunction and Negation of Implication
Replies
2
Views
652
blamocur
blamocur
P
Please check my answer: power consumed by resistor is given by P = (V^2/R) watts; determine approx. change when...
Replies
10
Views
2K
The Highlander
The Highlander
T
Help with this equation (approximate methods for calculating rotations, displacements and moments etc for rigid frames)
Replies
2
Views
813
Tygra
T
F
combinatorial algorithms: Let M(n,m) denote the complexity of the best algorithm for merging of a1<..<an, b1<..<bm series. Prove that M(3,6) <= 7.
Replies
2
Views
1K
MaxWong
M
N
An Insignificant question: Find non-zero operator K so det[K(A+B)] = det[K(A)] + det[K(B)], A,B are 3-by-3 matrices
Replies
3
Views
934
Otis
Otis
M
Set theory
Replies
1
Views
697
Steven G
Steven G
N
Discrete math assignment
Replies
1
Views
675
MaxWong
M
L
matrix transformation to generate a sequence.
Replies
1
Views
642
MaxWong
M
C
Looking forward to a proof of convergence in an iterative process.
Replies
0
Views
584
chen2003qq
C
W
(1/9)^(2/3)
Replies
10
Views
2K
fresh_42
F
You must log in or register to post here.
Top