kombinatorická logika

Text hesla

kombinatorická logika — logická teória, v ktorej sú všetky premenné eliminované pomocou zovšeobecneného pojmu funkcie, pričom úlohu argumentu (hodnoty premennej) i úlohu hodnoty funkcií plnia funkcie, takže premenné môžu byť nahradené takýmito špecifickými funkciami. Cieľom kombinatorickej logiky je eliminácia pravidiel typu substitúcie, ktoré vyžadujú prácu s viazanými premennými. Vo formulách kombinatorickej logiky sú viazané premenné eliminované kombinátormi (funkciami vyšších rádov). Iniciátorom takéhoto prístupu bol Moses Schönfinkel (*1889, †1942). Autormi významných prác z oblasti kombinatorickej logiky sú H. B. Curry, William Craig (*1918, †2016) a Robert Feys (*1889, †1961). S kombinatorickou logikou súvisí aj tzv. lambda kalkul A. Churcha, pretože kombinatorická logika dokáže napodobniť lambda kalkul bez toho, aby mala operátor viažuci premenné.

Text hesla

kombinatorická logika — logická teória, v ktorej sú všetky premenné eliminované pomocou zovšeobecneného pojmu funkcie, pričom úlohu argumentu (hodnoty premennej) i úlohu hodnoty funkcií plnia funkcie, takže premenné môžu byť nahradené takýmito špecifickými funkciami. Cieľom kombinatorickej logiky je eliminácia pravidiel typu substitúcie, ktoré vyžadujú prácu s viazanými premennými. Vo formulách kombinatorickej logiky sú viazané premenné eliminované kombinátormi (funkciami vyšších rádov). Iniciátorom takéhoto prístupu bol Moses Schönfinkel (*1889, †1942). Autormi významných prác z oblasti kombinatorickej logiky sú H. B. Curry, William Craig (*1918, †2016) a Robert Feys (*1889, †1961). S kombinatorickou logikou súvisí aj tzv. lambda kalkul A. Churcha, pretože kombinatorická logika dokáže napodobniť lambda kalkul bez toho, aby mala operátor viažuci premenné.

Zverejnené 28. októbra 2018.

citácia

Kombinatorická logika [online]. Encyclopaedia Beliana, ISBN 978-80-89524-30-3. [cit. 2019-11-18]. Dostupné na internete: https://beliana.sav.sk/heslo/kombinatoricka-logika