×

2020-logic

Home / Discover /www.cse.iitb.ac.in/~akg/courses/2020-logic/

  Parent Folder
2020-tut-01.pdf
PDF 4 years ago 100.53 kB
Copy Link   
2020-tut-02.pdf
PDF 4 years ago 92.04 kB
Copy Link   
2020-tut-03.pdf
PDF 4 years ago 83.98 kB
Copy Link   
lec-01-intro.pdf
PDF 4 years ago 178.94 kB
Copy Link   
lec-01-krishna.pdf
PDF 4 years ago 1,018.43 kB
Copy Link   
lec-02-pl-syntax.pdf
PDF 4 years ago 187.98 kB
Copy Link   
lec-03-truth-table.pdf
PDF 4 years ago 199.26 kB
Copy Link   
lec-04-formal.pdf
PDF 4 years ago 178.29 kB
Copy Link   
lec-05-formal-2.pdf
PDF 4 years ago 177.99 kB
Copy Link   


lec-06-equiv.pdf
PDF 4 years ago 161.45 kB
Copy Link   
lec-07-cnf.pdf
PDF 4 years ago 193.60 kB
Copy Link   
lec-08-low.pdf
PDF 4 years ago 246.19 kB
Copy Link   
lec-09-resolution.pdf
PDF 4 years ago 165.06 kB
Copy Link   
lec-10-complete.pdf
PDF 4 years ago 183.13 kB
Copy Link   
lec-11-sat.pdf
PDF 4 years ago 765.32 kB
Copy Link   
lec-12-encode.pdf
PDF 4 years ago 226.31 kB
Copy Link   
lec-13-sat-lab.pdf
PDF 4 years ago 162.83 kB
Copy Link   
lec-14-fol.pdf
PDF 4 years ago 191.33 kB
Copy Link   
lec-15-fol-semantics.pdf
PDF 4 years ago 192.46 kB
Copy Link   


lec-16-fol-handling.pdf
PDF 4 years ago 171.74 kB
Copy Link   
lec-17-fol-formal.pdf
PDF 4 years ago 210.10 kB
Copy Link   
lec-18-unify.pdf
PDF 4 years ago 213.14 kB
Copy Link   
lec-19-fol-cnf.pdf
PDF 4 years ago 190.77 kB
Copy Link   
lec-20-fol-resolution.pdf
PDF 4 years ago 219.48 kB
Copy Link   
lec-unique-parse.pdf
PDF 4 years ago 148.60 kB
Copy Link   
prob.tar
TAR 4 years ago 70.00 kB
Copy Link   


Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.