Alex Rivera | Logout

Questions tagged logic

32 questions

Sort by: Newest Votes Active
33
votes
3
answers

Universal and Existential Quantifiers of First-Order Logic

scala functional-programming logic
asked 2013-04-04T20:57:03.203
12
votes
3
answers

Java method to find the rectangle that is the intersection of two rectangles using only left bottom point, width and height?

java logic intersection
asked 2013-01-31T01:08:05.853
14
votes
13
answers

Digit-increasing number test

c++ c algorithm logic
asked 2012-10-30T07:15:32.050
24
votes
5
answers

Why are products called minterms and sums called maxterms?

boolean logic boolean-logic boolean-expression boolean-operations
asked 2012-07-21T15:14:42.270
22
votes
6
answers

XOR Objective-c

iphone objective-c logic
asked 2012-07-11T11:39:12.730
76
votes
6
answers

Which one of the logical AND (`&&`) and logical OR (`||`) operators take precedence over the other?

javascript if-statement logic operator-precedence
asked 2012-06-22T14:07:01.233
10
votes
2
answers

Arenas where core.logic dominates [soft]

clojure prolog logic minikanren
asked 2012-06-02T00:55:25.943
8
votes
3
answers

Can I Make NOT Using OR and AND?

logic
asked 2012-05-26T12:36:16.590
11
votes
1
answers

Is MySQL logic evaluation lazy/short-circuiting in JOIN clause?

mysql logic lazy-evaluation boolean-logic
asked 2012-05-25T00:29:57.940
11
votes
8
answers

Is it possible to calculate the Chinese Zodiac, or must I use a lookup table?

data-structures calendar logic
asked 2012-05-01T17:42:07.550
42
votes
3
answers

How does Djinn work?

haskell types logic
asked 2012-04-18T21:01:10.237
16
votes
3
answers

UInt64 and "The operation overflows at compile time in checked mode" - CS0220

c# math logic uint64
asked 2012-04-15T23:52:44.350
40
votes
7
answers

AND/OR in Python?

python logic
asked 2012-04-13T23:51:29.207
9
votes
5
answers

Logical operators priority with NAND, NOR, XNOR

operators logic operator-precedence
asked 2011-11-17T13:22:10.997
12
votes
4
answers

How can I break the law of non-contradiction in Javascript?

javascript logic
asked 2011-08-13T21:15:10.447
40
votes
2
answers

Visual Studio Project/Item Template Parameter Logic

visual-studio logic project-template
asked 2011-07-15T15:02:25.137
14
votes
3
answers

Split down a number in seconds to days, hours, minutes, and seconds?

math logic theory modulus
asked 2011-06-11T02:17:09.510
9
votes
4
answers

What's the approach to solving this kind of logic problem?

algorithm logic
asked 2011-05-14T08:21:15.970
10
votes
4
answers

Hoare Logic Loop Invariant

language-agnostic logic verification invariants loop-invariant
asked 2011-01-24T15:22:59.640
10
votes
7
answers

Logic: is ( A && !(B || C)) || ( B || C ) the same as ( A || B || C )?

logic
asked 2011-01-21T20:56:09.913
15
votes
5
answers

Pass two integers as one integer

logic xor
asked 2011-01-19T17:22:24.297
11
votes
2
answers

How to write an SQL statement to use "LIKE" for nine different values?

sql logic
asked 2010-10-14T17:40:56.163
20
votes
8
answers

Why do Strings start with a "" in Java?

java string logic startswith
asked 2010-10-06T13:27:49.983
39
votes
8
answers

Reason for "all" and "any" result on empty lists

python logic
asked 2010-07-18T09:59:32.693
9
votes
3
answers

Logic variables support for .NET

.net f# logic logic-programming
asked 2010-02-17T11:00:03.163
75
votes
6
answers

In Java, what are the boolean "order of operations"?

java logic boolean evaluation operator-precedence
asked 2010-02-15T02:00:28.047
15
votes
6
answers

How to perform an action every 5 results?

php loops for-loop logic
asked 2009-09-30T21:08:05.290
22
votes
10
answers

How does a programmer think?

logic
asked 2009-08-04T09:36:45.103
14
votes
10
answers

Do formal methods of program verfication have a place in industry?

language-agnostic logic formal-verification
asked 2009-07-28T21:20:20.497
12
votes
6
answers

Advanced Formal logic / Automata Theory textbook

math computer-science logic automata
asked 2009-06-16T15:59:41.730
16
votes
9
answers

C# convert a string for use in a logical condition

c# logic
asked 2009-05-29T13:14:54.570
69
votes
15
answers

Looking for simple rules-engine library in .NET

c# .net .net-core logic rule-engine
asked 2008-10-16T13:53:51.543