Name		Name	Last commit message	Last commit date
Latest commit boazbk wip Nov 29, 2023 307e8fd · Nov 29, 2023 History 49 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
Draw_circuits.ipynb		Draw_circuits.ipynb
Fall22_Lec17_Cook_Levin.ipynb		Fall22_Lec17_Cook_Levin.ipynb
Fall22_Lec6_loops.ipynb		Fall22_Lec6_loops.ipynb
Fall22_lec14_reductions.ipynb		Fall22_lec14_reductions.ipynb
Fall23_Lec16_Cook_Levin.ipynb		Fall23_Lec16_Cook_Levin.ipynb
Fall23_Lec6_loops.ipynb		Fall23_Lec6_loops.ipynb
Fall23_lec14_reductions.ipynb		Fall23_lec14_reductions.ipynb
Fall23_lec2_defining_computation-Copy1.ipynb		Fall23_lec2_defining_computation-Copy1.ipynb
Fall23_lec3_computing_all_functions.ipynb		Fall23_lec3_computing_all_functions.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
fall22_lambda_calculus.ipynb		fall22_lambda_calculus.ipynb
fall22_lec4_code_data.ipynb		fall22_lec4_code_data.ipynb
fall23_backprop.ipynb		fall23_backprop.ipynb
fall23_lambda_calculus.ipynb		fall23_lambda_calculus.ipynb
formulas_from_python.ipynb		formulas_from_python.ipynb
funcvscircs.png		funcvscircs.png
gradient_descent.ipynb		gradient_descent.ipynb
karastubavsgschool.png		karastubavsgschool.png
karp_abstract.png		karp_abstract.png
karp_problems.png		karp_problems.png
karpthm1.png		karpthm1.png
lambda_calculus_playground.ipynb		lambda_calculus_playground.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
net_graph.jpg		net_graph.jpg
net_graph.jpg.pdf		net_graph.jpg.pdf
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
regression.gif		regression.gif
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.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

tcscode

About

Releases

Packages

Contributors 2

Languages

boazbk/tcscode

Folders and files

Latest commit

History

Repository files navigation

tcscode

About

Resources

Stars

Watchers

Forks

Releases

Packages 0

Contributors 2

Languages

Packages