Projekty finansowane przez NCN
Indukcja dla formuł ograniczonych i jej relatywizacje
2013/09/B/ST1/04390
Słowa kluczowe:
arytmetyka pierwszego rzędu indukcja ograniczona relatywizacja przybliżone zliczanie słaba zasada szufladkowa definicje prawdy
Deskryptory:
- ST1_1: Logika i podstawy matematyki
Panel:
ST1 - Nauki matematyczne: wszystkie dziedziny matematyki, teoretyczne oraz stosowane a także podstawy matematyczne informatyki, fizyka matematyczna i statystyka matematyczna
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 2
Konkurs: OPUS 5 - ogłoszony 2013-03-15
Przyznana kwota: 188 300 PLN
Rozpoczęcie projektu: 2014-02-01
Zakończenie projektu: 2017-09-18
Planowany czas trwania projektu: 43 miesięcy (z wniosku)
Status projektu: Projekt rozliczony