{"version":"1.0","type":"link","title":"Rachunek lambda - Newikis","description":"Rachunek lambda – 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. Rachunek lambda został wprowadzony przez Alonzo Churcha w 1930 roku.…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}