Isomorphic of Composition Isomorphic of CompositionAre the composition of isomorphism still isomorphic? Symmetric is one of the most ideal appearance of all structure, including mathematics. In math, isomorphism provides the s 2021-06-22 Science Note math algebra
Constants What should we add a constant after getting the Antiderivative of first order functions?Few days ago, I saw this question under @Phenomene Bizarre‘s post 如何正确理解群论中的同态基本定理？. I thought this different ap 2021-06-06 Science Note math algebra calculus
Object Oriented Mathematics !? Mathematical Structure This post is a quick introduction to basic Modern Algebra and Category Theory.I think these concepts will help the understanding of fold function, Monoid, and Monad. 2021-03-26 Science Note math algebra HackerHub Haskell programming functional logic
Maybe Another Way of Error Handling ... Errors!Throw exceptions! That seems simple, but is it? Let’s define a simple function with some boundary conditions. For example, division is undefined if the denominator is 0. 1234567// calculate a/b 2021-03-24 Science Note math algebra HackerHub Haskell programming functional logic
How does lambda build up the world? Everything is FunctionIn pure math, there is no transistors, so we cannot build any gates and storage media. For such tasks, we introduce the Church Encoding. Boolean Algebra RevisitBoolean is a value 2021-03-21 Science Note math algebra HackerHub Haskell programming functional logic
Introduction to Lambda Calculus Lambda CalculusIf you come from imperative programming, you might heard about the lambda expression. That is also called the “anonymous function”. This is a concept borrowed from functional programmin 2021-03-20 Science Note math algebra HackerHub Haskell programming functional logic
Think about Functions What is a Function?In imperative programming, we often say a function is a sub-module of out program. In order to make our program readable and clean, we often make the repeated parts into functions, 2021-03-19 Science Note math algebra HackerHub Haskell programming functional
Permutation Algebra PermualgebraInstall1pip3 install permualgebra PermutationLet $S$ be a set of $n$ distinct elements. A permutation of $S$ is a bijection $$ p : S \rightarrow S. $$ For example, let $S = { 1,2,3,4,5,6 2020-12-20 Science Note math algebra programming Python
Data Representation Binary RepresentationEverything in the computer is represented using a very simple binary coding scheme where the only symbols used are 0 and 1. Magnetic disks: magnetic material can be polarized to 2020-10-18 Science Note assembly HackerHub