Top "Logic" questions

Curry-Howard isomorphism

I've searched around the Internet, and I can't find any explanations of CHI which don't rapidly degenerate into a lecture …

haskell types logic curry-howard

php function array_keys equivalent in jquery

Possible Duplicate: how to fetch array keys with jQuery? php built-in function array_keys(), equivalent in jquery is there any …

php jquery logic business-logic

When to use conjunction and when to use implication? (First Order Logic)

I'm learning First Order Logic at the moment. I'm looking at this example: Some dogs bark ∃x (dog(X) Λ bark(…

logic first-order-logic

In Java XOR with three true inputs returns true. Why?

The following code System.out.println("1 0 0: " + (true ^ false ^ false)); System.out.println("1 0 1: " + (true ^ false ^ true)); System.out.println("1 1 0: " + (true ^ true ^ …

java logic xor

Is ((a + (b & 255)) & 255) the same as ((a + b) & 255)?

I was browsing some C++ code, and found something like this: (a + (b & 255)) & 255 The double AND annoyed me, …

c++ binary logic

IndexOf method returns 0 when it should had return -1 in C# / Java

A friend of mine came to me with this strange behavior which i can't explain, any insight view would be …

c# java string logic indexof