Спеціальні класи та функціональна повнота системи функцій алгебри логіки. Теорема Поста - диплом по математике
Тезисы:
- Функціональна повнота системи функцій алгебри логіки відіграє важливу роль в математичній логіці.
- Розділ 1. Функціональна повнота системи функцій алгебри логіки.
- Розділ 2. Спеціальні класи функцій алгебри логіки.
- Система функцій алгебри логіки А називається повною, якщо .
- Задано систему функцій алгебри логіки.
- Визначити чи є ця система функціонально повна, визначити вид повноти.
- Вводжу систему функцій алгебри логіки.
- Функція алгебри логіки називається самодвоїстою, якщо Тобто .
- Система функцій {} є функціонально повною, але система функцій {} не є функціонально повна.
- Деколи кажуть про систему функцій повну в деякому класі, а також про базис цього класу.