Logic & Foundation with Haskell: Haskell 9 :: Natural Numbers

Logic & Foundations with Haskell: Haskell 13 :: Integers from Natural NumbersПодробнее

Logic & Foundation with Haskell: Haskell 9 :: Natural NumbersПодробнее

Logic & Foundations with Haskell: Haskell 12 :: Typeclasses for Natural NumbersПодробнее

Logic & Foundations with Haskell: Logic 9 :: Completeness of Natural Deduction for LPПодробнее

Logic & Foundations with Haskell: Haskell 2 :: Basic OperationsПодробнее

Logic & Foundations with Haskell: Haskell 8 :: Implementing FunctionsПодробнее

Logic & Foundations with Haskell: Logic 3 :: Naive First Order LogicПодробнее

Logic & Foundations with Haskell: Haskell 6 :: SetsПодробнее

Logic & Foundations with Haskell: Haskell 4 :: FunctionsПодробнее

Logic & Foundations with Haskell: Logic 5 :: Natural DeductionПодробнее

Logic & Foundations with Haskell: Haskell 14 :: Rational and Complex Numbers / PolynomialsПодробнее

Logic & Foundations with Haskell: Haskell 7 :: Implementing RelationsПодробнее

Logic & Foundations with Haskell: Haskell 5 :: Implementing Logical FunctionsПодробнее

Logic & Foundations with Haskell: Logic 2 :: Naive Propositional LogicПодробнее

Logic & Foundations with Haskell: Course IntroПодробнее

Logic & Foundations with Haskell: Logic 4 :: Informal Proof TheoryПодробнее

Haskell in 100 SecondsПодробнее