operator paradoksalny 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
Polskimeronimia: część
rachunek lambda 1
rzeczownik
system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych, wartości logicznych, itd.
holonimia: część
rachunek lambda 1
rzeczownik
system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych, wartości logicznych, itd.
Polskihiperonimia
operator 8
rzeczownik
funkcja, która przyporządkowuje elementom jednego zbioru elementy drugiego zbioru.
