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
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
Why does this loop return 1 when using && instead of 'and'?
Apr 03, 2026
logic
php
gearman
« Newer Entries
Older Entries »