Mathematics
user avatar
user avatar
user avatar
CforLinux
  • Member for 3 years
  • Last seen more than a month ago
Profile Activity
Stats
373
reputation
4k
reached
2
answers
66
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
4
Score
12
Posts
18
Posts %
2
Score
4
Posts
6
Posts %
0
Score
15
Posts
22
Posts %
0
Score
12
Posts
18
Posts %
0
Score
10
Posts
15
Posts %
0
Score
8
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
5
strong completeness of a formal system
Jun 28, 2021
question
4
Proving uniform convergence of $\sum_{n=1}^{\infty}a_n\cos{nx}$ in $\mathbb{R}$
Jan 5
question
4
Linear independence of a set of vectors + orthonormal basis
Aug 1, 2019
question
4
calculate $\sum_{n=0}^\infty \frac{3^n}{n!(n+3)}$ using power series
May 30, 2020
question
3
Proving single solution of initial value problem is increasing
Dec 18, 2021
question
2
Proving a language is not regular using the pumping lemma
Apr 19
answer
2
Proving single solution to an initial value problem
Dec 18, 2021
question
2
$(M\models \Sigma_1\cup\Sigma_2)\leftrightarrow((\Sigma_1\rightarrow\alpha\wedge\Sigma_2\rightarrow\beta)\rightarrow M\models\alpha\wedge\beta)$
Apr 4, 2021
question
2
deductive system where the axioms are all the propositions that are not tautology
Apr 24, 2021
question
2
Prove $\forall_x(P(x)\rightarrow Q(x))\rightarrow (\exists_x P(x)\rightarrow \exists_x Q(x))$ is a tautology
May 14, 2021

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.