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
Hoare Logic Loop Invariant
Jun 04, 2019
language-agnostic
logic
verification
invariants
loop-invariant
If Statement True Block Executed When Condition is False
Dec 23, 2019
c#
logic
conditional
mapping list of string into hierarchical structure of objects
Sep 07, 2022
parsing
logic
hierarchy
Prolog arrow operator
Oct 17, 2022
prolog
logic
Element-wise XOR in pandas
Oct 18, 2022
python
pandas
logic
xor
Matrix arrangement issues in php
Nov 03, 2022
php
algorithm
logic
How to implement a decision tree in javascript. Looking for a better solution than my ugly ones [closed]
Nov 22, 2017
javascript
logic
decision-tree
How to do cases with an inductive type in Coq
Oct 28, 2022
logic
coq
Boolean Logic (Order of operations) A and B or C
Nov 11, 2022
search
boolean
logic
How to write an SQL statement to use "LIKE" for nine different values? [duplicate]
Sep 05, 2017
sql
logic
Why are logical connectives and booleans separate in Coq?
Apr 12, 2021
boolean
logic
coq
What that mean: Compare two strings $a and $b in length-constant time?
Oct 18, 2022
php
function
logic
Are there any tools to aid with complex 'if' logic?
Sep 02, 2022
logic
Logic: is ( A && !(B || C)) || ( B || C ) the same as ( A || B || C )?
Aug 24, 2017
logic
Distinguishing extra element from two arrays?
Sep 24, 2022
algorithm
arrays
data-structures
logic
Scala - Prefix Unary Operators
Aug 10, 2022
scala
logic
notation
unary-operator
Why does "true && () => {}" produce "Uncaught SyntaxError: Malformed arrow function parameter list"? [duplicate]
Apr 22, 2022
javascript
node.js
logic
logical-operators
How to design a software workflow chart? [closed]
Jan 27, 2020
algorithm
logic
workflow
software-design
Formulating Effect axiom
Aug 30, 2022
prolog
logic
artificial-intelligence
clpfd
axiom
What is the difference between a physical and a logical qubit?
Nov 19, 2019
logic
computer-science
cpu-architecture
quantum-computing
qubit
« Newer Entries
Older Entries »