703209 Term Rewriting

winter semester 2010/2011 | Last update: 03.03.2011 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Dr. Sarah Winkler

Course number:

703209

Title:

Term Rewriting

Type/hours:

VO 3

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

Students who have completed this module should understand the topics covered in the lecture, and be able to express and apply them. They should be able to independently acquire similar knowledge and have a basic understanding of term rewriting.

Contents:

abstract rewrite systems; equational logic; term rewrite systems; termination; confluence; completion; strategies

Assessment:

written exam

Literature:

see website

Course allocation

Fakultät für Mathematik, Informatik und Physik

Technische Mathematik

II. Studienabschnitt

Wahlfach Informatik

Bachelorstudium Informatik nach dem Curriculum 2007

Wahlmodul Termersetzungssysteme (WM 8)

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Mon 2010-10-04	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-10-08	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-10-11	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-10-15	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-10-18	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-10-22	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-10-25	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-10-29	12.15 - 13.00	HS 10 HS 10	Barrier-free
Fri 2010-11-05	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-11-08	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-11-12	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-11-15	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-11-19	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-11-22	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-11-26	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-11-29	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-12-03	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-12-06	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-12-10	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2010-12-13	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2010-12-17	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2011-01-10	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2011-01-14	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2011-01-17	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2011-01-21	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2011-01-24	09.15 - 11.00	HS 10 HS 10	Barrier-free
Fri 2011-01-28	12.15 - 13.00	HS 10 HS 10	Barrier-free
Mon 2011-01-31	08.00 - 11.00	HS 10 HS 10	Barrier-free	1st exam
Fri 2011-02-04	12.15 - 13.00	HS 10 HS 10	Barrier-free