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
Algorithm to balance variably-sized items into roughly-balanced sets
Jun 20, 2013
c#
asp.net
algorithm
math
logic
PHP || and && logical optimization
Oct 29, 2022
php
performance
optimization
logic
Confusion in propositional logic algorithm
Sep 15, 2022
algorithm
logic
artificial-intelligence
How can I report progress based on multiple variables in a nested loop (for a progress bar)?
Feb 27, 2022
c#
math
logic
progress-bar
backgroundworker
What is the best way to answer this scheduling algorithm scenario?
Nov 06, 2022
algorithm
logic
Two stars in a Prolog list
Nov 11, 2021
prolog
logic
swi-prolog
prolog-toplevel
How do I find whether a number is positive, negative or zero without using if or for? [duplicate]
Nov 06, 2022
c
function
boolean
logic
Get all combinations from multiple nested arrays
Jun 17, 2022
php
arrays
algorithm
logic
Can I Make NOT Using OR and AND?
Jul 10, 2018
logic
Find if every even bit is set to 0 using bitwise operators
Nov 19, 2022
c
logic
bit-manipulation
Is there an automatic parallel prolog implementation?
Apr 15, 2020
multithreading
concurrency
parallel-processing
prolog
logic
Is break; required after die() php
Nov 14, 2019
php
logic
switch-statement
case
control-structure
LTL, CTL or TLA for modelling for my model (detailed description inside)?
Nov 03, 2022
logic
model-checking
ctl
tla+
Is this relationship between forall and exists provable in Coq/intuitionistic logic?
Sep 22, 2021
logic
coq
implication
Relational operations using only increment, loop, assign, zero
Jan 06, 2022
algorithm
math
logic
equality
lambda-calculus
Martin Odersky : Working hard to keep it simple
Jul 23, 2021
scala
asynchronous
logic
Confused about the definition of "Exact Algorithm"
Oct 26, 2018
algorithm
optimization
logic
Application logic for invoicing and subscriptions?
Nov 19, 2022
mysql
logic
subscription
invoices
Proof that a binary tree with n leaves has a height of at least log n
Mar 11, 2022
logic
binary-tree
nodes
proof
induction
How to convert an equation into formulas for individual variables?
Aug 03, 2019
c#
.net
math
logic
expression-trees
« Newer Entries
Older Entries »