Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
.idea		.idea
.ipynb_checkpoints		.ipynb_checkpoints
.gitignore		.gitignore
Chap_02_representation.ipynb		Chap_02_representation.ipynb
Chap_03_Computation.ipynb		Chap_03_Computation.ipynb
Chap_04_Syntactic_Sugar.ipynb		Chap_04_Syntactic_Sugar.ipynb
Chap_05_code_and_data.ipynb		Chap_05_code_and_data.ipynb
Chap_07_TM.ipynb		Chap_07_TM.ipynb
Chap_13_reductions.ipynb		Chap_13_reductions.ipynb
Chapt_12_model_time.ipynb		Chapt_12_model_time.ipynb
Cook_Levin.ipynb		Cook_Levin.ipynb
ISETtoMAXCUT.png		ISETtoMAXCUT.png
Lec_04_Defining_Computation.ipynb		Lec_04_Defining_Computation.ipynb
Lec_05_sugar.ipynb		Lec_05_sugar.ipynb
Lec_06_code_data.ipynb		Lec_06_code_data.ipynb
Lec_07_loops.ipynb		Lec_07_loops.ipynb
Lec_17_Cook_Levin.ipynb		Lec_17_Cook_Levin.ipynb
Lec_9_universailty.ipynb		Lec_9_universailty.ipynb
Lecture_16_Cook_Levin.ipynb		Lecture_16_Cook_Levin.ipynb
OLD_NANDpp_configurations.ipynb		OLD_NANDpp_configurations.ipynb
OLD_NANDpp_language.ipynb		OLD_NANDpp_language.ipynb
OLD_NANDpp_overview.ipynb		OLD_NANDpp_overview.ipynb
OLD_NANDutils.ipynb		OLD_NANDutils.ipynb
README.md		README.md
Reductions.ipynb		Reductions.ipynb
Utilities.ipynb		Utilities.ipynb
appendix_NAND_specs.ipynb		appendix_NAND_specs.ipynb
chap_01_introduction.ipynb		chap_01_introduction.ipynb
cucumber.png		cucumber.png
funcvscircs.png		funcvscircs.png
karastubavsgschool.png		karastubavsgschool.png
karp_abstract.png		karp_abstract.png
karp_problems.png		karp_problems.png
karpthm1.png		karpthm1.png
lambda_calculus.ipynb		lambda_calculus.ipynb
lec_01_introduction.ipynb		lec_01_introduction.ipynb
lec_15_reductions.ipynb		lec_15_reductions.ipynb
lec_15_reductions_new.ipynb		lec_15_reductions_new.ipynb
majaoncircuit.png		majaoncircuit.png
nandgame.png		nandgame.png
nandwarning.png		nandwarning.png
npcompletexkcd.png		npcompletexkcd.png
npreductions.png		npreductions.png
nvsnsquared.png		nvsnsquared.png
old_lecture_5_sugar.ipynb		old_lecture_5_sugar.ipynb
pizzaparty.png		pizzaparty.png
satinstances.png		satinstances.png
satsolvers.png		satsolvers.png
xorbooleancirc.png		xorbooleancirc.png

Repository files navigation

tcscode

Supplementary code for Introduction to Theoretical Computer Science book:

Use https://nbviewer.jupyter.org/github/boazbk/tcscode/tree/master/ to view all the notebooks in a static version. See also version on mybinder.

shuravban/tcscode

Folders and files

Latest commit

History

Repository files navigation

tcscode

About

Topics

Resources

Stars

Watchers

Forks

Languages