https://github.com/ryukinix/discrete-mathematics

A computational way to study discrete mathematics using Haskell
https://github.com/ryukinix/discrete-mathematics

computer-science discrete-mathematics haskell mathematics

Last synced: 3 months ago
JSON representation

A computational way to study discrete mathematics using Haskell

• Host: GitHub
• URL: https://github.com/ryukinix/discrete-mathematics
• Owner: ryukinix
• License: mit
• Created: 2016-09-10T23:44:39.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-03-03T15:15:54.000Z (almost 6 years ago)
• Last Synced: 2024-08-10T11:03:04.102Z (6 months ago)
• Topics: computer-science, discrete-mathematics, haskell, mathematics
• Language: Haskell
• Size: 13.8 MB
• Stars: 69
• Watchers: 6
• Forks: 5
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Abstract

This project is designed to help computer science students to create a heavy

relation with its journey about mathematics using haskell to understand the

fundamentals of computer science and discrete mathematics.

![haskell](etc/haskell.png)

# Goal

The main target of this repository is use git to save all the solutions of book

exercises explaining really easily the mathematics concepts envolved

as well the Haskell too.

# Reading [120/442]

![progress](http://progressed.io/bar/27)

- [x] Section I: Programming and Reasoning with Equations

  - [x] Chapter 1: Introduction to Haskell

  - [x] Chapter 2: Equational Reasoning

  - [x] Chapter 3: Recursion

  - [x] Chapter 4: Induction

  - [x] Chapter 5: Trees

- [ ] Section II: Logic

  - [ ] Chapter 6: Propositional Logic

  - [ ] Chapter 7: Predicate Logic

- [ ] Section III: Set Theory

  - [ ] Chapter 8: Set Theory

  - [ ] Chapter 9: Inductively Defined Sets

  - [ ] Chapter 10: Relations

  - [ ] Chapter 11: Functions

- [ ] Section IV: Applications

  - [ ] Chapter 12: The AVL Tree Miracle

  - [ ] Chapter 13: Discrete Mathematics in Circuit Design

# Authors

* [Manoel Machado](https://www.github.com/ryukinix)

# License

[MIT](LICENSE)