Ecosyste.ms: Awesome

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

https://github.com/boazbk/tcscode

Supplementary code for Introduction to Theoretical Computer Science book.
https://github.com/boazbk/tcscode

Last synced: 2 days ago
JSON representation

Supplementary code for Introduction to Theoretical Computer Science book.

Host: GitHub
URL: https://github.com/boazbk/tcscode
Owner: boazbk
Created: 2019-01-14T23:08:58.000Z (over 5 years ago)
Default Branch: master
Last Pushed: 2023-11-29T23:17:54.000Z (7 months ago)
Last Synced: 2024-03-03T20:36:32.990Z (4 months ago)
Language: Jupyter Notebook
Size: 27.6 MB
Stars: 55
Watchers: 13
Forks: 12
Open Issues: 0
Metadata Files:
- Readme: README.md

Lists

awesome-stars - tcscode

README

        # tcscode

Supplementary code for Introduction to Theoretical Computer Science book:

* [Chapter 0: Introduction](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/chap_01_introduction.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/chap_01_introduction.ipynb)

* [Chapter 2: Computation and Representation](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chap_02_representation.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chap_02_representation.ipynb)

* [Chapter 3: Defining computation](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chap_03_Computation.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chap_03_Computation.ipynb)

* [Chapter 4: Syntactic Sugar and Computing Every function](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chap_04_Syntactic_Sugar.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chap_04_Syntactic_Sugar.ipynb)

* [Chapter 5: Code as data, Data as code](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chap_05_code_and_data.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chap_05_code_and_data.ipynb)

* [Chapter 7: Loops and Infinity, and Chapter 9: Universality and Uncomputability](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chap_07_TM.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chap_07_TM.ipynb)

* [Lambda calculus (related to Chapter 8: Equivalent models of computation)](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chap_07_TM.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chap_07_TM.ipynb)

* [Chapter 13: Modeling running time](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chapt_12_model_time.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chapt_12_model_time.ipynb)

* [Chapter 14: Polynomial-time reductions](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Chap_13_reductions.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Chap_13_reductions.ipynb)

* [Chapter 15: NP, NP-Completeness, and the Cook-Levin Theorem](https://nbviewer.jupyter.org/github/boazbk/tcscode/blob/master/Cook_Levin.ipynb)  [![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/boazbk/tcscode/blob/master/Cook_Levin.ipynb)

Use [https://nbviewer.jupyter.org/github/boazbk/tcscode/tree/master/](https://nbviewer.jupyter.org/github/boazbk/tcscode/tree/master/) to view all the notebooks in a static version.

See also [version on mybinder](https://mybinder.org/v2/gh/boazbk/tcscode/master).