Број бодова: 6.00

Садржај курса: Oснове интуиционистичке логике и модалне логике, и неки појмови релевантне логике и других супструктуралних логика

Циљ изучавања курса: Студент треба да научи да доказује и оповргава формуле у интуиционистичкој исказној логици и у главним модалним исказним логикамa.

App.preduslovi_za_polaganje: уписане мастер студије, изборни курс из Математике на другој години и са успехом положен испит из Логике на првој години

Облици наставе: предавања