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...
 
BanjoBot (conversa | contribucións)
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''
[[CategoryCategoría:Matemáticas]]
[[de:Kombinatorische Logik]]
[[en:Combinatory logic]]