SKI 组合子演算是一个计算系统，它是对无类型版本的 Lambda 演算的简约。这个系统声称在 Lambda 演算中所有运算都可以用三个组合子S、K和I来表达。
在这个系统中的所有函数可以只使用S、K、I的字母表和圆括号(分组符号)来表达。通常假定组合子是左结合的，从而在不影响执行次序的情况下精简表达式中的圆括号。