st-pti: "Term" w rachunku lambda
Subject:
RE: [st-pti] "Term" w rachunku lambda
From:
Andrzej Dyżewski, ####@####.####
Date:
22 Jul 2016 11:26:53 +0100
Message-Id: <007001d1e403$ad7250c0$0856f240$@gmail.com>
Termy się bardzo rozprzestrzeniły. Występują też w rachunku predykatów.
Ja na swój prywatny użytek i w rozmowach stosuję nazwę "wyrażenia". Ale to
chyba nie jest ogólnie przyjęty syninim na "term".
/ad
ps: o rachunku lambda mam raczej blade pojęcie, więc powyższe należy
traktować wyłącznie jako snucie analogii.
-----Original Message-----
From: Marcin Cieslak ####@####.####
Sent: Wednesday, July 20, 2016 8:13 PM
To: ST PTI
Subject: [st-pti] "Term" w rachunku lambda
W kilku opisach działania rachunku lambda (Alonzo Church i inni) poja się
określenie angielskie "term" (albo "lambda-term").
http://wazniak.mimuw.edu.pl/index.php?title=Paradygmaty_programowania/Wyk%C5
%82ad_8:_U_podstaw_programowania_funkcyjnego_%E2%80%94_rachunek_lambda
"Napisy w rachunku lambda nazywamy >>termami<<."
Czy jest na to jakiś poprawne polskie określenie?
Marcin
---
ST-PTI. Lista dyskusyjna Sekcji Terminologicznej PTI.
Archiwum publiczne listy: http://lists.tldp.org/go.to?list=st-pti
---