MHB Coding Theory: What You Need to Know

  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Coding Theory
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

What is Coding Theory about? What knowledge is required?
 
Physics news on Phys.org
Is it related to Applied Algebra? If so, what is the latter about?
 

Thread 'Value of intuitionistic logic'

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
View full post »

Similar threads

Documentation of (only) source code
Replies
40
Views
490
Unison - A new approach to Distributed computing, Storing Code, etc.
Replies
7
Views
3K
How to change screen orientation in Godot with code?
Replies
0
Views
2K
Coding Theory. It also combine some linear algebra as well.
Replies
4
Views
2K
MHB Introduction to Set Theory: Fundamentals, Construction, and Arithmetic
Replies
3
Views
2K
I What is the Definition of a Sequence in Formal Language Theory?
Replies
4
Views
1K
How do I connect a button pressed signal with code in Godot 4?
Replies
1
Views
5K
My name is...
Replies
5
Views
470
C/C++ Learning to Code Game Enemy AI in C++ from Scratch or in Assembly?
Replies
16
Views
4K
Understanding the source code for an OpenFOAM solver (CFD)
Replies
14
Views
3K

Hot Threads

Recent Insights

Back
Top