| Date | Topic | Chapter Reading | PPT Notes |
PDF Notes |
Homework | Tests | Files
for Assignments and Solutions |
|||||||||||||||||||||||||||||||
| Wednesday, January 18, 2012 | Introduction and Tools | Purple are Project suggestions. | Intro & Tools | Intro & Tools | ||||||||||||||||||||||||||||||||||
| Monday, January 23, 2012 | Relations, Primitive Recursive Functions, Lambda Calculus, Combinator Logic and Lisp | PLAI
Book: Chapters 22, 1, and 2 |
PLAI 1 | PLAI 1 | HW 1 | Solutions | Quiz 1 | |||||||||||||||||||||||||||||||
| Lambda Calculus Tutorial | ||||||||||||||||||||||||||||||||||||||
| Online Tutorial | ||||||||||||||||||||||||||||||||||||||
| Getting started downloads | MetaMath pdf | |||||||||||||||||||||||||||||||||||||
| Textbook | crono.zip | |||||||||||||||||||||||||||||||||||||
| Installing Racket | JDBLisp with Classes.zip | |||||||||||||||||||||||||||||||||||||
| Scheme for Chapter 1 | ||||||||||||||||||||||||||||||||||||||
| Scheme for Chapter 2 | ||||||||||||||||||||||||||||||||||||||
| Scheme Tutorial | ||||||||||||||||||||||||||||||||||||||
| Wednesday, January 25, 2012 | Continue from last class | Quiz 2A | ||||||||||||||||||||||||||||||||||||
| Quiz 2B | ||||||||||||||||||||||||||||||||||||||
| Monday, January 30, 2012 | Substitution | PLAI
Book: Chapter 3 |
PLAI 2 | PLAI 2 | ||||||||||||||||||||||||||||||||||
| Scheme for Chapter 3 first subst | ||||||||||||||||||||||||||||||||||||||
| Scheme for Chapter 3 second subst | ||||||||||||||||||||||||||||||||||||||
| Scheme for Chapter 3 Final | ||||||||||||||||||||||||||||||||||||||
| Wednesday, February 01, 2012 | Syntax, Grammar, Parsing and Interpretation | HLL 1 | HLL 1 | HW 2 | Solution | Quiz 3 | ||||||||||||||||||||||||||||||||
| javacc tutorial | Connect.zip | |||||||||||||||||||||||||||||||||||||
| javacc FAQ | ||||||||||||||||||||||||||||||||||||||
| JavaWorld javacc | ||||||||||||||||||||||||||||||||||||||
| javacc demo1 | ||||||||||||||||||||||||||||||||||||||
| javacc demo2 | ||||||||||||||||||||||||||||||||||||||
| Unix tutorial | ||||||||||||||||||||||||||||||||||||||
| sed one liners | ||||||||||||||||||||||||||||||||||||||
| javacc demo3 | ||||||||||||||||||||||||||||||||||||||
| Chomsky, Lexical Analysis and Parsing, H-- | HLL 2 | HLL 2 | ||||||||||||||||||||||||||||||||||||
| Hmm Grammar and Abstract Syntax | OO Hmm Doc. | |||||||||||||||||||||||||||||||||||||
| Formatting with javacc --> | Hmm + SQL | |||||||||||||||||||||||||||||||||||||
| Original Hmm.zip | ||||||||||||||||||||||||||||||||||||||
| Original Hmm Doc | ||||||||||||||||||||||||||||||||||||||
| Monday, February 06, 2012 | Continue from last class - formatting using javacc (see information below) | Homework 3 (Also see below) |
Solution | Quiz 4 | ||||||||||||||||||||||||||||||||||
| javacc Formatter discussed in class | HW3 javacc formatter | |||||||||||||||||||||||||||||||||||||
| zip file | input | output | zip file | input | output | |||||||||||||||||||||||||||||||||
| Picture of mapping of test to output | Formatter.jj | Picture of mapping of test to output | Formatter.jj | |||||||||||||||||||||||||||||||||||
| Wednesday, February 08, 2012 | Names, Types and Functions | hmm_nice_demo.zip | Quiz 5 | |||||||||||||||||||||||||||||||||||
| Deferred Substitution, Functions, and Closures | PLAI
Book: Chapters 4, 5 and 6 |
MyFactorial.c | ||||||||||||||||||||||||||||||||||||
| Scheme for Chapter 4 | HLL 3 & PLAI 3 | HLL 3 & PLAI 3 | ||||||||||||||||||||||||||||||||||||
| Scheme for Chapters 5 & 6 | ||||||||||||||||||||||||||||||||||||||
| Monday, February 13, 2012 | Continue from last class - runtime stack, PLAI function applicationi, deferred substitution and closures | Quiz 6A | ||||||||||||||||||||||||||||||||||||
| Quiz 6B | ||||||||||||||||||||||||||||||||||||||
| Wednesday, February 15, 2012 | Antlr | Antlr Video Tutorials | Homework 4 | Solution | ||||||||||||||||||||||||||||||||||
| Modifying jython | SQLDeveloper | Modifying Jython | Modifying Jython | A previous semester's HW to add "let" to jython | Solutions--> | Python.g | PartialPython.g | Base.g | Call.java | Lambda.java | ||||||||||||||||||||||||||||
| SQLDeveloper Connection Example | fjyswan.zip | Extra Credit--> | Author | Python.g | PartialPython.g | Call.java | Lambda.java | |||||||||||||||||||||||||||||||
| Getting fjyswan working on the CS machines | ||||||||||||||||||||||||||||||||||||||
| Monday, February 20, 2012 | Semantic Web Programming | Oracle's Semantic Technology | YouTube Intro to the Semantic Web |
|||||||||||||||||||||||||||||||||||
| Oracle
Semantic Tutorial See examples on 1-28 and 1-29 |
YouTube RDF and RDFa |
YouTube Intro to Semantic Technology in the DoD Business Mission Area |
|
|||||||||||||||||||||||||||||||||||
| RDF, RDFs, and OWL | Family Tree RDF Example | RDF, RDFs, OWL |
|
DoD Oracle
OpenWorld Presentation (View in "Slide Show" mode to see the animation and pay attention to page 10) |
||||||||||||||||||||||||||||||||||
| Some OO Programming Language Concepts | Semantic Techology at the National Institute of Health (NIH) | Java Upcasting and Downcasting | ||||||||||||||||||||||||||||||||||||
| OO PLs | OO PLs | |||||||||||||||||||||||||||||||||||||
| Test.java | ||||||||||||||||||||||||||||||||||||||
| Semantic Database Management Systems | Semantic DBMS | Semantic DBMS | ||||||||||||||||||||||||||||||||||||
| SIM database system | Bo's SIM Thesis | |||||||||||||||||||||||||||||||||||||
| Bo's SIM Code | ||||||||||||||||||||||||||||||||||||||
| Running Bo's SIM Code | ||||||||||||||||||||||||||||||||||||||
| Wednesday, February 22, 2012 | Continue from last class | Homework 5 | Solution | Quiz 7 | ||||||||||||||||||||||||||||||||||
| Monday, February 27, 2012 | Guest Lecture - Souri Das, Tech. Lead for Oracle's Semantic Database Technology | Souri's Notes | ||||||||||||||||||||||||||||||||||||
| Souri_family_demo.sql | ||||||||||||||||||||||||||||||||||||||
| Souri_family_demo.log | ||||||||||||||||||||||||||||||||||||||
| Wednesday, February 29, 2012 | Types and Type Systems | Chapters 24 - 29 | PLAI Types | PLAI Types | ||||||||||||||||||||||||||||||||||
| Monday, March 05, 2012 | Syllogisms, Proof by Contradiction and Midterm Review | Syllogism and Midterm Review | Syllogism and Midterm Review | |||||||||||||||||||||||||||||||||||
| Wednesday, March 07, 2012 | In Class Mid-Term | Previous Midterm | Midterm A Solutions | |||||||||||||||||||||||||||||||||||
| Previous Midterm Solution | Midterm B Solutions | |||||||||||||||||||||||||||||||||||||
| Midterm C Solutions | ||||||||||||||||||||||||||||||||||||||
| Monday, March 12, 2012 | Spring Break | |||||||||||||||||||||||||||||||||||||
| Wednesday, March 14, 2012 | Spring Break | |||||||||||||||||||||||||||||||||||||
| Monday, March 19, 2012 | Prolog | Chapters 33 & 34 | Prolog 1 | Prolog 1 | ||||||||||||||||||||||||||||||||||
| Short Prolog Tutorial | ||||||||||||||||||||||||||||||||||||||
| Prolog Sample Code | ||||||||||||||||||||||||||||||||||||||
| 11Prolog Examples.p | ||||||||||||||||||||||||||||||||||||||
| Prolog Building Problem | ||||||||||||||||||||||||||||||||||||||
| Functional Programming in Prolog | ||||||||||||||||||||||||||||||||||||||
| Wednesday, March 21, 2012 | Prolog 2 | Prolog 2 | Quiz 8 | |||||||||||||||||||||||||||||||||||
| Quantum Entanglement Engineering | ||||||||||||||||||||||||||||||||||||||
| Thanks to Blake Gilstrap | ||||||||||||||||||||||||||||||||||||||
| Article Overview | ||||||||||||||||||||||||||||||||||||||
| Article | ||||||||||||||||||||||||||||||||||||||
| Another Article | ||||||||||||||||||||||||||||||||||||||
| Monday, March 26, 2012 | Answer Set Programming (ASP) | Diners Problem | ||||||||||||||||||||||||||||||||||||
| Yuliya's Presentation | ||||||||||||||||||||||||||||||||||||||
| Notes for Yuliya's Presentation | ||||||||||||||||||||||||||||||||||||||
| Yuliya's Programs | ||||||||||||||||||||||||||||||||||||||
| See ASPJylog++ below | ||||||||||||||||||||||||||||||||||||||
| Wednesday, March 28, 2012 | Initial Project Reviews | Project Requirements/Suggestions | Register Your Project | Project Review Schedule | ||||||||||||||||||||||||||||||||||
| For DrCannata to Reserve ENS 31NM (admin@cs.utexas.edu or call Kathy Guajardo at 512-471-9504) |
Selected Projects from Last Semester | |||||||||||||||||||||||||||||||||||||
| select last_name1 || ', ' || first_name1 || '; ' || last_name2 || ', ' || first_name2 || '; ' || last_name3 || ', ' || first_name3, project from schedule | ASPJylog++ | |||||||||||||||||||||||||||||||||||||
| Hmm_SQL | ||||||||||||||||||||||||||||||||||||||
| OOHmm (HMM++) | ||||||||||||||||||||||||||||||||||||||
| Crono | ||||||||||||||||||||||||||||||||||||||
| JDBLisp_Types | ||||||||||||||||||||||||||||||||||||||
| JDBLisp_Classes | ||||||||||||||||||||||||||||||||||||||
| jdbl_macros | ||||||||||||||||||||||||||||||||||||||
| YALL | ||||||||||||||||||||||||||||||||||||||
| SakeScript | ||||||||||||||||||||||||||||||||||||||
| BFlat | ||||||||||||||||||||||||||||||||||||||
| CoffeeScript | ||||||||||||||||||||||||||||||||||||||
| DART | ||||||||||||||||||||||||||||||||||||||
| HCISR | ||||||||||||||||||||||||||||||||||||||
| Monday, April 02, 2012 | Relation-based Languages, Prolog and SQL | EmpDB.sql | Genesis, Prolog & SQL | Genesis, Prolog & SQL | Quiz 9A | |||||||||||||||||||||||||||||||||
| Schaum SQL book - it's best to start with Chapter 3 in this book | Sporting Goods DB.sql | Prolog DB | Homework 6 | Solutions | Quiz 9B | |||||||||||||||||||||||||||||||||
| Oracle SQL by Example book | Student DB.exe | Readme | Schema | Student.sql | Extra Tabels.sql | Drop Student.sql | Drop Extra tables.sql | |||||||||||||||||||||||||||||||
| Wednesday, April 04, 2012 | No Class | |||||||||||||||||||||||||||||||||||||
| Monday, April 09, 2012 | Haskell | Chapters 7 & 8 | Haskell 1 | Haskell 1 | ||||||||||||||||||||||||||||||||||
| Learn you a Haskell | ||||||||||||||||||||||||||||||||||||||
| Haskell Wiki | ||||||||||||||||||||||||||||||||||||||
| A Gentle Intoduction to Haskell | ||||||||||||||||||||||||||||||||||||||
| Prelude Tour | ||||||||||||||||||||||||||||||||||||||
| 09H1.hs | ||||||||||||||||||||||||||||||||||||||
| Wednesday, April 11, 2012 | Joins in SPARQL by Andrew Oldag | Homework 7 | Solutions | Quiz 10A | ||||||||||||||||||||||||||||||||||
| Haskell 2 | Haskell 2 | HaskellDB.hs | Quiz 10B | |||||||||||||||||||||||||||||||||||
| 10H2.hs | ||||||||||||||||||||||||||||||||||||||
| 10Logic.hs | ||||||||||||||||||||||||||||||||||||||
| 10Movie.hs | ||||||||||||||||||||||||||||||||||||||
| Advanced Haskell | ||||||||||||||||||||||||||||||||||||||
| List Comprehension | ||||||||||||||||||||||||||||||||||||||
| Monday, April 16, 2012 | Continue from last class. | Extra Credit Assignment | ||||||||||||||||||||||||||||||||||||
| Wednesday, April 18, 2012 | Concepts Review and Quantum Entanglement Computing (see Prolog2 Notes - page 14 to end) | Concepts | ||||||||||||||||||||||||||||||||||||
| Monday, April 23, 2012 | Project Reviews | Project Requirements | Schedule | |||||||||||||||||||||||||||||||||||
| Tuesday, April 24, 2012 | Project Reviews | |||||||||||||||||||||||||||||||||||||
| Wednesday, April 25, 2012 | Selected Project Presentations | Schedule | ||||||||||||||||||||||||||||||||||||
| Monday, April 30, 2012 | Review | Review | Review | |||||||||||||||||||||||||||||||||||
| Wednesday, May 02, 2012 | No Class | |||||||||||||||||||||||||||||||||||||
| FINAL EXAM (Cumulative) 7:00 - 10:00 pm | ||||||||||||||||||||||||||||||||||||||
| Code is Requested by Monday,
May 7th for the Following Projects: Please submit as the named zip file. (To be accepted, your code must build and run on Windows using cygwin and it must include your presentation, a README file that gives instruction for running the code and files of example code that you used during your presentation.) |
||||||||||||||||||||||||||||||||||||||
| Cheng, Cliff; Urrutia, Carlos; Garcia, Francisco | jASP_Bell.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Beavers, Russell; Prabhu, Srijith; Venkat, Yerramsetti | jASP_Options.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Martinez, Jerome; Pace, Michael; Ryan, Oliver | CoffeeScript.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Chung, Hsiao ; Hermosillo, Moises | crono_combinator.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Sarfani, Aadil; Devani, Shehzan | crono_typing.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Fernandez, Jose; Ellyson, Joseph; Wyne, Greg | crono_posix.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Benevelli, Graham; Nguyen, Tri; Edge, Edwin | crono_typeInferencing.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Thompson, Eric; Tucker, Jon; Pankratz, Aaron | crono_sql.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Montelongo, James; Hung, Andrew ; Chen, Jonathan | crono_connsql.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Perez, Israel; Rahman, Fayz; Egboh, Chinedu | hmm_visitor.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Behn, Alysha; Vera, Jesse | hmm_inheritance.zip | Doc | ||||||||||||||||||||||||||||||||||||
| McMullen, Mitchell; Nguyen, Paul | IronPython.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Doc - Modified Files | ||||||||||||||||||||||||||||||||||||||
| Nicolas, Leroux; Shan, Victoria | JascalScript.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Scoville, Garrett; Aguilar, Victor; Ebanks, Ryan | jdblisp_let23.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Tenberg, Jake; Shipp, Chelsea | jGibberish.zip | Doc | ||||||||||||||||||||||||||||||||||||
| White, Colby; Keeler, Taylor; Vazquez, Manuel | jRules.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Ramadevi Lakshmanan, Gayathiri; Kirubanandam, Jeevitha | jSIM.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Sadiq, Muhammad; Engroff, Andrew; Azurin, Miguel | jSPARQL.zip | Doc | ||||||||||||||||||||||||||||||||||||
| jSPARQL_arq-2.8.8 | ||||||||||||||||||||||||||||||||||||||
| Kobelan, Blake; Spence, Andrew; Blassingill, Brittany | jSQL_visitor.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Oldag, Andrew; Szulaczkowski, Kuba | jSQL.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Roberts, Corey; Jun, Sungjin; Aydemir, James | jSQL_update.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Parker, Cade; Liu, Evan; Tijerina, Henry | jSQL_groupby.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Petryk, Nathan; Craig, Brandon | sakiscript.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Kluck, Ryan; Horn, Andrew | stack.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Murzatayev, Ulan; Kalmurzayev, Azamat | pss_astGui.zip | Doc | ||||||||||||||||||||||||||||||||||||
| Lazarow, Justin; Menz, Adam | dynamic.zip | Doc | ||||||||||||||||||||||||||||||||||||