Oferta dydaktyczna Instytutu Informatyki

Poniższa lista przedstawia przedmioty, które są uczone w Instytucie Informatyki, niektóre z nich co roku, niektóre z mniejszą częstotliwością Każdy student Instytutu Informatyki studiuje wg indywidualnego toku studiów, wybierając (zgodnie z pewnymi zasadami) z tej listy swoje przedmioty.

Jeżeli zastanawiasz się nad studiami u nas, jeżeli chcesz wiedzieć, czy na Uniwersytecie można zostać inżynierem, jeżeli interesuje Cię 1000 zł stypendium miesięcznie - zapraszamy na naszą stronę główną

Seminar: Implementation of Logic

Nazwa angielska (title in English): Seminar: Implementation of Logic
Prowadzący (lecturer): Hans de Nivelle
Liczba punktów (ECTS): 4
Liczba punktów 2007 (ECTS since 2007): 4
Rodzaj (type): obowiązkowy
Rodzaj od 2007 (type since 2007): obowiązkowy.O1
Liczba godzin (hours in semester):
Egzamin (exam): nie
Możliwe zajęcia w języku angielskim (can be taught in English): tak
Przedmiot zostal uaktualniony na biezacy rok (updated): tak
Semestr (semester): letni

Wymagania (prerequisites)

Opis (description)

We will read a couple of papers on the topic of implementation of logic, most of them on the implementation of theorem provers. Most theorem provers are based on resolution. During proof search, the set of set of stored formulas becomes very big. The theorem prover has to check for formulas that can resolve with each other, and check for formulas that can be deleted due to subsumption. Most of the papers are about the topic of how to efficiently find unifiers in a large set of formulas.

We will also read a couple of papers on the efficient implementation of substitution with binders.

Grading will be based on attendance and presentation.

Program (program)

Participants choose a paper from the list, and give a talk about it. I will probably also give a few talks by myself.

Literatura (references)

Jeżeli jesteś zainteresowany studiowaniem w naszym instytucie, zapraszamy na stronę poświęconą tegorocznej rekrutacji.

Nazwa użytkownika (user name):
Hasło (password):