├── README.md ├── asn ├── asn2.pdf ├── asn2.tex ├── asn3.pdf ├── asn3.tex ├── asn4.aux ├── asn4.fdb_latexmk ├── asn4.fls ├── asn4.log ├── asn4.pdf ├── asn4.tex ├── asn5.aux ├── asn5.fdb_latexmk ├── asn5.fls ├── asn5.log ├── asn5.pdf ├── asn5.synctex.gz └── asn5.tex ├── code ├── fixpoint_combinators.py └── z3 │ ├── mccarthy91.py │ ├── miniverif.py │ └── z3tut.py ├── handwritten_notes ├── Note Apr 12, 2022 12_57_19 PM.pdf ├── Note Apr 14, 2022 1_04_22 PM.pdf ├── Note Apr 19, 2022 12_57_40 PM.pdf ├── Note Apr 21, 2022 12_55_59 PM.pdf ├── Note Apr 5, 2022 12_51_43 PM.pdf ├── Note Apr 7, 2022 1_00_04 PM.pdf ├── Note Feb 1, 2022 1_01_38 PM.pdf ├── Note Feb 10, 2022 12_57_29 PM.pdf ├── Note Feb 15, 2022 12_59_50 PM.pdf ├── Note Feb 22, 2022 12_52_43 PM.pdf ├── Note Feb 24, 2022 12_54_01 PM.pdf ├── Note Feb 8, 2022 11_46_49 AM.pdf ├── Note Jan 25, 2022 12_51_36 PM.pdf ├── Note Mar 1, 2022 12_57_13 PM.pdf ├── Note Mar 10, 2022 1_00_11 PM.pdf ├── Note Mar 22, 2022 12_55_32 PM.pdf ├── Note Mar 29, 2022 12_57_16 PM.pdf ├── Note Mar 3, 2022 12_58_40 PM.pdf ├── Note Mar 31, 2022 12_55_15 PM.pdf └── Note Mar 8, 2022 12_57_52 PM.pdf └── notes ├── cs704-lec-01-25-2010.pdf ├── cs704-lec-01-27-2010.pdf ├── cs704-lec-01-29-2010.pdf ├── cs704-lec-02-01-2010.pdf ├── cs704-lec-02-10-2010.pdf ├── cs704-lec-04-19-2010.pdf ├── cs704-lec-1-22-2010.pdf ├── hornClauses.aux ├── hornClauses.fdb_latexmk ├── hornClauses.fls ├── hornClauses.log ├── hornClauses.out ├── hornClauses.pdf ├── hornClauses.tex ├── jan26.pdf ├── preamble.tex ├── prooftree.sty ├── transRelEnc.pdf └── transRelEnc.tex /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/README.md -------------------------------------------------------------------------------- /asn/asn2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn2.pdf -------------------------------------------------------------------------------- /asn/asn2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn2.tex -------------------------------------------------------------------------------- /asn/asn3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn3.pdf -------------------------------------------------------------------------------- /asn/asn3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn3.tex -------------------------------------------------------------------------------- /asn/asn4.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn4.aux -------------------------------------------------------------------------------- /asn/asn4.fdb_latexmk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn4.fdb_latexmk -------------------------------------------------------------------------------- /asn/asn4.fls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn4.fls -------------------------------------------------------------------------------- /asn/asn4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn4.log -------------------------------------------------------------------------------- /asn/asn4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn4.pdf -------------------------------------------------------------------------------- /asn/asn4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn4.tex -------------------------------------------------------------------------------- /asn/asn5.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn5.aux -------------------------------------------------------------------------------- /asn/asn5.fdb_latexmk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn5.fdb_latexmk -------------------------------------------------------------------------------- /asn/asn5.fls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn5.fls -------------------------------------------------------------------------------- /asn/asn5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn5.log -------------------------------------------------------------------------------- /asn/asn5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn5.pdf -------------------------------------------------------------------------------- /asn/asn5.synctex.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn5.synctex.gz -------------------------------------------------------------------------------- /asn/asn5.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/asn/asn5.tex -------------------------------------------------------------------------------- /code/fixpoint_combinators.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/code/fixpoint_combinators.py -------------------------------------------------------------------------------- /code/z3/mccarthy91.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/code/z3/mccarthy91.py -------------------------------------------------------------------------------- /code/z3/miniverif.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/code/z3/miniverif.py -------------------------------------------------------------------------------- /code/z3/z3tut.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/code/z3/z3tut.py -------------------------------------------------------------------------------- /handwritten_notes/Note Apr 12, 2022 12_57_19 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Apr 12, 2022 12_57_19 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Apr 14, 2022 1_04_22 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Apr 14, 2022 1_04_22 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Apr 19, 2022 12_57_40 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Apr 19, 2022 12_57_40 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Apr 21, 2022 12_55_59 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Apr 21, 2022 12_55_59 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Apr 5, 2022 12_51_43 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Apr 5, 2022 12_51_43 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Apr 7, 2022 1_00_04 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Apr 7, 2022 1_00_04 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Feb 1, 2022 1_01_38 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Feb 1, 2022 1_01_38 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Feb 10, 2022 12_57_29 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Feb 10, 2022 12_57_29 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Feb 15, 2022 12_59_50 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Feb 15, 2022 12_59_50 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Feb 22, 2022 12_52_43 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Feb 22, 2022 12_52_43 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Feb 24, 2022 12_54_01 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Feb 24, 2022 12_54_01 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Feb 8, 2022 11_46_49 AM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Feb 8, 2022 11_46_49 AM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Jan 25, 2022 12_51_36 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Jan 25, 2022 12_51_36 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Mar 1, 2022 12_57_13 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Mar 1, 2022 12_57_13 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Mar 10, 2022 1_00_11 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Mar 10, 2022 1_00_11 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Mar 22, 2022 12_55_32 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Mar 22, 2022 12_55_32 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Mar 29, 2022 12_57_16 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Mar 29, 2022 12_57_16 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Mar 3, 2022 12_58_40 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Mar 3, 2022 12_58_40 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Mar 31, 2022 12_55_15 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Mar 31, 2022 12_55_15 PM.pdf -------------------------------------------------------------------------------- /handwritten_notes/Note Mar 8, 2022 12_57_52 PM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/handwritten_notes/Note Mar 8, 2022 12_57_52 PM.pdf -------------------------------------------------------------------------------- /notes/cs704-lec-01-25-2010.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/cs704-lec-01-25-2010.pdf -------------------------------------------------------------------------------- /notes/cs704-lec-01-27-2010.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/cs704-lec-01-27-2010.pdf -------------------------------------------------------------------------------- /notes/cs704-lec-01-29-2010.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/cs704-lec-01-29-2010.pdf -------------------------------------------------------------------------------- /notes/cs704-lec-02-01-2010.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/cs704-lec-02-01-2010.pdf -------------------------------------------------------------------------------- /notes/cs704-lec-02-10-2010.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/cs704-lec-02-10-2010.pdf -------------------------------------------------------------------------------- /notes/cs704-lec-04-19-2010.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/cs704-lec-04-19-2010.pdf -------------------------------------------------------------------------------- /notes/cs704-lec-1-22-2010.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/cs704-lec-1-22-2010.pdf -------------------------------------------------------------------------------- /notes/hornClauses.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/hornClauses.aux -------------------------------------------------------------------------------- /notes/hornClauses.fdb_latexmk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/hornClauses.fdb_latexmk -------------------------------------------------------------------------------- /notes/hornClauses.fls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/hornClauses.fls -------------------------------------------------------------------------------- /notes/hornClauses.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/hornClauses.log -------------------------------------------------------------------------------- /notes/hornClauses.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/hornClauses.out -------------------------------------------------------------------------------- /notes/hornClauses.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/hornClauses.pdf -------------------------------------------------------------------------------- /notes/hornClauses.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/hornClauses.tex -------------------------------------------------------------------------------- /notes/jan26.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/jan26.pdf -------------------------------------------------------------------------------- /notes/preamble.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/preamble.tex -------------------------------------------------------------------------------- /notes/prooftree.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/prooftree.sty -------------------------------------------------------------------------------- /notes/transRelEnc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/transRelEnc.pdf -------------------------------------------------------------------------------- /notes/transRelEnc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/barghouthi/cs704/HEAD/notes/transRelEnc.tex --------------------------------------------------------------------------------