Theory of Computation: Logic and Programming

CSCI 440, Spring 2016

 

To the Bottom of the Page

 

Instructor:     Dr. Shieu-Hong Lin

Email:             Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: LinEmail

Class:            T Th 1:30-2:45 am at BUSN 209 PC Lab

Office Hours: Math & CS department at Grove 8.

(i)                Tuesday to Thursday: 12:00-1:00pm, just drop by

(ii)           Monday to Thursday: 8:30am~10:30am: check in advance to set up an appointment

 

 

Course Syllabus

 

*************************************************************************************************

 

Week 1: Logic Programming and Pure Prolog.   

Reading#1 (Report due: Tuesday, Feb. 9)

íP       Required: Read Sections 1.1~1.4 of Constraint Logic Programming Using Eclipse.

íP       Optional: Read Sections 1.1~1.2 of A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe.

íP       Submit your report accordingly under Canvas.

 

Lab #1 (Report due: Tuesday, Feb. 9)

íP       (i) Install Eclipse on your computer. (ii) Examine the following sample logic programming programs about family relationship (1, 2) and natural numbers (3 and 4). Use Eclipse to run the programs as suggested in the comments of the programs. (iii) Submit your report under Canvas to describe your findings in (ii) and in addition put down at least two paragraphs about your thoughts/ understanding of these programs accordingly.

 

Class discussion of Reading #1 (Tuesday, Feb. 9)

íP       Peter Alford

 

*************************************************************************************************

 

Week 2: Syntax and Semantics of Pure Prolog.    

Reading#2 due: Tuesday, Feb. 16

íP       Review Sections 1.1~1.4 of Constraint Logic Programming Using Eclipse.

íP       Read Sections 1.5~1.6 of Constraint Logic Programming Using Eclipse.

 

Homework#1 4 points: Tuesday, Feb. 16

íP       Do all Exercises 1.1~1.5 of Constraint Logic Programming Using Eclipse and report your findings in your progress report.

 

Class discussion of Reading #2 (Tuesday, Feb. 16)

íP       Daniel Ahn (Section 1.3), Sarah Acosta (Section 1.4), Young Cho (Section 1.5)

*************************************************************************************************

 

External resources:

íP       List all source code of sample programs in Constraint Logic Programming using Eclipse.

íP       Eclipse Constraint Logic Programming: (i) homepage, (ii) online user manual, (iii) online reference manual.

 

 

 *************************************************************************************************

 

 

 

 

 

To the Top of the Page