lambda-operator

Słowo poświadczone w fotocytacie:
(...) wać symbol identyczności. Dogodne zarówno dla praktyki matematycznej jak i dla rekonstrukcji środkami logicznymi języka naturalnego jest wprowadzenie, za pomocą stosownych reguł lub definicji, operatorów tworzących nazwy z predykatów: operator deskrypcji określonej daje nazwy jednostkowe, operator Hilberta - nazwy ogólne, a operator abstrakcji (lambda-operator) - nazwy abstrakcyjne...

Dodatkowe informacje

Diachroniczna częstość użycia słowa (wystąpień na milion wyrazów):
Lokalizacja ekscerptu na stronie:
Adres bibliograficzny:
Marciszewski, Witold 1991. Logika z retorycznego punktu widzenia, Warszawa : Zakład Semiotyki Logicznej UW
Etykiety gramatyczne poświadczenia:
rzeczownikliczba pojedyncza

Zastrzeżenia

W naszych materiałach trafiają się błędy, są nieuniknione w tak wielkim zbiorze danych. Procentowo nie jest ich jednak więcej niż w klasycznym 11-tomowym Słowniku języka polskiego pod red. Witolda Doroszewskiego. Ciągle je wyszukujemy i nanosimy natychmiast poprawki, co w epoce przedelektronicznej było zupełnie niemożliwe.