Lóxica combinatoria: Diferenzas entre revisións
Contido eliminado Contido engadido
Nova páxina: A '''lóxica combinatoria''' é unha notación introducida por Moses Schönfinkel e Haskell Curry para eliminar a necesidade de variables na lóxica matemática. Máis rece... |
m Bot: Reemprazo de texto automático (-[[Category: +[[Categoría:) |
||
Liña 3:
A lóxica combinatoria pode ser vista como unha variedade do [[cálculo lambda]] nas que as expresións lambda son substituídas por por un limitado número de combinadores. O exemplo máis simple de combinador é '''I'''
:('''I''' ''x'') = ''x''
[[
[[de:Kombinatorische Logik]]
[[en:Combinatory logic]]
|