├── .gitignore ├── .idea ├── .gitignore ├── inspectionProfiles │ └── profiles_settings.xml ├── misc.xml ├── modules.xml ├── tcscode.iml └── vcs.xml ├── .ipynb_checkpoints ├── Chap_03_Computation-checkpoint.ipynb ├── Chap_13_reductions-checkpoint.ipynb ├── Lec_04_Defining_Computation-checkpoint.ipynb ├── Lecture03_Defining_Computation_old-checkpoint.ipynb ├── Utilities-checkpoint.ipynb ├── W3D1a_lecture-checkpoint.ipynb └── lec_15_reductions-checkpoint.ipynb ├── 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 ├── ISETtoMAXCUT.png ├── 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 ├── README.md ├── Reductions.ipynb ├── Utilities.ipynb ├── appendix_NAND_specs.ipynb ├── chap_01_introduction.ipynb ├── cucumber.png ├── fall22_lambda_calculus.ipynb ├── fall22_lec4_code_data.ipynb ├── fall23_backprop.ipynb ├── fall23_lambda_calculus.ipynb ├── formulas_from_python.ipynb ├── funcvscircs.png ├── gradient_descent.ipynb ├── karastubavsgschool.png ├── karp_abstract.png ├── karp_problems.png ├── karpthm1.png ├── lambda_calculus_playground.ipynb ├── lec_01_introduction.ipynb ├── lec_15_reductions.ipynb ├── lec_15_reductions_new.ipynb ├── majaoncircuit.png ├── nandgame.png ├── nandwarning.png ├── net_graph.jpg ├── net_graph.jpg.pdf ├── npcompletexkcd.png ├── npreductions.png ├── nvsnsquared.png ├── old_lecture_5_sugar.ipynb ├── pizzaparty.png ├── regression.gif ├── satinstances.png ├── satsolvers.png └── xorbooleancirc.png /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.gitignore -------------------------------------------------------------------------------- /.idea/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.idea/.gitignore -------------------------------------------------------------------------------- /.idea/inspectionProfiles/profiles_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.idea/inspectionProfiles/profiles_settings.xml -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/tcscode.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.idea/tcscode.iml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /.ipynb_checkpoints/Chap_03_Computation-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.ipynb_checkpoints/Chap_03_Computation-checkpoint.ipynb -------------------------------------------------------------------------------- /.ipynb_checkpoints/Chap_13_reductions-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.ipynb_checkpoints/Chap_13_reductions-checkpoint.ipynb -------------------------------------------------------------------------------- /.ipynb_checkpoints/Lec_04_Defining_Computation-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.ipynb_checkpoints/Lec_04_Defining_Computation-checkpoint.ipynb -------------------------------------------------------------------------------- /.ipynb_checkpoints/Lecture03_Defining_Computation_old-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.ipynb_checkpoints/Lecture03_Defining_Computation_old-checkpoint.ipynb -------------------------------------------------------------------------------- /.ipynb_checkpoints/Utilities-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.ipynb_checkpoints/Utilities-checkpoint.ipynb -------------------------------------------------------------------------------- /.ipynb_checkpoints/W3D1a_lecture-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.ipynb_checkpoints/W3D1a_lecture-checkpoint.ipynb -------------------------------------------------------------------------------- /.ipynb_checkpoints/lec_15_reductions-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/.ipynb_checkpoints/lec_15_reductions-checkpoint.ipynb -------------------------------------------------------------------------------- /Chap_02_representation.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Chap_02_representation.ipynb -------------------------------------------------------------------------------- /Chap_03_Computation.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Chap_03_Computation.ipynb -------------------------------------------------------------------------------- /Chap_04_Syntactic_Sugar.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Chap_04_Syntactic_Sugar.ipynb -------------------------------------------------------------------------------- /Chap_05_code_and_data.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Chap_05_code_and_data.ipynb -------------------------------------------------------------------------------- /Chap_07_TM.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Chap_07_TM.ipynb -------------------------------------------------------------------------------- /Chap_13_reductions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Chap_13_reductions.ipynb -------------------------------------------------------------------------------- /Chapt_12_model_time.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Chapt_12_model_time.ipynb -------------------------------------------------------------------------------- /Cook_Levin.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Cook_Levin.ipynb -------------------------------------------------------------------------------- /Draw_circuits.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Draw_circuits.ipynb -------------------------------------------------------------------------------- /Fall22_Lec17_Cook_Levin.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall22_Lec17_Cook_Levin.ipynb -------------------------------------------------------------------------------- /Fall22_Lec6_loops.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall22_Lec6_loops.ipynb -------------------------------------------------------------------------------- /Fall22_lec14_reductions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall22_lec14_reductions.ipynb -------------------------------------------------------------------------------- /Fall23_Lec16_Cook_Levin.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall23_Lec16_Cook_Levin.ipynb -------------------------------------------------------------------------------- /Fall23_Lec6_loops.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall23_Lec6_loops.ipynb -------------------------------------------------------------------------------- /Fall23_lec14_reductions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall23_lec14_reductions.ipynb -------------------------------------------------------------------------------- /Fall23_lec2_defining_computation-Copy1.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall23_lec2_defining_computation-Copy1.ipynb -------------------------------------------------------------------------------- /Fall23_lec3_computing_all_functions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Fall23_lec3_computing_all_functions.ipynb -------------------------------------------------------------------------------- /ISETtoMAXCUT.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/ISETtoMAXCUT.png -------------------------------------------------------------------------------- /Lec_04_Defining_Computation.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Lec_04_Defining_Computation.ipynb -------------------------------------------------------------------------------- /Lec_05_sugar.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Lec_05_sugar.ipynb -------------------------------------------------------------------------------- /Lec_06_code_data.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Lec_06_code_data.ipynb -------------------------------------------------------------------------------- /Lec_07_loops.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Lec_07_loops.ipynb -------------------------------------------------------------------------------- /Lec_17_Cook_Levin.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Lec_17_Cook_Levin.ipynb -------------------------------------------------------------------------------- /Lec_9_universailty.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Lec_9_universailty.ipynb -------------------------------------------------------------------------------- /Lecture_16_Cook_Levin.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Lecture_16_Cook_Levin.ipynb -------------------------------------------------------------------------------- /OLD_NANDpp_configurations.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/OLD_NANDpp_configurations.ipynb -------------------------------------------------------------------------------- /OLD_NANDpp_language.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/OLD_NANDpp_language.ipynb -------------------------------------------------------------------------------- /OLD_NANDpp_overview.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/OLD_NANDpp_overview.ipynb -------------------------------------------------------------------------------- /OLD_NANDutils.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/OLD_NANDutils.ipynb -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/README.md -------------------------------------------------------------------------------- /Reductions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Reductions.ipynb -------------------------------------------------------------------------------- /Utilities.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/Utilities.ipynb -------------------------------------------------------------------------------- /appendix_NAND_specs.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/appendix_NAND_specs.ipynb -------------------------------------------------------------------------------- /chap_01_introduction.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/chap_01_introduction.ipynb -------------------------------------------------------------------------------- /cucumber.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/cucumber.png -------------------------------------------------------------------------------- /fall22_lambda_calculus.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/fall22_lambda_calculus.ipynb -------------------------------------------------------------------------------- /fall22_lec4_code_data.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/fall22_lec4_code_data.ipynb -------------------------------------------------------------------------------- /fall23_backprop.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/fall23_backprop.ipynb -------------------------------------------------------------------------------- /fall23_lambda_calculus.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/fall23_lambda_calculus.ipynb -------------------------------------------------------------------------------- /formulas_from_python.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/formulas_from_python.ipynb -------------------------------------------------------------------------------- /funcvscircs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/funcvscircs.png -------------------------------------------------------------------------------- /gradient_descent.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/gradient_descent.ipynb -------------------------------------------------------------------------------- /karastubavsgschool.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/karastubavsgschool.png -------------------------------------------------------------------------------- /karp_abstract.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/karp_abstract.png -------------------------------------------------------------------------------- /karp_problems.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/karp_problems.png -------------------------------------------------------------------------------- /karpthm1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/karpthm1.png -------------------------------------------------------------------------------- /lambda_calculus_playground.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/lambda_calculus_playground.ipynb -------------------------------------------------------------------------------- /lec_01_introduction.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/lec_01_introduction.ipynb -------------------------------------------------------------------------------- /lec_15_reductions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/lec_15_reductions.ipynb -------------------------------------------------------------------------------- /lec_15_reductions_new.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/lec_15_reductions_new.ipynb -------------------------------------------------------------------------------- /majaoncircuit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/majaoncircuit.png -------------------------------------------------------------------------------- /nandgame.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/nandgame.png -------------------------------------------------------------------------------- /nandwarning.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/nandwarning.png -------------------------------------------------------------------------------- /net_graph.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/net_graph.jpg -------------------------------------------------------------------------------- /net_graph.jpg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/net_graph.jpg.pdf -------------------------------------------------------------------------------- /npcompletexkcd.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/npcompletexkcd.png -------------------------------------------------------------------------------- /npreductions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/npreductions.png -------------------------------------------------------------------------------- /nvsnsquared.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/nvsnsquared.png -------------------------------------------------------------------------------- /old_lecture_5_sugar.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/old_lecture_5_sugar.ipynb -------------------------------------------------------------------------------- /pizzaparty.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/pizzaparty.png -------------------------------------------------------------------------------- /regression.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/regression.gif -------------------------------------------------------------------------------- /satinstances.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/satinstances.png -------------------------------------------------------------------------------- /satsolvers.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/satsolvers.png -------------------------------------------------------------------------------- /xorbooleancirc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boazbk/tcscode/HEAD/xorbooleancirc.png --------------------------------------------------------------------------------