8 rachunek lambda ilustracje i wektory jest dostępny bezpłatny.

Ta wizualizacja wyjaśnia stosowanie funkcji w rachunku lambda za pomocą struktury, a nie tekstu. Górne lewe pole reprezentuje abstrakcję: znacznik lambda wskazuje na przerywany slot wejściowy, a znajdujący się obok korpus zawiera dwa przerywane znaczniki zastępcze połączone pojedynczym łukiem, co pokazuje, że jest to ta sama zmienna związana, przy czym kwadrat reprezentuje stały termin.
Ta wizualizacja wyjaśnia stosowanie funkcji w rachunku lambda za pomocą struktury, a nie tekstu. Górne lewe pole reprezentuje abstrakcję: znacznik lambda wskazuje na przerywany slot wejściowy, a znajdujący się obok korpus zawiera dwa przerywane znaczniki zastępcze połączone pojedynczym łukiem, co pokazuje, że jest to ta sama zmienna związana, przy czym kwadrat reprezentuje stały termin.
Artystyczna ilustracja przedstawiająca drzewo, w którym pnie i korzenie tworzą symbole matematyczne i równania. Korona drzew reprezentowana jest przez okręgi koncentryczne ozdobione sekwencjami numerycznymi i skomplikowanymi wzorami komórkowymi. Obraz ten symbolizuje wzajemne powiązania natury matematycznej i wiedzy odpowiedniej dla tematów edukacyjnych lub koncepcyjnych.
Artystyczna ilustracja przedstawiająca drzewo, w którym pnie i korzenie tworzą symbole matematyczne i równania. Korona drzew reprezentowana jest przez okręgi koncentryczne ozdobione sekwencjami numerycznymi i skomplikowanymi wzorami komórkowymi. Obraz ten symbolizuje wzajemne powiązania natury matematycznej i wiedzy odpowiedniej dla tematów edukacyjnych lub koncepcyjnych.
Semantyka jako skomplikowany temat, przedstawiony jako małe elementy układanki oraz zbiór słów i pojęć, które są najważniejszymi ideami dla semantyki. Symbolizuje złożoność semantyki i jej związek z innymi dziedzinami.
Semantyka jako skomplikowany temat, przedstawiony jako małe elementy układanki oraz zbiór słów i pojęć, które są najważniejszymi ideami dla semantyki. Symbolizuje złożoność semantyki i jej związek z innymi dziedzinami.