Adventures in Advanced Symbolic Programming
This course covers concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Substantial weekly programming assignments are an integral part of the subject.
There will be extensive programming assignments, using MIT/GNU Scheme. Students should have significant programming experience in Scheme, Common Lisp, Haskell, CAML or some other "functional" language.
Categories: Computer Sciences
Starts : 2009-02-01
-- no reviews yet -- make the first review
If you know any alternatives, please let us know.
If you can suggest any prerequisite, please let us know.
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.
People who learned this course or plan to learn. These people added the course to their Education Passport or their Personal Education Path.Amit Raj Danil Igor Landgren Ofir Sasson Romaissa bouti Romaissa BOUTICHE William Paxton Xiaoyu Yan
If you learned this course or plan to learn then add it to your Personal Education Path or your Education Passport
Courses related to the course subject
Let us know when you did the course Adventures in Advanced Symbolic Programming.
Add the course Adventures in Advanced Symbolic Programming to My Personal Education Path.
Successfully added to your path.View your path
Select what exam to connect to the course. The course will be displayed on the exam page in the list of courses supported for certification with the exam.