4 відносини: Абстракція, Алонзо Черч, Лямбда-числення, Логічний сполучник.
Абстракція
Абстра́кція (abstractio — відсторонення, відвернення, відволікання) — теоретичне узагальнення, один з основних способів мислення, а також метод наукового дослідження, який полягає у тому, що суб'єкт, відокремлює деякі ознаки об'єкту котрий вивчається, відволікається від інших властивостей та не враховує його неістотні сторони й особливості.
Новинка!!: Абстракції оператор і Абстракція · Побачити більше »
Алонзо Черч
Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.
Новинка!!: Абстракції оператор і Алонзо Черч · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Абстракції оператор і Лямбда-числення · Побачити більше »
Логічний сполучник
Логі́чний сполу́чник – логічний термін, функція якого полягає в утворенні складних висловлювань.
Новинка!!: Абстракції оператор і Логічний сполучник · Побачити більше »