Skip to content
/ tcs Public
forked from boazbk/tcs

Book in preparation: introduction to theoretical computer science

License

Notifications You must be signed in to change notification settings

matk86/tcs

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Introduction to Theoretical Computer Science

This is the git repository for a book in preparation for an introductory undergraduate course on computer science. The book is posted (in both html and pdf formats) on the web page http://introtcs.org

Please use the issues and pull requests to post any suggestions, comments, typo fixes, etc..

I am working on improving this text during the summer of 2018. My main priorities are:

  • Add explanations, proof ideas, examples.

  • Add exercises

  • Emphasize the "non importance" of the choice of particular models (NAND vs circuits, NAND /NAND<< vs Turing machines/ RAM machines).

  • Write two chapters: space bounded computation and proofs and programs.

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-nd/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.

While this text will remain freely and publicly available, I may also create a printed book version in the future. By making any contribution to this work, such as a typo fix or any other suggestion or edit, you are assigning me the rights to use your contribution in both the online or any other version of this work.

About

Book in preparation: introduction to theoretical computer science

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published