Pozivamo sve zainteresirane studente i nastavnike na dva gostujuća predavanja koja će održati dr. sc. Vladimir Drekalović, redovni profesor Filozofskog fakulteta Univerziteta Crne Gore. Oba će se predavanja održati u okviru redovne nastave iz kolegija Logika.
Prvo predavanje bit će održano 20. svibnja (srijeda) od 18.25 do 20 sati u učionici broj 58. Naslov predavanja je »Teorijske osnove prirodne dedukcije u iskaznoj logici«. U njemu će ocrtati skicu osnovnih teorijskih postavki koje se odnose na sistem prirodne dedukcije u kontekstu iskazne logike. Pored detalja vezanih za historijski razvoj, bit će predstavljen osnovni teorijski okvir na kojem se zasniva sav operativni dio sistema prirodne dedukcije. Na intuitivnom nivou bit će predstavljena pojedina pravila ovog sistema.
Drugo predavanje bit će održano 22. svibnja (petak) od 12.20 do 14.30 sati u učionici broj 9. Tema predavanja/vježbi su »Zadaci u sistemu prirodne dedukcije i njihovo rješavanje«. Studenti će imati priliku rješavati početne zadatke u sistemu prirodne dedukcije na osnovu pravila ovog sistema. Pored rješavanja zadanih primjera, studenti će imati priliku samostalno konstruirati zadatke.
Životopis profesora Drekalovića:
Vladimir Drekalović rođen je 1971. godine u Visokom. Završio je Prvu sarajevsku gimnaziju. Započeo je usporedni studij matematike i filozofije na Prirodoslovno-matematičkom i Filozofskom fakultetu Sveučilišta u Sarajevu. Zbog ratnih zbivanja u Bosni i Hercegovini oba je studija nastavio i završio na Sveučilištu Crne Gore.
Na Filozofskom fakultetu Sveučilišta u Beogradu završio je poslijediplomski studij obranivši magistarski rad pod naslovom Empiristički platonizam u filozofiji matematike. Na istoj je instituciji obranio doktorsku disertaciju Znanje, uzročnost i status matematičkih istina.
Redoviti je profesor na Sveučilištu Crne Gore.
Objavljuje radove iz područja filozofije matematike, logike i teorije spoznaje.
Fotogotrafija: izvor