DEV Community

# logic

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
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
Fun with Functional Programming!

Fun with Functional Programming!

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

Let's Play Checkers with AI and Clojure

29
Comments 1
11 min read
Business logic in Rails with operators

Business logic in Rails with operators

27
Comments 13
6 min read
Building my dream recipe search in Prolog

Building my dream recipe search in Prolog

21
Comments 1
3 min read
Double negation in C#

Double negation in C#

17
Comments 8
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
Conditional logic with CSS – The CSS custom property trick.

Conditional logic with CSS – The CSS custom property trick.

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

The Curry-Howard Correspondence in C#

11
Comments 4
3 min read
Variables in Declarative Programming

Variables in Declarative Programming

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

Certainty is a Programming Bug (featuring Hillel Wayne)

10
Comments
14 min read
100 Languages Speedrun: Episode 42: Prolog

100 Languages Speedrun: Episode 42: Prolog

9
Comments 1
12 min read
Logic Gates: The Controlled Not

Logic Gates: The Controlled Not

9
Comments
2 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
Anticipating User Input When Building a CLI App

Anticipating User Input When Building a CLI App

8
Comments
3 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
Continuation passing style in C#

Continuation passing style in C#

8
Comments
4 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
Actionable bitwise with C++

Actionable bitwise with C++

7
Comments 2
5 min read
Streamlining Conditional Statements with Logical Operators

Streamlining Conditional Statements with Logical Operators

7
Comments
4 min read
Low-Level Logical Operations

Low-Level Logical Operations

7
Comments
3 min read
NAND2Tetris: The Magic of NAND

NAND2Tetris: The Magic of NAND

7
Comments
4 min read
Leetcode Solutions: Count Asterisks

Leetcode Solutions: Count Asterisks

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

Extending Prolog - TerminusDB Discussion #10

7
Comments
1 min read
Untestable: testing compile-safe strategies via `dynamic`

Untestable: testing compile-safe strategies via `dynamic`

6
Comments
3 min read
Ways to control flow...

Ways to control flow...

6
Comments
2 min read
Mathematics' Architecture & Processes for Programmers

Mathematics' Architecture & Processes for Programmers

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

Add two numbers without arithmetic operators 🙅‍♂️➕

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

Separate -ives and +ives maintaining their order

6
Comments 2
2 min read
Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

6
Comments
19 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
The Most Unusual Programming Language

The Most Unusual Programming Language

6
Comments
6 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
COMPUTATIONAL THINKING

COMPUTATIONAL THINKING

5
Comments
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
Understanding programming concepts for non-programmers

Understanding programming concepts for non-programmers

5
Comments
7 min read
The Curry-Howard Correspondence in C#: Part 2

The Curry-Howard Correspondence in C#: Part 2

5
Comments 6
3 min read
Swastik Pattern in C++

Swastik Pattern in C++

4
Comments
2 min read
CS101 —Python exercise: counting days between two dates

CS101 —Python exercise: counting days between two dates

4
Comments
4 min read
Becoming a logician with TypeScript

Becoming a logician with TypeScript

4
Comments
5 min read
My condition

My condition

3
Comments 2
7 min read
JavaScript and Logic.

JavaScript and Logic.

3
Comments
4 min read
PROGRAMMING - A SEED OF CREATION

PROGRAMMING - A SEED OF CREATION

3
Comments 2
2 min read
Learning Pilog - 4: Recursion

Learning Pilog - 4: Recursion

3
Comments
5 min read
PAGINATION in pieces

PAGINATION in pieces

3
Comments
2 min read
Java Pattern Problem

Java Pattern Problem

2
Comments
9 min read
Learn algorithms

Learn algorithms

2
Comments
1 min read
Accumulators in Declarative Logic Programming

Accumulators in Declarative Logic Programming

2
Comments
3 min read
Solving Programming Challenges

Solving Programming Challenges

2
Comments
1 min read
Symbolic logic and programming

Symbolic logic and programming

2
Comments
1 min read
Set theory(with PHP)

Set theory(with PHP)

2
Comments 2
1 min read
Teori Logika dan Algoritma Pemrograman

Teori Logika dan Algoritma Pemrograman

1
Comments
2 min read
Can someone explain that logic to me?

Can someone explain that logic to me?

1
Comments 4
1 min read
Coverage checks, conditions, and simplifying

Coverage checks, conditions, and simplifying

1
Comments
2 min read
Mastering logical thinking for programming

Mastering logical thinking for programming

1
Comments
10 min read
Higher Order Reasoning / Hierarchical Planning

Higher Order Reasoning / Hierarchical Planning

Comments
2 min read
Prazer, Yuri.

Prazer, Yuri.

Comments
6 min read
Syntax > Logic ?

Syntax > Logic ?

Comments
3 min read
Sort arrays of zero's, one's and two's

Sort arrays of zero's, one's and two's

Comments
2 min read
loading...