Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

матлогика для программистов

439 views

Published on

первая лекция курса математика для прогрммистов

Published in: Education
  • Be the first to comment

  • Be the first to like this

матлогика для программистов

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

×