Beskjeder

Arild Waaler begynner presentasjonen av sin artikkel Connections in Nonclassical Logics p? mandag 21. februar 17:15. Seminaret er ?pent for alle. Sjekk undervisningsplanen for detaljer.

Dette blir en introduksjon og sammenlikning av matrisesystemer og sekventkalkyler for klassisk logikk, intuisjonistisk logikk og modallogikk med fokus p? beviss?k og unifikasjon.

Litteratur:

• Arild Waaler, Connections in Nonclassical Logics. Handbook of Automated Reasoning, Vol.2, pp.1487-1578, Elsevier Science and MIT Press, 2001. [PDF] , [PS]
• Jean Gallier, Unification Procedures in Automated Deduction Methods Based on Matings: A Survey. In Tree automata and languages, Edited by M. Nivat and A. Podelski, Elsevier, 439-485 (1992)....

Seminaret starter opp igjen mandag 17. kl. 1715 p? Buerommet. F?rst ut er Bjarne med connection-kalkyle, meta-programmering og Maude. Vel m?tt!

?nsker du ? st? p? epostlisten til logikkseminaret? Send i s? fall en epost til Roger eller Arild .

Det er obligatorisk fremm?te p? f?rste forelesning. Hvis du ikke m?ter eller ikke har f?tt fritak for fremm?te f?r forelesningen, s? mister du plassen p? emnet.

Etteranmelding til emner som eventuelt har ledig kapasitet, kan skje tidligst dagen etter f?rste forelesning i det aktuelle emnet. Opptak gj?res deretter fortl?pende frem til emnet er fullt.

-Studieadministrasjonen