DEV Community

# logic

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Mastering logical thinking for programming

Mastering logical thinking for programming

1
Comments
10 min read
Java Pattern Problem

Java Pattern Problem

2
Comments
9 min read
Leetcode Solutions: Count Asterisks

Leetcode Solutions: Count Asterisks

7
Comments
1 min read
Leetcode Solutions: Check If a Word Occurs As a Prefix of Any Word in a Sentence

Leetcode Solutions: Check If a Word Occurs As a Prefix of Any Word in a Sentence

8
Comments
1 min read
Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?

Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?

8
Comments
5 min read
Learning Pilog - 4: Recursion

Learning Pilog - 4: Recursion

3
Comments
5 min read
The Most Unusual Programming Language

The Most Unusual Programming Language

6
Comments
6 min read
Set theory(with PHP)

Set theory(with PHP)

2
Comments 2
1 min read
My condition

My condition

3
Comments 2
7 min read
Understanding programming concepts for non-programmers

Understanding programming concepts for non-programmers

5
Comments
7 min read
100 Languages Speedrun: Episode 42: Prolog

100 Languages Speedrun: Episode 42: Prolog

10
Comments 1
12 min read
PAGINATION in pieces

PAGINATION in pieces

3
Comments
2 min read
Business logic in Rails with operators

Business logic in Rails with operators

27
Comments 13
6 min read
The hardest thing I ever did explained as simply as possible.

The hardest thing I ever did explained as simply as possible.

6
Comments
15 min read
COMPUTATIONAL THINKING

COMPUTATIONAL THINKING

5
Comments
3 min read
Fun with Functional Programming!

Fun with Functional Programming!

29
Comments 2
3 min read
How to be a newbie (without others realize it)

How to be a newbie (without others realize it)

5
Comments
3 min read
Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

6
Comments
19 min read
Separate -ives and +ives maintaining their order

Separate -ives and +ives maintaining their order

6
Comments 2
2 min read
Solving Programming Challenges

Solving Programming Challenges

2
Comments
1 min read
Certainty is a Programming Bug (featuring Hillel Wayne)

Certainty is a Programming Bug (featuring Hillel Wayne)

10
Comments
14 min read
Untestable: testing compile-safe strategies via `dynamic`

Untestable: testing compile-safe strategies via `dynamic`

6
Comments
3 min read
Accumulators in Declarative Logic Programming

Accumulators in Declarative Logic Programming

2
Comments
3 min read
Learn algorithms

Learn algorithms

2
Comments
1 min read
Symbolic logic and programming

Symbolic logic and programming

2
Comments
1 min read
Prolog Natural Numbers

Prolog Natural Numbers

9
Comments 1
3 min read
Why there is no NullPointerException in Declarative Programming

Why there is no NullPointerException in Declarative Programming

9
Comments
2 min read
Variables in Declarative Programming

Variables in Declarative Programming

10
Comments
2 min read
Let's Play Checkers with AI and Clojure

Let's Play Checkers with AI and Clojure

29
Comments 1
11 min read
Extending Prolog - TerminusDB Discussion #10 55:41

Extending Prolog - TerminusDB Discussion #10

7
Comments
1 min read
Add two numbers without arithmetic operators 🙅‍♂️➕

Add two numbers without arithmetic operators 🙅‍♂️➕

6
Comments
3 min read
Actionable bitwise with C++

Actionable bitwise with C++

7
Comments 2
5 min read
Prolog: Acertijo del granjero, la cabra, el lobo y la col

Prolog: Acertijo del granjero, la cabra, el lobo y la col

5
Comments
8 min read
Streamlining Conditional Statements with Logical Operators

Streamlining Conditional Statements with Logical Operators

7
Comments
4 min read
9 Things You Should Practice for Logic Building

9 Things You Should Practice for Logic Building

16
Comments 4
2 min read
Continuation passing style in C#

Continuation passing style in C#

8
Comments
4 min read
Double negation in C#

Double negation in C#

17
Comments 8
4 min read
Mathematics' Architecture & Processes for Programmers

Mathematics' Architecture & Processes for Programmers

6
Comments 1
4 min read
The Curry-Howard Correspondence in C#: Part 2

The Curry-Howard Correspondence in C#: Part 2

5
Comments 6
3 min read
The Curry-Howard Correspondence in C#

The Curry-Howard Correspondence in C#

11
Comments 4
3 min read
Becoming a logician with TypeScript

Becoming a logician with TypeScript

4
Comments
5 min read
Ways to control flow...

Ways to control flow...

6
Comments
2 min read
Building my dream recipe search in Prolog

Building my dream recipe search in Prolog

21
Comments 1
3 min read
NAND2Tetris: The Magic of NAND

NAND2Tetris: The Magic of NAND

7
Comments
4 min read
Logic Gates: The Controlled Not

Logic Gates: The Controlled Not

9
Comments
2 min read
Understand Logic and Boolean Algebra with De Morgan's law and Truth tables

Understand Logic and Boolean Algebra with De Morgan's law and Truth tables

56
Comments 3
4 min read
How to improve my programing logic?

How to improve my programing logic?

11
Comments 7
1 min read
Bitwise Operations on your Fingers 🙌👩🏻‍💻

Bitwise Operations on your Fingers 🙌👩🏻‍💻

53
Comments 9
4 min read
Compute Smart, Not Hard

Compute Smart, Not Hard

18
Comments 13
2 min read
Types as propositions, programs as proofs

Types as propositions, programs as proofs

40
Comments 7
7 min read
Dividing by zero

Dividing by zero

12
Comments 4
3 min read
Understanding the Monty Hall Problem

Understanding the Monty Hall Problem

18
Comments 7
8 min read
Finding Truth with Elm

Finding Truth with Elm

10
Comments
6 min read
better conditional operator than javascript itself

better conditional operator than javascript itself

8
Comments 2
1 min read
How close to the data you like to have your business logic operations?

How close to the data you like to have your business logic operations?

11
Comments 23
1 min read
Low-Level Logical Operations

Low-Level Logical Operations

7
Comments
3 min read
Swastik Pattern in C++

Swastik Pattern in C++

4
Comments
2 min read
Anticipating User Input When Building a CLI App

Anticipating User Input When Building a CLI App

8
Comments
3 min read
CS101 —Python exercise: counting days between two dates

CS101 —Python exercise: counting days between two dates

4
Comments
4 min read
Consistently Logical

Consistently Logical

6
Comments
8 min read
loading...