Advanced Math

For the highest-level (post-calculus) math questions that don't fall into any other category.
M
Finding Gal ([imath]K=\mathbb{Q}[\zeta_{15}] / \mathbb{Q}[/imath] (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
506
Kargulix
K
K
Kripke — Problem 4: Provide model in which phi->Mphi is true, phi->Lphi is true
Replies
0
Views
548
Kargulix
K
K
Knowledge Base — Problem 3: Use resolution technique to see if r is logical consequence of given Knowledge Base.
Replies
0
Views
542
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
536
Kargulix
K
K
Tableau method KRZ — Problem 1: Use tableau method for (p -> q) -> [(not-q) -> (not-p)]
Replies
0
Views
489
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
641
Dr.Peterson
Dr.Peterson
P
How to choose initial guesses for Secant method (lateral surface area of a cone)
Replies
18
Views
4K
Steven G
Steven G
M
Finding if [imath]f(x)=3x^6-5x^5+x^2[/imath] is solvable by radicals (in [imath]\mathbb{Q}[/imath])
Replies
2
Views
806
MathNugget
M
J
Implication to Disjunction and Negation of Implication
Replies
2
Views
814
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
899
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
1K
Otis
Otis
M
Set theory
Replies
1
Views
796
Steven G
Steven G
N
Discrete math assignment
Replies
1
Views
784
MaxWong
M
L
matrix transformation to generate a sequence.
Replies
1
Views
771
MaxWong
M
C
Looking forward to a proof of convergence in an iterative process.
Replies
0
Views
651
chen2003qq
C
W
(1/9)^(2/3)
Replies
10
Views
2K
fresh_42
F
You must log in or register to post here.
Top