Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/harmim/vut-flp-labs

Funkcionální a logické programování - Cvičení
https://github.com/harmim/vut-flp-labs

flp functional-programming ghc haskell logical-programming prolog swi-prolog vut vut-fit

Last synced: about 2 months ago
JSON representation

Funkcionální a logické programování - Cvičení

Host: GitHub
URL: https://github.com/harmim/vut-flp-labs
Owner: harmim
License: mit
Created: 2020-03-17T17:34:47.000Z (almost 5 years ago)
Default Branch: master
Last Pushed: 2020-04-15T00:27:45.000Z (almost 5 years ago)
Last Synced: 2024-04-24T03:21:12.405Z (9 months ago)
Topics: flp, functional-programming, ghc, haskell, logical-programming, prolog, swi-prolog, vut, vut-fit
Language: Haskell
Homepage:
Size: 691 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        # Funkcionální a logické programování - Cvičení

##### Autor: Dominik Harmim 

### Cvičení

1. [Haskell - základy, funkce vyššího řádu](1%20%7C%20Haskell%20-%20základy%2C%20funkce%20vyššího%20řádu)

2. [Haskell - vyšší funkce, datové typy, monády](2%20%7C%20Haskell%20-%20vyšší%20funkce%2C%20datové%20typy%2C%20monády)

3. [Haskell - Simulátor Turingova stroje](3%20%7C%20Haskell%20-%20Simulátor%20Turingova%20stroje)

4. [Prolog - úvod](4%20%7C%20Prolog%20-%20úvod)

5. [Prolog - dynamické predikáty, pokročilejší příklady](5%20%7C%20Prolog%20-%20dynamické%20predikáty%2C%20pokročilejší%20příklady)

6. [Prolog - náročnější příklady](6%20%7C%20Prolog%20-%20náročnější%20příklady)