Projekty finansowane przez NCN
Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody
2011/03/B/ST6/00418
Słowa kluczowe:
kody poliominowe rozstrzygalność własność defektu gęstość asymptotyczna
Deskryptory:
- ST6_3: Metody formalne
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
woj. małopolskie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 1
Konkurs: OPUS 2 - ogłoszony 2011-09-15
Przyznana kwota: 65 320 PLN
Rozpoczęcie projektu: 2012-08-01
Zakończenie projektu: 2014-09-27
Planowany czas trwania projektu: 25 miesięcy (z wniosku)
Status projektu: Projekt rozliczony