Contenu connexe Similaire à матлогика для программистов (20) матлогика для программистов12. 08
Замкнутые классы
𝑇0 = {𝑓|𝑓 0,0, … , 0 = 0}
𝑇1 = 𝑓 𝑓 1,1, … , 1 = 1
𝑆 = 𝑓 𝑓 𝑥1, 𝑥2, … , 𝑥 𝑛 = 𝑓 𝑥1, 𝑥2, … , 𝑥 𝑛
𝑀 = 𝑓 ∀𝑖 𝑎𝑖 ≤ 𝑏𝑖 → 𝑓 𝑎1, 𝑎2, … , 𝑎 𝑛
≤ 𝑓(𝑏1, 𝑏2, … , 𝑏 𝑛) }
𝐿 = 𝑓 𝑓 − линейна}
14. 09
Критерий поста о полноте
Система булевых функций
полна тогда и только тогда,
когда она не содержится
целиком ни в одном из классов
𝑇0, 𝑇1, S, M, L.
21. 12
SOA манифест - 2
Стратегические цели перед
выгодами, специфичными для
данного проекта.
22. 13
SOA манифест - 3
Свойственная способность к
взаимодействию перед
специально достигнутой
интеграцией.
23. 14
SOA манифест - 4
Совместно используемые
сервисы перед разработками с
узкими, специальными целями.
25. 16
SOA манифест - 6
Эволюционные
усовершенствования перед
попыткой достичь
изначального совершенства.