|
|
 |
|
|
|
|
| Detalji |
| Šifra: |
120033 |
| Naziv projekta: |
Logičke osnove matematike i računarstva |
| Godina: |
1996. - lipanj 2002. |
| Područje: |
Prirodne znanosti |
Prosudbena
skupina: |
Matematika |
| Glavni
istraživač: |
Zvonimir Šikić |
| Ustanova: |
Fakultet strojarstva i brodogradnje, Zagreb |
| Ključne
riječi: |
Logika interpretabilnosti. Kardinalni i ordinalni brojevi. Dinamicke algebr |
| URL: |
http:// |
| E-pošta: |
zsikic@math.hr |
| Telefon: |
4610 790 |
| Suradnici: |
| Dean Rosenzweig |
Istraživač |
| Mladen Vuković |
Istraživač iz druge ustanove |
| Paola Glavan |
Istraživač iz druge ustanove |
| Luka Krnić |
Konzultant |
| Vladimir Devide |
Konzultant |
|
Znanstvena
bibliografija: |
http://bib.irb.hr/lista-radova?sif_proj=120033&period=1996 |
| English |
| Project Title: |
Logical foundations of mathematics and computer science |
| Area: |
Natural sciences |
| Peer review group: |
Mathematics |
| Institution: |
The Faculty of Mechanical Engineering and Naval Architecture of the University of Zagreb |
| Keywords: |
Interpretability logic. Cardinal and ordinal numbers. Evolving algebras (ab |
|
|
|
|
|
Obavještavamo glavne istraživače da ukoliko imaju primjedbe na dijelove
teksta (naziv projekta - hrvatski i engleski, ključne riječi - hrvatski
i engleski, web, e-mail, telefon) ili ih žele nadopuniti, ispravke mogu
poslati elektroničkom poštom na adresu zprojekti-arhiva@mzos.hr |
