operacji formalnych
Encyklopedia PWN
banki
ekon. przedsiębiorstwa zajmujące się pośrednictwem finansowym polegającym na gromadzeniu depozytów i udzielaniu kredytów.
[wł. banca ‘stół’, ‘ława’],
szwajcarski filozof, psycholog i pedagog.
inform. narzędzie do formułowania programów dla komputerów; jest językiem formalnym, którego składnia określa zasady zapisu programów (w sposób jednoznaczny i łatwy do analizy), a semantyka przypisuje programom ich interpretację (określa efekty działania programu zapisanego w języku programowania).
specyficzna, dostosowana do religijnych zasad islamu interpretacja społecznego procesu gospodarowania.
austriacki matematyk i logik.