Advanced Math

For the highest-level (post-calculus) math questions that don't fall into any other category.
M
Finding a normal field extension of degree 7
2
Replies
36
Views
5K
blamocur
blamocur
M
Finding Gal ([imath]K=\mathbb{Q}[\zeta_{15}] / \mathbb{Q}[/imath] (up to an isomorphism)
2
Replies
21
Views
4K
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
188
Kargulix
K
K
Kripke — Problem 4: Provide model in which phi->Mphi is true, phi->Lphi is true
Replies
0
Views
202
Kargulix
K
K
Knowledge Base — Problem 3: Use resolution technique to see if r is logical consequence of given Knowledge Base.
Replies
0
Views
207
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
184
Kargulix
K
K
Tableau method KRZ — Problem 1: Use tableau method for (p -> q) -> [(not-q) -> (not-p)]
Replies
0
Views
155
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
871
blamocur
blamocur
A
Need help with a variation of the domino tiling problem
Replies
1
Views
164
Dr.Peterson
Dr.Peterson
P
How to choose initial guesses for Secant method (lateral surface area of a cone)
Replies
18
Views
1K
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
358
MathNugget
M
J
Implication to Disjunction and Negation of Implication
Replies
2
Views
281
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
1K
The Highlander
The Highlander
T
Help with this equation (approximate methods for calculating rotations, displacements and moments etc for rigid frames)
Replies
2
Views
398
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
627
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
468
Otis
Otis
M
Set theory
Replies
1
Views
377
Steven G
Steven G
N
Discrete math assignment
Replies
1
Views
283
MaxWong
M
L
matrix transformation to generate a sequence.
Replies
1
Views
287
MaxWong
M
C
Looking forward to a proof of convergence in an iterative process.
Replies
0
Views
328
chen2003qq
C
You must log in or register to post here.
Top