Tytuły referatów na Seminarium Zakładu Logiki Stosowanej

Data Prowadzący Tytuł referatu
26.10.1999 Sławomir Lasota ???
26.10.1999 Jerzy Tyszkiewicz ???
26.10.1999 Aleksy Schubert ???
10.10.2000 Jerzy Tyszkiewicz Wzajemna definiowalność spojników oraz operatory typu Sheffera w logikach trójwartościowych
17.10.2000 Damian Niwiński Rozstrzyganie teorii monadycznej drzew hiper-algebraicznych
24.10.2000 Damian Niwiński Rozstrzyganie teorii monadycznej drzew hiper-algebraicznych c.d.
31.10.2000 Miko3aj Bojańczyk Problem skoqczonego grafu
07.11.2000 Daria Walukiewicz Silna normalizacja przepisywania w rachunku konstrukcji
14.11.2000 Jacek Chrząszcz Przepisywanie i moduły w rachunku konstrukcji
21.11.2000 Piotr Hoffman Specyfikacje architekturalne
28.11.2000 Jerzy Tiuryn Podtypy i produkty
05.12.2000 Tomasz Urbański Redukcje w obwodach boolowskich
12.12.2000 Aleksy Schubert Złożoność typowania dla typów intersekcyjnych skończonej rangi
09.01.2001 Marcin Rychlik Gry kwantowe
16.01.2001 Jerzy Tyszkiewicz Dynamiczna złożoność domknięcia przechodniego
Poprzednie semestry.

Valid HTML 4.01!