językach funkcyjnych

Encyklopedia PWN

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).

Banach Stefan, ur. 30 III 1892, Kraków, zm. 31 VIII 1945, Lwów,

matematyk polski.

Lisp

[ang. List Processing],

inform. funkcyjny język programowania, zaprojektowany na przeł. lat 50. i 60. XX w. w Massachusetts Institute of Technology (przez J. MacCarthy’ego);

logika

[gr. logikós ‘zgodny z rozumowaniem’],

teoria czynności poznawczych, przede wszystkim naukotwórczych,

Encyklopedie i leksykony PWN – zobacz ofertę >>