Вікіпедія:Проєкт:Комп'ютерні науки/Несистематизовані
- en:Higher-order function — Функції вищого порядку (див. також Функції першого порядку)
- en:Memoization —
- en:Pattern matching — пошук в шаблонах?
- en:Partial evaluation — Часткова інтерпретація
- en:Lazy evaluation — Лінива інтерпретація, Ліниві обчислення
- en:Abstraction (computer science) — Абстрагування (програмування)
- en:Class (computer science) — Клас (програмування)
- en:Software brittleness —
- en:Source lines of code
- en:Currying,
- en:List comprehension,
- en:Guard (computing),
- en:Operator (programming)
- en:Single assignment
- en:Recursion functions — рекурсія, рекурсивна функція, рекурсивна процедура
- en:Algebraic data type
- en:Monads in functional programming
- en:Type class
- en:Nondeterministic finite state machine, en:Regular expression, en:Deterministic finite-state machine
Навчальні програми
[ред. код]Тема 4.1 Абстрактна алгебра Буля. Аксіоми та теореми булевої алгебри. Булеві функції та формули. Побудова таблиць істинності. Відповідні перетворення. Досконалі форми: ДДНФ, ДКНФ. Алгебра Жегалкіна.
Тема 4.2 Дослідження та перетворення систем булевих функцій. Властивості булевих функцій: монотонність, самоподвійність, лінійність. Функціональна замкненість класів булевих функцій. Функціональна повнота. Теорема Поста. Скорочені та мінімальні дизъюнктивні форми. Діаграми Вейча.