zProjekti
zProjekti
Nije implementirano Tražilica
ZNANSTVENI PROJEKTI 2024-3-28
zProjekti Lista prihvaćenih znanstvenih projekata - 1. ciklus
Lista prihvaćenih znanstvenih programa
Liste prihvaćenih znanstvenih projekata
Arhiv projekta
(2002. - 2005.)
Pretraživanje arhiva
(2002. - 2005.)
Arhiv projekata
(1996. - 2002.)
Pretraživanje arhiva
(1996.-2002.)
Svibor (1990.-1995.)
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. 

Natrag