01 Проектирование информационных систем. Семестр II. Лекция №3. ФКН ОмГУ 2014-2015

Математическая логика

Для 7bits

04

Булева функция от n аргументов

𝑓 𝑥1, 𝑥2, … , 𝑥𝑛 → {0,1}

05

Сколько всего булевых функций от двух аргументов

существует?

05

222=16

05

А от n?

05

22𝑛

06

Таблица истинности

06

Булевы функции от 1-го аргумента

06

Булевы функции от 2-х аргументов

07

Суперпозиция

Суперпозиция (сложная функция) — это функция, полученная из некоторого множества функций путем подстановки одной функции в другую или отождествления переменных.

07

Формула

Суперпозиция булевых функций

08

Замкнутые классы

𝑇0 = {𝑓|𝑓 0,0, … , 0 = 0}𝑇1 = 𝑓 𝑓 1,1, … , 1 = 1

𝑆 = 𝑓 𝑓 𝑥1, 𝑥2, … , 𝑥𝑛 = 𝑓 𝑥1, 𝑥2, … , 𝑥𝑛

𝑀 = 𝑓 ∀𝑖 𝑎𝑖 ≤ 𝑏𝑖 → 𝑓 𝑎1, 𝑎2, … , 𝑎𝑛

≤ 𝑓(𝑏1, 𝑏2, … , 𝑏𝑛) }

𝐿 = 𝑓 𝑓 − линейна}

11

Проверка функций на классы

.

09

Критерий поста о полноте

Система булевых функций полна тогда и только тогда, когда она не содержится целиком ни в одном из классов 𝑇0, 𝑇1, S, M, L.

10

Полные классы функций (примеры)

{↓}

{𝛻}

{V, ^, ‘}

{^,⊕, 1 } – полином Жегалкина

10

Общезначимая формула

⊨E

10

Общезначимая формула

⊨E

10

Теорема подстановки

Пусть E - ⊨E, формула E* -суперпозиция, полученная из E c

помощью формул A1, …, An. Тогда ⊨E*.

10

Теорема об экивалентности

Пусть ⊨ A⟷B.Тогда A и B имеют одинаковые

таблицы истинности

06

Основные эквивалентности

12

SOA манифест - 2

Стратегические цели перед выгодами, специфичными для

данного проекта.

13

SOA манифест - 3

Свойственная способность к взаимодействию перед специально достигнутой

интеграцией.

14

SOA манифест - 4

Совместно используемые сервисы перед разработками с узкими, специальными целями.

15

SOA манифест - 5

Гибкость перед оптимизацией.

16

SOA манифест - 6

Эволюционные усовершенствования перед

попыткой достичь изначального совершенства.

17

Эталонная модель SOA

18

Элементы SOA

Dirk Krafzig, Enterprise SOA

19

Структура решений SOA

20

Ошибки при внедрении SOA - 1

Чрезмерное увлечение SOA

21

Забываем про данные

Ошибки при внедрении SOA - 2

22

Ошибки при внедрении SOA

SOA оставляют на технарей

Ошибки при внедрении SOA - 3

23

Ошибки при внедрении SOA

Синдром “придумано не здесь”

Ошибки при внедрении SOA - 4

24

Ошибки при внедрении SOA

Стартуем широким фронтом

Ошибки при внедрении SOA - 5

25

Ошибки при внедрении SOA

Стартуем не в том месте

Ошибки при внедрении SOA - 6

26

Ошибки при внедрении SOA

Предполагаем, что все думают так же как мы

Ошибки при внедрении SOA - 7

27

Ошибки при внедрении SOA

“У 7 нянек дитя без глазу”

Ошибки при внедрении SOA - 8

28

Ошибки при внедрении SOA

Недооценка технических рисков

Ошибки при внедрении SOA - 9

29

Ошибки при внедрении SOA

Размножение неповторноиспользуемых

сервисов

Ошибки при внедрении SOA - 10

30

Ошибки при внедрении SOA

Излишняя централизация

Ошибки при внедрении SOA - 11

31

Ошибки при внедрении SOA

“Продажа” идеи SOA до того, как Вы к ней готовы

Ошибки при внедрении SOA - 12

32

Ошибки при внедрении SOA

Стандартизированный контракт сервиса

Архитектурные принципы SOA -1

33

Ошибки при внедрении SOA

Стандартизированный контракт сервиса

Архитектурные принципы SOA -2

34

Ошибки при внедрении SOA

Слабая связность между сервисами

Архитектурные принципы SOA -3