Also known as Polish notation, Polish prefix notation
sposób zapisu wyrażeń matematycznych i logicznych
Notacja polska, zapis przedrostkowy, notacja Łukasiewicza – sposób zapisu wyrażeń logicznych (a później arytmetycznych), podający najpierw operator, a potem operandy (argumenty), który został przedstawiony w 1920 przez polskiego filozofa i logika Jana Łukasiewicza. Notacja polska różniła się od zapisów nawiasowych używanych m.in. przez klasyczne dzieło formalizmu logicznego Principia Mathematica Bertranda Russella i A.N. Whiteheada. Według Jana Woleńskiego, notacja ta pozwala na łatwiejsze przeprowadzanie operacji na formułach o znacznej długości; formuły krótsze wydają się tu jednak mniej intuicyjne niż w notacji nawiasowej, stąd notacja Łukasiewicza jest rzadko spotykana w dydaktyce. Notacja ta używana jest w logice znacznie rzadziej niż notacja nawiasowa; wśród niepolskojęzycznych naukowców używających jej znajdował się m.in. . Obecnie informatyka jest jedynym polem, gdzie notacja ta jest wciąż popularna.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).