|
|
 |
|
|
|
|
|
|
| Detalji |
| Projekt: |
Matematička logika i primjene |
| Voditelj: |
Zvonimir Šikić |
| Ustanova: |
Fakultet strojarstva i brodogradnje, Zagreb |
| Sažetak: |
Polazeći od recentnih spoznaja u području matematičke logike, cilj je projekta održati i dalje razvijati kompetentnost i izvrsnost u području matematičke logike i njezinih primjena.
Specifični smjerovi istraživanja uključivat će daljnji razvoj semantike modalnih logika, posebno logike interpretabilnosti; zasnivanje teorije skupova na 3-valjanoj jakoj Kleenejevoj logici; izstraživanje modela otvorene indukcije uz faktorizaciju u prstenima generaliziranih redova potencija.
Očekivani rezultati istraživanja, u sljedećih pet godina, su jedan magistarski rad, dva doktorska rada, jedna monografija iz područja logike i oko osam radova objavljenih u relevantnim svjetskim časopisima.
Objavljivanje rezultata u relevantnim svjetskim časopisima ujedno je i najbolja provjera tih razultata.
Važnost projekta jeodržavanje izvrsnosti u području matematičke logike kao jedne od temeljnih matematičkih disciplina. |
|
|
|
|
|
|
|
