Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
безкоштовно
Більш швидкий доступ, ніж браузер!
 

Абстракції оператор

Індекс Абстракції оператор

Абстра́кції опера́тор, оператор функціональної абстракції, ламбда-оператор (λ-оператор) — операція над виразами, яка дає змогу відрізняти функцію як абстрактний об'єкт від будь-якого елементу з інтервалу значень цієї функції; позначається символом λ з подальшим приписуванням змінних.

4 відносини: Абстракція, Алонзо Черч, Лямбда-числення, Логічний сполучник.

Абстракція

Абстра́кція (abstractio — відсторонення, відвернення, відволікання) — теоретичне узагальнення, один з основних способів мислення, а також метод наукового дослідження, який полягає у тому, що суб'єкт, відокремлює деякі ознаки об'єкту котрий вивчається, відволікається від інших властивостей та не враховує його неістотні сторони й особливості.

Новинка!!: Абстракції оператор і Абстракція · Побачити більше »

Алонзо Черч

Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.

Новинка!!: Абстракції оператор і Алонзо Черч · Побачити більше »

Лямбда-числення

Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.

Новинка!!: Абстракції оператор і Лямбда-числення · Побачити більше »

Логічний сполучник

Логі́чний сполу́чник – логічний термін, функція якого полягає в утворенні складних висловлювань.

Новинка!!: Абстракції оператор і Логічний сполучник · Побачити більше »

Перенаправлення тут:

Λ-оператор, Ламбда-оператор.

ВихідніВхідний
Гей! Ми на Facebook зараз! »