What are the current capabilities of modern Theorem Provers? I know about logic/undecidability/complexity theory so go ahead and use that jargon. Anyway, I am interested as to why Theorem Provers are not talked about (at least not by math professors). Why have I not heard the following sentence...
I am currently going to be a senior undergraduate with a double major in Math and Computer Science. In the past I have worked on Data Mining projects, and Mathematical Modeling. I have had a recent interest in Mathematical Finance. What Math and Computer Science theory are heavily used in...
Combinatorics Books and Future Study
Hi all,
I would like to study Combinatorics and learn more combinatorial problem solving techniques (I especially liked combinatorial proofs but I still have a lot to learn in this area). I know the basics: addition rule, multiplication rule...
Thanks for all the responses. I have gotten much better at ε-δ proofs. Last semester I aced the course and am even doing well with ε-δ proofs in the subsequent course :)
Where does one attain the skill/ability (skill vs. ability is a good question in itself) to do proofs? By "do proofs" I mean prove existing theorems. For instance I am really no good with ε-δ proofs. The concept is so easy, but when I have to prove something using ε-δ I either have no idea what...
Homework Statement
I want to prove that if a sequence a[n] is cauchy then a[n] is a converging sequence
Homework Equations
What I know is:
a[n] is bounded
any subsequence is bounded
there exists a monotone subsequence
all monotone bounded sequences converge
there exists a...
If one wanted to study fractals and their properties, which upper level undergraduate mathematics courses should one take? Or which sequence of generally offered courses should one take? Just to name a few courses that I guess would be related and are offered at the University I study at are...
Hi all,
What are some cool programming projects that you have done that really helped you learn a different area of computer science / programming? I am SICK OF the tedium in databases and application development. I would like to expand my horizons to areas such as embedded systems, computer...
The first answer is correct after computing the probabilities and checking with various sources. So I will explain my thought process on the second answer in which I obtained. First I did 13 nCr 2 because in a full house we need 2 distinct denominations where order does not matter. Next, we must...
Hey everyone,
I have a question regarding combinations and poker! Could someone explain to me why the number of distinct ways to receive a full house from a five card draw is:
13 nCr 1 * 4 nCr 3 * 12 nCr 1 * 4 nCr 2
and not,
13 nCr 2 * 4 nCr 3 * 4 nCr 2
I usually make small...
Hey everyone,
I am currently in a C and UNIX Systems Programming course, and my professor is not the best to say the least. Does anybody have recommendations on how to learn Systems Programming on your own? Such as, any interesting projects I could do in my spare time with online...