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
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                                                                        
Friday, May 11, 2012 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