Састанак Одељења за математику, 4. јун 2010.

• 31. Мај, 2010
• Коментари (0)

Детаљније:

Наредни састанак Одељења за математику одржаће се у петак, 04.06.2010. 14 часова, у сали 2 МИ САНУ.

Предавач: Мирјана Исаковић-Илић, Економски факултет, Универзитет у Београду

Назив предавања: ТАБЛОИ И СЕКВЕНТИ

Садржај: Супструктурне логике су све оне логике чија се секвентна формулација може добити из Генценовог система LK, елиминацијом и/или рестрикцијом појединих структурних правила. Аутоматизација поступка за утврђивање доказивости задате формуле, у некој од одлучивих супструктурних логика, веома је занимљив, често тежак задатак. Једна од метода, која се користи у формулацији доказивача теорема је метода таблоа.