|
boazbk's
repositories
|
|
BFassignment.ipynb
|
|
Cook_Levin.ipynb
|
|
Lec_7_lambda.ipynb
|
|
Lecture03_Defining_Computation.ipynb
|
|
Lecture04_sugar.ipynb
|
|
Lecture_16_Cook_Levin.ipynb
|
|
NAND overview.ipynb
|
|
NAND programming language.ipynb
|
|
NANDpp_configurations.ipynb
|
|
NANDpp_language.ipynb
|
|
NANDpp_overview.ipynb
|
|
NANDshift_language.ipynb
|
|
NANDutils.ipynb
|
|
Reductions.ipynb
|
|
blog.ipynb
|
|
lambda.ipynb
|
|
lec_01_introduction.ipynb
|
|
lec_15_reductions.ipynb
|
|
.gitattributes
|
|
3colgadget.png
|
|
ISETtoMAXCUT.png
|
|
NAND_gate.png
|
|
README.md
|
|
abstractions_talk1.pptx
|
|
ahlfors.png
|
|
clique.png
|
|
compendium.png
|
|
environment-old.yml
|
|
environment.yml
|
|
githubbutton.png
|
|
halting1.pptx
|
|
karastubavsgschool.png
|
|
karp_abstract.png
|
|
karp_problems.png
|
|
karpthm1.png
|
|
lec_17_PvsNP.pptx
|
|
lec_21_crypto.pptx
|
|
lec_22_proofs.pptx
|
|
maxcut.png
|
|
moorelaw.jpeg
|
|
npcompletexkcd.png
|
|
npreductions.png
|
|
nvsnsquared.png
|
|
offlinebpp.pptx
|
|
satinstances.png
|
|
satsolvers.png
|
|
size_vs_func2.pptx
|
|
slides_course_summary_2018.pptx
|
|
transistor-NAND-Gate.png
|
