Submit Search
Upload
матлогика для программистов
•
Download as PPTX, PDF
•
0 likes
•
500 views
E
etyumentcev
Follow
первая лекция курса математика для прогрммистов
Read less
Read more
Education
Report
Share
Report
Share
1 of 43
Download now
Recommended
Как жить в согласии с SOLID?
Как жить в согласии с SOLID?
etyumentcev
Платформа SmartActors
Платформа SmartActors
etyumentcev
Спецкурс Разработка серверов и серверных приложений лекция №1
Спецкурс Разработка серверов и серверных приложений лекция №1
Eugeniy Tyumentcev
Процесс майнинг
Процесс майнинг
Дмитрий Колодезев
Как жить в согласии с SOLID?
Как жить в согласии с SOLID?
DotNetConf
C++ Core Guidelines
C++ Core Guidelines
Sergey Zubkov
Лев Валкин — Кое-что про Erlang
Лев Валкин — Кое-что про Erlang
Yury Yurevich
TMPA-2015: Automated Testing of Multi-thread Data Structures Solutions Lineri...
TMPA-2015: Automated Testing of Multi-thread Data Structures Solutions Lineri...
Iosif Itkin
Recommended
Как жить в согласии с SOLID?
Как жить в согласии с SOLID?
etyumentcev
Платформа SmartActors
Платформа SmartActors
etyumentcev
Спецкурс Разработка серверов и серверных приложений лекция №1
Спецкурс Разработка серверов и серверных приложений лекция №1
Eugeniy Tyumentcev
Процесс майнинг
Процесс майнинг
Дмитрий Колодезев
Как жить в согласии с SOLID?
Как жить в согласии с SOLID?
DotNetConf
C++ Core Guidelines
C++ Core Guidelines
Sergey Zubkov
Лев Валкин — Кое-что про Erlang
Лев Валкин — Кое-что про Erlang
Yury Yurevich
TMPA-2015: Automated Testing of Multi-thread Data Structures Solutions Lineri...
TMPA-2015: Automated Testing of Multi-thread Data Structures Solutions Lineri...
Iosif Itkin
TMPA-2015: Multi-Module Application Tracing in z/OS Environment
TMPA-2015: Multi-Module Application Tracing in z/OS Environment
Iosif Itkin
Approaches to the Fragmentation of a Paravirtualization System
Approaches to the Fragmentation of a Paravirtualization System
Iosif Itkin
Опыт использования Erlang в разработке многопользовательской игры
Опыт использования Erlang в разработке многопользовательской игры
Yuri Zhloba
TMPA-2015: The dynamic Analysis of Executable Code in ELF Format Based on Sta...
TMPA-2015: The dynamic Analysis of Executable Code in ELF Format Based on Sta...
Iosif Itkin
Что и почему писать на Erlang
Что и почему писать на Erlang
Max Lapshin
TMPA-2013 Petrenko Pakulin: Technical Solutions and Non-Technical Challenges ...
TMPA-2013 Petrenko Pakulin: Technical Solutions and Non-Technical Challenges ...
Iosif Itkin
История проекта, который никогда не падает / Андрей Шетухин
История проекта, который никогда не падает / Андрей Шетухин
Ontico
Рефакторинг и второе рождение проекта на примере Zend Framework 2.0
Рефакторинг и второе рождение проекта на примере Zend Framework 2.0
AlexeyParhomenko
Алексей Туля - А нужен ли вам erlang?
Алексей Туля - А нужен ли вам erlang?
Minsk Linux User Group
Erlang&rails
Erlang&rails
Max Lapshin
Erlang мгновенное просветление
Erlang мгновенное просветление
Maxim Sokhatsky
SECON'2016. Тюменцев Евгений, Разработка надежных параллельных, распределенны...
SECON'2016. Тюменцев Евгений, Разработка надежных параллельных, распределенны...
SECON
BDD
BDD
Andrey Bibichev
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
Iosif Itkin
Erlang for Yandex
Erlang for Yandex
Max Lapshin
Кроссплатформенная библиотека для Android и iOS: за и против
Кроссплатформенная библиотека для Android и iOS: за и против
DotNetConf
Отличие Erlang от объектных языков
Отличие Erlang от объектных языков
Max Lapshin
Максим Лапшин — введение в Erlang
Максим Лапшин — введение в Erlang
Александр Ежов
Тестирование систем процессинга банковских карт. Особенности и сложности
Тестирование систем процессинга банковских карт. Особенности и сложности
SQALab
Локализация программных продуктов и тестирование локализации
Локализация программных продуктов и тестирование локализации
SQALab
Программирование глазами математика
Программирование глазами математика
etyumentcev
Как 7 студентов и филолог делали сложный проект
Как 7 студентов и филолог делали сложный проект
etyumentcev
More Related Content
What's hot
TMPA-2015: Multi-Module Application Tracing in z/OS Environment
TMPA-2015: Multi-Module Application Tracing in z/OS Environment
Iosif Itkin
Approaches to the Fragmentation of a Paravirtualization System
Approaches to the Fragmentation of a Paravirtualization System
Iosif Itkin
Опыт использования Erlang в разработке многопользовательской игры
Опыт использования Erlang в разработке многопользовательской игры
Yuri Zhloba
TMPA-2015: The dynamic Analysis of Executable Code in ELF Format Based on Sta...
TMPA-2015: The dynamic Analysis of Executable Code in ELF Format Based on Sta...
Iosif Itkin
Что и почему писать на Erlang
Что и почему писать на Erlang
Max Lapshin
TMPA-2013 Petrenko Pakulin: Technical Solutions and Non-Technical Challenges ...
TMPA-2013 Petrenko Pakulin: Technical Solutions and Non-Technical Challenges ...
Iosif Itkin
История проекта, который никогда не падает / Андрей Шетухин
История проекта, который никогда не падает / Андрей Шетухин
Ontico
Рефакторинг и второе рождение проекта на примере Zend Framework 2.0
Рефакторинг и второе рождение проекта на примере Zend Framework 2.0
AlexeyParhomenko
Алексей Туля - А нужен ли вам erlang?
Алексей Туля - А нужен ли вам erlang?
Minsk Linux User Group
Erlang&rails
Erlang&rails
Max Lapshin
Erlang мгновенное просветление
Erlang мгновенное просветление
Maxim Sokhatsky
SECON'2016. Тюменцев Евгений, Разработка надежных параллельных, распределенны...
SECON'2016. Тюменцев Евгений, Разработка надежных параллельных, распределенны...
SECON
BDD
BDD
Andrey Bibichev
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
Iosif Itkin
Erlang for Yandex
Erlang for Yandex
Max Lapshin
Кроссплатформенная библиотека для Android и iOS: за и против
Кроссплатформенная библиотека для Android и iOS: за и против
DotNetConf
Отличие Erlang от объектных языков
Отличие Erlang от объектных языков
Max Lapshin
Максим Лапшин — введение в Erlang
Максим Лапшин — введение в Erlang
Александр Ежов
Тестирование систем процессинга банковских карт. Особенности и сложности
Тестирование систем процессинга банковских карт. Особенности и сложности
SQALab
Локализация программных продуктов и тестирование локализации
Локализация программных продуктов и тестирование локализации
SQALab
What's hot
(20)
TMPA-2015: Multi-Module Application Tracing in z/OS Environment
TMPA-2015: Multi-Module Application Tracing in z/OS Environment
Approaches to the Fragmentation of a Paravirtualization System
Approaches to the Fragmentation of a Paravirtualization System
Опыт использования Erlang в разработке многопользовательской игры
Опыт использования Erlang в разработке многопользовательской игры
TMPA-2015: The dynamic Analysis of Executable Code in ELF Format Based on Sta...
TMPA-2015: The dynamic Analysis of Executable Code in ELF Format Based on Sta...
Что и почему писать на Erlang
Что и почему писать на Erlang
TMPA-2013 Petrenko Pakulin: Technical Solutions and Non-Technical Challenges ...
TMPA-2013 Petrenko Pakulin: Technical Solutions and Non-Technical Challenges ...
История проекта, который никогда не падает / Андрей Шетухин
История проекта, который никогда не падает / Андрей Шетухин
Рефакторинг и второе рождение проекта на примере Zend Framework 2.0
Рефакторинг и второе рождение проекта на примере Zend Framework 2.0
Алексей Туля - А нужен ли вам erlang?
Алексей Туля - А нужен ли вам erlang?
Erlang&rails
Erlang&rails
Erlang мгновенное просветление
Erlang мгновенное просветление
SECON'2016. Тюменцев Евгений, Разработка надежных параллельных, распределенны...
SECON'2016. Тюменцев Евгений, Разработка надежных параллельных, распределенны...
BDD
BDD
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
Erlang for Yandex
Erlang for Yandex
Кроссплатформенная библиотека для Android и iOS: за и против
Кроссплатформенная библиотека для Android и iOS: за и против
Отличие Erlang от объектных языков
Отличие Erlang от объектных языков
Максим Лапшин — введение в Erlang
Максим Лапшин — введение в Erlang
Тестирование систем процессинга банковских карт. Особенности и сложности
Тестирование систем процессинга банковских карт. Особенности и сложности
Локализация программных продуктов и тестирование локализации
Локализация программных продуктов и тестирование локализации
Viewers also liked
Программирование глазами математика
Программирование глазами математика
etyumentcev
Как 7 студентов и филолог делали сложный проект
Как 7 студентов и филолог делали сложный проект
etyumentcev
разработка серверов и серверных приложений лекция №4
разработка серверов и серверных приложений лекция №4
etyumentcev
Большие данные: как могут навредить и ка могут помочь?
Большие данные: как могут навредить и ка могут помочь?
etyumentcev
Математическое обоснование S.O.L.I.D принципов
Математическое обоснование S.O.L.I.D принципов
etyumentcev
математическое обоснование Solid принципов. Конференция dotnetconf (Челябинск...
математическое обоснование Solid принципов. Конференция dotnetconf (Челябинск...
etyumentcev
Об опыте применения jsonb в реальных проектах. Выступление на PgConf.Russia 2016
Об опыте применения jsonb в реальных проектах. Выступление на PgConf.Russia 2016
etyumentcev
Viewers also liked
(7)
Программирование глазами математика
Программирование глазами математика
Как 7 студентов и филолог делали сложный проект
Как 7 студентов и филолог делали сложный проект
разработка серверов и серверных приложений лекция №4
разработка серверов и серверных приложений лекция №4
Большие данные: как могут навредить и ка могут помочь?
Большие данные: как могут навредить и ка могут помочь?
Математическое обоснование S.O.L.I.D принципов
Математическое обоснование S.O.L.I.D принципов
математическое обоснование Solid принципов. Конференция dotnetconf (Челябинск...
математическое обоснование Solid принципов. Конференция dotnetconf (Челябинск...
Об опыте применения jsonb в реальных проектах. Выступление на PgConf.Russia 2016
Об опыте применения jsonb в реальных проектах. Выступление на PgConf.Russia 2016
Similar to матлогика для программистов
Jbreak 2016: Твой личный Spring Boot Starter
Jbreak 2016: Твой личный Spring Boot Starter
Aleksandr Tarasov
Java Enterprise without Java
Java Enterprise without Java
Olena Syrota
Эволюция корпоративных Web приложений. Молотков Андрей D2D Just.NET
Эволюция корпоративных Web приложений. Молотков Андрей D2D Just.NET
Dev2Dev
Учебный день конференции HighLoad++ 2013
Учебный день конференции HighLoad++ 2013
Ontico
микроСЕРВИСЫ: огонь, вода и медные трубы
микроСЕРВИСЫ: огонь, вода и медные трубы
Aleksandr Tarasov
Software Analytics in frontend
Software Analytics in frontend
Denis Kolesnikov
лекция типовые ошибки
лекция типовые ошибки
Yury Zelensky
Преимущества и недостатки микросервисной архитектуры в HeadHunter / Антон Ива...
Преимущества и недостатки микросервисной архитектуры в HeadHunter / Антон Ива...
Ontico
=lection_01.ppt
=lection_01.ppt
ssuserb23110
Toggle your app
Toggle your app
Eugene Krivobokov
Оценка проектов тестирования
Оценка проектов тестирования
Rina Uzhevko
Длинный путь к DevOps?
Длинный путь к DevOps?
CEE-SEC(R)
О.В.Сухорослов "Параллельное программирование"
О.В.Сухорослов "Параллельное программирование"
Yandex
Let's Talk About Junit 5
Let's Talk About Junit 5
SQALab
Сергей Скроботов "Баннерокрутилка: разбираем на куски"
Сергей Скроботов "Баннерокрутилка: разбираем на куски"
Yandex
Учебный день конференции HighLoad++ 2013
Учебный день конференции HighLoad++ 2013
Ontico
"Рекомендации по проектированию API" — Марина Степанова, Яндекс
"Рекомендации по проектированию API" — Марина Степанова, Яндекс
Yandex
Внедрение автоматизации тестирования на Сервисной Шине
Внедрение автоматизации тестирования на Сервисной Шине
SQALab
"Рекомендации по проектированию API". Марина Степанова, Яндекс
"Рекомендации по проектированию API". Марина Степанова, Яндекс
Yandex
«Microservices. Как правильно делать и когда применять?»
«Microservices. Как правильно делать и когда применять?»
DataArt
Similar to матлогика для программистов
(20)
Jbreak 2016: Твой личный Spring Boot Starter
Jbreak 2016: Твой личный Spring Boot Starter
Java Enterprise without Java
Java Enterprise without Java
Эволюция корпоративных Web приложений. Молотков Андрей D2D Just.NET
Эволюция корпоративных Web приложений. Молотков Андрей D2D Just.NET
Учебный день конференции HighLoad++ 2013
Учебный день конференции HighLoad++ 2013
микроСЕРВИСЫ: огонь, вода и медные трубы
микроСЕРВИСЫ: огонь, вода и медные трубы
Software Analytics in frontend
Software Analytics in frontend
лекция типовые ошибки
лекция типовые ошибки
Преимущества и недостатки микросервисной архитектуры в HeadHunter / Антон Ива...
Преимущества и недостатки микросервисной архитектуры в HeadHunter / Антон Ива...
=lection_01.ppt
=lection_01.ppt
Toggle your app
Toggle your app
Оценка проектов тестирования
Оценка проектов тестирования
Длинный путь к DevOps?
Длинный путь к DevOps?
О.В.Сухорослов "Параллельное программирование"
О.В.Сухорослов "Параллельное программирование"
Let's Talk About Junit 5
Let's Talk About Junit 5
Сергей Скроботов "Баннерокрутилка: разбираем на куски"
Сергей Скроботов "Баннерокрутилка: разбираем на куски"
Учебный день конференции HighLoad++ 2013
Учебный день конференции HighLoad++ 2013
"Рекомендации по проектированию API" — Марина Степанова, Яндекс
"Рекомендации по проектированию API" — Марина Степанова, Яндекс
Внедрение автоматизации тестирования на Сервисной Шине
Внедрение автоматизации тестирования на Сервисной Шине
"Рекомендации по проектированию API". Марина Степанова, Яндекс
"Рекомендации по проектированию API". Марина Степанова, Яндекс
«Microservices. Как правильно делать и когда применять?»
«Microservices. Как правильно делать и когда применять?»
More from etyumentcev
разработка серверов и серверных приложений лекция №3
разработка серверов и серверных приложений лекция №3
etyumentcev
разработка серверов и серверных приложений лекция №2
разработка серверов и серверных приложений лекция №2
etyumentcev
разработка серверов и серверных приложений лекция №1
разработка серверов и серверных приложений лекция №1
etyumentcev
высокопроизводиетльные системы без доп затрат
высокопроизводиетльные системы без доп затрат
etyumentcev
зачем нужны системы управления проектами
зачем нужны системы управления проектами
etyumentcev
введение в Sql
введение в Sql
etyumentcev
почему буксует тайм менеджмент
почему буксует тайм менеджмент
etyumentcev
ук 03.011.01 2011
ук 03.011.01 2011
etyumentcev
ук 03.010.01 2011
ук 03.010.01 2011
etyumentcev
ук 03.009.01 2011
ук 03.009.01 2011
etyumentcev
ук 03.007.02 2011
ук 03.007.02 2011
etyumentcev
ук 03.006.02 2011
ук 03.006.02 2011
etyumentcev
ук 03.005.03 2011
ук 03.005.03 2011
etyumentcev
ук 03.003.01 2011
ук 03.003.01 2011
etyumentcev
ук 03.001.02 2011
ук 03.001.02 2011
etyumentcev
ук 03.002.01 2011
ук 03.002.01 2011
etyumentcev
ук 03.005.02 2011
ук 03.005.02 2011
etyumentcev
трпо
трпо
etyumentcev
ооп
ооп
etyumentcev
управление задачами
управление задачами
etyumentcev
More from etyumentcev
(20)
разработка серверов и серверных приложений лекция №3
разработка серверов и серверных приложений лекция №3
разработка серверов и серверных приложений лекция №2
разработка серверов и серверных приложений лекция №2
разработка серверов и серверных приложений лекция №1
разработка серверов и серверных приложений лекция №1
высокопроизводиетльные системы без доп затрат
высокопроизводиетльные системы без доп затрат
зачем нужны системы управления проектами
зачем нужны системы управления проектами
введение в Sql
введение в Sql
почему буксует тайм менеджмент
почему буксует тайм менеджмент
ук 03.011.01 2011
ук 03.011.01 2011
ук 03.010.01 2011
ук 03.010.01 2011
ук 03.009.01 2011
ук 03.009.01 2011
ук 03.007.02 2011
ук 03.007.02 2011
ук 03.006.02 2011
ук 03.006.02 2011
ук 03.005.03 2011
ук 03.005.03 2011
ук 03.003.01 2011
ук 03.003.01 2011
ук 03.001.02 2011
ук 03.001.02 2011
ук 03.002.01 2011
ук 03.002.01 2011
ук 03.005.02 2011
ук 03.005.02 2011
трпо
трпо
ооп
ооп
управление задачами
управление задачами
матлогика для программистов
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 𝑛
7.
06 Таблица истинности
8.
06 Булевы функции от
1-го аргумента
9.
06 Булевы функции от
2-х аргументов
10.
07 Суперпозиция Суперпозиция (сложная функция) —
это функция, полученная из некоторого множества функций путем подстановки одной функции в другую или отождествления переменных.
11.
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 } – полином Жегалкина
16.
10 Общезначимая формула ⊨E
17.
10 Общезначимая формула ⊨E
18.
10 Теорема подстановки Пусть E
- ⊨E, формула E* - суперпозиция, полученная из E c помощью формул A1, …, An. Тогда ⊨E*.
19.
10 Теорема об экивалентности Пусть
⊨ A⟷B. Тогда A и B имеют одинаковые таблицы истинности
20.
06 Основные эквивалентности
21.
12 SOA манифест -
2 Стратегические цели перед выгодами, специфичными для данного проекта.
22.
13 SOA манифест -
3 Свойственная способность к взаимодействию перед специально достигнутой интеграцией.
23.
14 SOA манифест -
4 Совместно используемые сервисы перед разработками с узкими, специальными целями.
24.
15 SOA манифест -
5 Гибкость перед оптимизацией.
25.
16 SOA манифест -
6 Эволюционные усовершенствования перед попыткой достичь изначального совершенства.
26.
17 Эталонная модель SOA
27.
18 Элементы SOA Dirk Krafzig,
Enterprise SOA
28.
19 Структура решений 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
Download now