|
When we start getting into algorithm design and more discrete computer science topics, we end up having to prove things all of the time. Every time I've seen somebody ask how to become really good at proofs, the common (and possibly lazy) answer is "practice...
Started by Chris on
, 8 posts
by 8 people.
Answer Snippets (Read the full thread at stackoverflow):
Try to envision....
I'll start off my answer by admitting that as a CS student of existing proofs.
Take classes you have to do proofs in and look online for class notes and old tests with answers from other colleges that go over proofs.
|
|
Does anyone know any examples of the following?
Proof developments about regular expressions (possibly extended with backreferences ) in proof assistants (such as Coq ). Programs in dependently-typed languages (such as Agda ) about regular expressions...
Started by volodyako on
, 5 posts
by 5 people.
Answer Snippets (Read the full thread at stackoverflow):
If there were an efficient (polynomial....
Reduction of 3-CNF-SAT to Perl Regular Expression Matching
[...] 3-CNF-SAT is NP-complete .
See Perl Regular Expression Matching is NP-Hard
Regex matching is NP-hard when regexes are allowed to have backreferences .
|
|
When I write out a proof or derivation on paper I frequently make sign errors or drop terms as I move from one step to the next. I'd like to use Mathematica to save myself from these silly mistakes. I don't want Mathematica to solve the expression, I ...
Started by Charles E. Grant on
, 3 posts
by 3 people.
Answer Snippets (Read the full thread at stackoverflow):
Mathematical proofs regardless of the medium..
|
Ask your Facebook Friends
|
Hi,I have 13 sets of the 25th pcgs 70 sets. I was looking at them today and noticed 11 of the proofs have spots. Few are really covered in some areas. My proofs from ATS are okay so far. This spotting issue is going to make me not buy PCGS 70s any more...
Answer Snippets (Read the full thread at collectors):
Sent in about 5 and all were replaced with new 70s from NGC this problem with Lunars so if Perth can... .
Were they the standard proofs or are the reverse proofs with some early 2000s NGC Proof 70s.
Wow---that sucks...sorry to hear that.
|
|
Suppose we have the following simple proofs:
1) prove : -0 =0
Proof:
step 1 : 0+(-0) = 0
step 2 : 0+0 = 0
step 3 : 0+(-0) = 0+0
step 4 : -0 = 0
2) prove : 0x = 0
Proof :
step 1 : 0+0 =0
step 2 : (0+0)x = 0x
step 3 : 0x +0x = 0x +0
step 4 : 0x = 0
One ...
Started by chris12 on
, 12 posts
by 5 people.
Answer Snippets (Read the full thread at sciencechatforum):
Lomax post correct ?? Hello....
Perhaps (s)he wants a deeper analysis of the proofs.
First of all ,are the two proofs that i wrote in my opening: I'm unclear as to what Chris12 is asking.
Was trying to prove, in his/her former proof.
|
|
Lincoln Cent Matte Proofs By Kevin Flynn Lincoln Cent Matte Proofs By Kevin Flynn
The only book devoted entirely to matte proof Lincoln Cents. Over 250 color and black and white photos provide die diagnostics descriptions to identify and authenticate ...
Started by Treashunt on
, 12 posts
by 6 people.
Answer Snippets (Read the full thread at numissociety):
Lincoln Cent Matte Proof PCGS PR65RB CAC
The "Red Green Specimen" Beautiful Copper Lincoln Matte proofs) but now kept only my two best, a 1910 and a 1913
1910 Lincoln Matte Proof PCGS PR65BN CAC
1913 it was Matte Proof 64 ....
|
|
In an upcoming assignment I have to prove that the sum of consecutive squares is n(n+1)(2n+1)/6. The problem is definitely below the difficulty level of the course so I'd like to have some fun and present an uncommon proof of it. The two common ones I...
Started by Blatm on
, 12 posts
by 7 people.
Answer Snippets (Read the full thread at xkcd):
(I assume that other theorem are allowed here.)
How about Fürstenberg's ... .
Crocodile your epidermis
G+ What would constitute a *simple* proof? I have discovered a truly marvelous proof of this, which this margin is too narrow to contain.
|
|
A book specific to grading proofs Does anyone know of a book like "Photograde" but is dedicated just for proof coins. Specifically proof Lincolns if there is one like that. I have been reading numerous books about grading but they only touch on proof ...
Started by financeman on
, 12 posts
by 6 people.
Answer Snippets (Read the full thread at numissociety):
Be happy to loan the tape out if anyone wants AND FOR THE SAME REASON !" I did just get the book "Matte Proof Lincolns" but I wish it went more into grading proofs in general.....
But know of nothing that deals with Proofs..
Martin..
|
|
I'm sure we've all seen the following "proof" that 2 = 1:
a = b
a^2 = a*b
a^2 - b^2 = a*b - b^2
(a + b)(a - b) = b(a - b)
a + b = b
2b = b
2 = 1
I'd like to see your favourite erroneous "proofs" of things. Please, no "women are evil" proofs; we've all...
Started by bonder on
, 40 posts
by 18 people.
Answer Snippets (Read the full thread at xkcd):
By....
Since L is true, L => S is true.
Contradiction.
Proof: Assume for sake.
Lemma (L): L => S.
Let S be a statement we wish to prove.
I've got another 'proof' that 1=2:
x = y
x-y = 0
2x-2y = 0
x-y = 2x-2y
1(x-y) = 2(x-y)
1 = 2 white.
|
|
Hello Members!
This is a new PPD site introduced. It gives you opportunity to earn $0.3 to $20 per download depending upon the country of the downloader.
$0.3 to $20 Per Download
Remote Upload System
Minimum Payout: $10
Payout via Paypal, Alertpay and...
Started by snakeccc on
, 13 posts
by 10 people.
Answer Snippets (Read the full thread at blackhatworld):
PM me if you want,site, help and proofs thanks.
In the starting as a proof of his download!
People will run to you for completing your job offer and you and nothing else! Best of luck making money through it .
|
