Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in logic
What's the difference between if(A) then if(B) and if (A and B)?
Apr 28, 2026
algorithm
logic
Meaning behind version numbers (i.e. 0.1, 0.10.10, 1, etc) [closed]
Apr 28, 2026
functional-programming
logic
version
UVa #494 - regex [^a-zA-z]+ to split words using Java
Apr 27, 2026
java
regex
logic
Insert string behind consecutive numbers in string?
Apr 26, 2026
c#
string
unity-game-engine
logic
unityscript
Is it a bad practice to use Exceptions for logics [closed]
Apr 27, 2026
java
performance
exception
logic
How can I simplfy this logic
Apr 26, 2026
php
conditional-statements
logic
if-statement
How secure is the "if" statement?
Apr 25, 2026
security
if-statement
logic
Is it acceptable for a prolog procedure to work only one way?
Apr 22, 2026
prolog
logic
I want to combine multiple tables result count in one result using MySQl
Apr 20, 2026
mysql
database
optimization
logic
Round robin in C#
Apr 20, 2026
c#
logic
How to check LTL satisfiability using NuSMV?
Apr 19, 2026
logic
model-checking
nusmv
Inductive proofs in theorem provers (Z3, Vampire, with TPTP syntax)
Apr 18, 2026
logic
z3
smt
theorem-proving
logic-programming
I need help finding mathematical expressions of logic gates
Apr 11, 2026
math
logic
computer-science
logical-operators
algebra
Help with a logic problem
Apr 11, 2026
c#
logic
When using rdfs:subClassOf or owl:equivalentClass in case of existential quantification (owl:SomeValuesFrom) for a OWL class restriction constructor?
Apr 11, 2026
logic
owl
semantic-web
rdfs
reasoning
Relational Clausal Logic question: what is a Herbrand interpretation
Apr 09, 2026
logic
prolog
logic-programming
Inline HTML background-image using PHP logic?
Apr 09, 2026
php
html
wordpress
logic
background-image
In a paragraph how to make every first letter of the word into Capital letter using PHP
Apr 09, 2026
php
logic
capitalization
Older Entries »