матлогика для программистов
- 1. 01 Проектирование информационных систем. Семестр II. Лекция №3. ФКН ОмГУ 2014-2015 Математическая логика Для 7bits
- 2. 04 Булева функция от n аргументов 𝑓 𝑥1, 𝑥2, … , 𝑥 𝑛 → {0,1}
- 3. 05 Сколько всего булевых функций от двух аргументов существует?
- 4. 05 222 =16
- 5. 05 А от n?
- 6. 05 22 𝑛
- 8. 06 Булевы функции от 1-го аргумента
- 9. 06 Булевы функции от 2-х аргументов
- 10. 07 Суперпозиция Суперпозиция (сложная функция) — это функция, полученная из некоторого множества функций путем подстановки одной функции в другую или отождествления переменных.
- 12. 08 Замкнутые классы 𝑇0 = {𝑓|𝑓 0,0, … , 0 = 0} 𝑇1 = 𝑓 𝑓 1,1, … , 1 = 1 𝑆 = 𝑓 𝑓 𝑥1, 𝑥2, … , 𝑥 𝑛 = 𝑓 𝑥1, 𝑥2, … , 𝑥 𝑛 𝑀 = 𝑓 ∀𝑖 𝑎𝑖 ≤ 𝑏𝑖 → 𝑓 𝑎1, 𝑎2, … , 𝑎 𝑛 ≤ 𝑓(𝑏1, 𝑏2, … , 𝑏 𝑛) } 𝐿 = 𝑓 𝑓 − линейна}
- 13. 11 Проверка функций на классы .
- 14. 09 Критерий поста о полноте Система булевых функций полна тогда и только тогда, когда она не содержится целиком ни в одном из классов 𝑇0, 𝑇1, S, M, L.
- 15. 10 Полные классы функций (примеры) {↓} {𝛻} {V, ^, ‘} {^,⊕, 1 } – полином Жегалкина
- 18. 10 Теорема подстановки Пусть E - ⊨E, формула E* - суперпозиция, полученная из E c помощью формул A1, …, An. Тогда ⊨E*.
- 19. 10 Теорема об экивалентности Пусть ⊨ A⟷B. Тогда A и B имеют одинаковые таблицы истинности
- 21. 12 SOA манифест - 2 Стратегические цели перед выгодами, специфичными для данного проекта.
- 22. 13 SOA манифест - 3 Свойственная способность к взаимодействию перед специально достигнутой интеграцией.
- 23. 14 SOA манифест - 4 Совместно используемые сервисы перед разработками с узкими, специальными целями.
- 24. 15 SOA манифест - 5 Гибкость перед оптимизацией.
- 25. 16 SOA манифест - 6 Эволюционные усовершенствования перед попыткой достичь изначального совершенства.
- 27. 18 Элементы SOA Dirk Krafzig, Enterprise SOA
- 29. 20 Ошибки при внедрении SOA - 1 Чрезмерное увлечение SOA
- 30. 21 Забываем про данные Ошибки при внедрении SOA - 2
- 31. 22 Ошибки при внедрении SOA SOA оставляют на технарей Ошибки при внедрении SOA - 3
- 32. 23 Ошибки при внедрении SOA Синдром “придумано не здесь” Ошибки при внедрении SOA - 4
- 33. 24 Ошибки при внедрении SOA Стартуем широким фронтом Ошибки при внедрении SOA - 5
- 34. 25 Ошибки при внедрении SOA Стартуем не в том месте Ошибки при внедрении SOA - 6
- 35. 26 Ошибки при внедрении SOA Предполагаем, что все думают так же как мы Ошибки при внедрении SOA - 7
- 36. 27 Ошибки при внедрении SOA “У 7 нянек дитя без глазу” Ошибки при внедрении SOA - 8
- 37. 28 Ошибки при внедрении SOA Недооценка технических рисков Ошибки при внедрении SOA - 9
- 38. 29 Ошибки при внедрении SOA Размножение неповторноиспользуемых сервисов Ошибки при внедрении SOA - 10
- 39. 30 Ошибки при внедрении SOA Излишняя централизация Ошибки при внедрении SOA - 11
- 40. 31 Ошибки при внедрении SOA “Продажа” идеи SOA до того, как Вы к ней готовы Ошибки при внедрении SOA - 12
- 41. 32 Ошибки при внедрении SOA Стандартизированный контракт сервиса Архитектурные принципы SOA -1
- 42. 33 Ошибки при внедрении SOA Стандартизированный контракт сервиса Архитектурные принципы SOA -2
- 43. 34 Ошибки при внедрении SOA Слабая связность между сервисами Архитектурные принципы SOA -3