Projekt badawczy Komitetu Badań Naukowych
2 H01A 030 25:

"Nierozstrzygalność i algorytmiczna niedostępność w naukach społecznych"
okres trwania: 30 X 2003 - 29 X 2006

Decyzja Nr 0010/H01/2003/25 z dnia 30.10.2003
Kierownik projektu: prof. dr hab. Witold Marciszewski - witmar@calculemus.org

Projekt realizowany przez
Katedrę Logiki, Informatyki i Filozofii Nauki,
Uniwerstytet w Białymstoku
(GR 32)

Środki finansowe:

Rok 20032004 20052006 RAZEM
Środki finansowe
(w zł)
1000015000 13000 7000  45000

Wykonawcy:

Harmonogram wykonania projektu badawczego (plan zadań)


Ważne:

Publikacje wyników prac powinny być opatrzone zapisem: lub

Opis projektu

Streszczenie

Literatura

Komunikat nr 1 kierownika projektu

Druki:
Umowa o dzieło
Rachunek do umowy o dzieło

Wykonane prace:

  1. 2003

    1. prof. zw. Witold Marciszewski, "A comment on Friendrich von Hayek's ideas of free market and civilization",
      Studies in Logic, Grammar and Rhetoric 6 (19), 2003; ZADANIE 4
    2. prof. zw. Witold Marciszewski, "On mechanization of reasoning, decidability of logic and uncomputable numbers",
      Studies in Logic, Grammar and Rhetoric 6 (19), 2003; ZADANIE 4
    3. mgr Katarzyna Zbieć, "The prisoner's dilemma and the game of life",
      Studies in Logic, Grammar and Rhetoric 6 (19), 2003; ZADANIE 2
    4. dr Piotr Zielonka, "Modelowanie skłonności poznawczych w przewidywaniu niepewnych zdarzeń"; ZADANIE 3

    5. Delegacja: mgr Katarzyna Zbieć; ZADANIE 2
    6. Delegacja: prof. zw. Witold Marciszewski; ZADANIE 2

    7. Zakup aparatury: faktura VAT SK000885 z dnia 31.12.2003; ZETO, Białystok
      • Komputer Intel 2400, 512, 40, CD (bez monitora, bez Windows)
      • Drukarka HP 2300d
      ZADANIE 1

  2. 2004

    1. prof. zw. Witold Marciszewski, "Nowoczesny racjonalizm i jego adwersarze"
      Kwartalnik Filozoficzny, 2004, Zeszyt 1; ZADANIE 4

Stronę wykonał: Mariusz Giero   giero@uwb.edu.pl
Aktualizacja: