|
boazbk's
repositories
|
|
.idea
|
|
.ipynb_checkpoints
|
|
Chap_02_representation.ipynb
|
|
Chap_03_Computation.ipynb
|
|
Chap_04_Syntactic_Sugar.ipynb
|
|
Chap_05_code_and_data.ipynb
|
|
Chap_07_TM.ipynb
|
|
Chap_13_reductions.ipynb
|
|
Chapt_12_model_time.ipynb
|
|
Cook_Levin.ipynb
|
|
Draw_circuits.ipynb
|
|
Fall22_Lec17_Cook_Levin.ipynb
|
|
Fall22_Lec6_loops.ipynb
|
|
Fall22_lec14_reductions.ipynb
|
|
Fall23_Lec16_Cook_Levin.ipynb
|
|
Fall23_Lec6_loops.ipynb
|
|
Fall23_lec14_reductions.ipynb
|
|
Fall23_lec2_defining_computation-Copy1.ipynb
|
|
Fall23_lec3_computing_all_functions.ipynb
|
|
Lec_04_Defining_Computation.ipynb
|
|
Lec_05_sugar.ipynb
|
|
Lec_06_code_data.ipynb
|
|
Lec_07_loops.ipynb
|
|
Lec_17_Cook_Levin.ipynb
|
|
Lec_9_universailty.ipynb
|
|
Lecture_16_Cook_Levin.ipynb
|
|
OLD_NANDpp_configurations.ipynb
|
|
OLD_NANDpp_language.ipynb
|
|
OLD_NANDpp_overview.ipynb
|
|
OLD_NANDutils.ipynb
|
|
Reductions.ipynb
|
|
Utilities.ipynb
|
|
appendix_NAND_specs.ipynb
|
|
chap_01_introduction.ipynb
|
|
fall22_lambda_calculus.ipynb
|
|
fall22_lec4_code_data.ipynb
|
|
fall23_backprop.ipynb
|
|
fall23_lambda_calculus.ipynb
|
|
formulas_from_python.ipynb
|
|
gradient_descent.ipynb
|
|
lambda_calculus_playground.ipynb
|
|
lec_01_introduction.ipynb
|
|
lec_15_reductions.ipynb
|
|
lec_15_reductions_new.ipynb
|
|
old_lecture_5_sugar.ipynb
|
|
.gitignore
|
|
ISETtoMAXCUT.png
|
|
README.md
|
|
cucumber.png
|
|
funcvscircs.png
|
|
karastubavsgschool.png
|
|
karp_abstract.png
|
|
karp_problems.png
|
|
karpthm1.png
|
|
majaoncircuit.png
|
|
nandgame.png
|
|
nandwarning.png
|
|
net_graph.jpg
|
|
net_graph.jpg.pdf
|
|
npcompletexkcd.png
|
|
npreductions.png
|
|
nvsnsquared.png
|
|
pizzaparty.png
|
|
regression.gif
|
|
satinstances.png
|
|
satsolvers.png
|
|
xorbooleancirc.png
|
