4.1 Материалы модуля
4.2 k-перестановки из n элементов
4.3 Урновые схемы и схемы раскладки по ящикам.
4.4 Подсчет отображений конечных множеств
4.5 Рекуррентные соотношения
The document contains 9 quotes meant to inspire the reader's day. The quotes cover topics such as finding happiness through helping others, choosing one's attitude, learning from failure, recognizing new opportunities, and living a meaningful life. The quotes are attributed to figures like Einstein, Frankl, Churchill, and Keller.
75% of app users churn within their first 30 days. No matter the app size, category, or business model, retention is a big challenge. But, for an emerging breed of data-savvy marketers who are bridging new tech and proven statistics to level up their app retention strategy, it’s become an opportunity. Learn how mobile engagement can preemptively tackle churn and discover the key insights needed to drive users to true product adoption.
Zac Aghion, Director of Product @ Localytics
Rainer Leeb, Senior Director of Growth @ SoundHound
4.1 Материалы модуля
4.2 k-перестановки из n элементов
4.3 Урновые схемы и схемы раскладки по ящикам.
4.4 Подсчет отображений конечных множеств
4.5 Рекуррентные соотношения
The document contains 9 quotes meant to inspire the reader's day. The quotes cover topics such as finding happiness through helping others, choosing one's attitude, learning from failure, recognizing new opportunities, and living a meaningful life. The quotes are attributed to figures like Einstein, Frankl, Churchill, and Keller.
75% of app users churn within their first 30 days. No matter the app size, category, or business model, retention is a big challenge. But, for an emerging breed of data-savvy marketers who are bridging new tech and proven statistics to level up their app retention strategy, it’s become an opportunity. Learn how mobile engagement can preemptively tackle churn and discover the key insights needed to drive users to true product adoption.
Zac Aghion, Director of Product @ Localytics
Rainer Leeb, Senior Director of Growth @ SoundHound
This document provides a summary of Rene Garciafassio's qualifications and experience. He has over 25 years of experience in manufacturing, quality assurance, process control, and lean manufacturing. Garciafassio held various roles in the automotive, appliance, packaging, and energy industries. His most recent roles include Continuous Improvement and Process Manager roles at Industrial Metal Finishing Co. and S & S Plating Company, where he helped reduce waste and implement lean manufacturing practices. He is bilingual in English and Spanish and holds a Bachelor's degree in Electronics Engineering.
A&D Precision Inc. is a full-service contract manufacturer founded in 1978 that specializes in precision machining and assembly. It provides services ranging from design and prototyping to production and program management. It has ISO and FDA certifications and clean rooms for medical device manufacturing. Its facilities include CNC mills and lathes for machining a variety of materials.
Invited talk at SSSW'16 (http://sssw.org/2016/?page_id=232) introducing the Fourth Industrial Revolution and discussing how Semantic Web technologies can support this movement. Also a teaser for the upcoming Springer book "Semantic Web for Intelligent Engineering Applications" (http://www.springer.com/us/book/9783319414881).
ПРОВЕРОЧНЫЕ РАБОТЫ по АЛГЕБРЕ
ДИДАКТИЧЕСКИЕ
МАТЕРИАЛЫ
http://matematika.advandcash.biz/proverochnie-raboti-po-algebre/
ПО АЛГЕБРЕ
И
НАЧАЛАМ АНАЛИЗА для 10 класса
стр. 138-150
1 Понятие уравнения и его свойства 2 Методы решения уравнений
-Метод разложения на множители
-Метод введения новой переменной -Функционально-графический метод
1. ТЕМА «ЗАКОНЫ ЛОГИКИ. УПРОЩЕНИЕ ФОРМУЛ»
Цель урока: знакомство с законами логики, способами преобразования логических формул.
Задачи урока:
образовательная – изучение законов логики, приемов использования законов логики для
преобразования логических формул, формирование умений и навыков применения законов
логики для преобразования логических выражений;
развивающие – развитие логического и комбинационного мышления, памяти, внимательности;
воспитательные – воспитание познавательного интереса учащихся, умения слушать,
аккуратности в работе, трудолюбия.
Тип урока: комбинированный урок.
Формы работы: фронтальная, индивидуальная.
Наглядность и оборудование:
компьютеры;
файл д.з.2.doc;
программа MATLOG;
учебники Угриновича Н.Д. для 10-11 кл. (У. п.3.5), Шауцуковой Л.З. (Ш. п.5.9., 5.11).
ПЛАН УРОКА.
1. Анализ самостоятельной работы (8 минут).
2. Проверка домашнего задания (7 минут).
3. Изучение нового материала (70 минут):
а) законы логики (20 минут);
б) упрощение формул (8 минут);
в) преобразования “поглощение” и “склеивание” (8 минут).
г) замена отрицаний сложных высказываний (9 минут);
д) тождественные преобразования (10 минут);
е) замена эквиваленции и импликации на конъюнкцию, дизъюнкцию и отрицание (15
минут).
4. Домашнее задание (5 минут).
ХОД УРОКА.
I Анализ самостоятельной работы.
Объявить оценки, выдать работы, проанализировать типичные ошибки.
II. Актуализация опорных знаний.
Проверка домашнего задания (файл д.з2.doc загружен на компьютере).
III. Подача нового материала. (Использовать программу MATLOG).
1. Законы логики.
Равносильности формул логики высказываний часто называют законами логики. Знание
законов логики позволяет проверять правильность рассуждений и доказательств. Нарушения
этих законов приводят к логическим ошибкам и вытекающим из них противоречиям.
Перечислим наиболее важные из них:
1. X≡X Закон тождества.
1
2. 2. X X∧ ≡ 0 Закон противоречия
3. X X∨ ≡ 1 Закон исключенного третьего
4. X X≡ Закон двойного отрицания
5. X∧X≡X Законы идемпотентности
X∨X≡Χ
6. Χ∧Υ≡Υ∧Χ } Законы коммутативности
Χ∨Υ≡Υ∨Χ (переместительности)
7. (Χ∧Υ)∧Ζ≡Χ∧(Υ∧Ζ) } Законы ассоциативности
(Χ∨Υ)∨Ζ≡Χ∨(Υ∨Ζ) (сочетательности)
8. Χ∧(Υ∨Ζ)≡(Χ∧Υ)∨(Χ∧Ζ) } Законы дистрибутивности
Χ∨(Υ∧Ζ)≡(Χ∨Υ)∧(Χ∨Ζ) (распределительности)
9. X Y X Y∧ ≡ ∨ } Законы де Моргана
X Y X Y∨ ≡ ∧
10. X∧1≡Χ Χ∨0≡Χ
11. Χ∧0≡0; Χ∨1≡1
12. Χ∧(Χ∨Υ)≡Χ } Законы поглощения
Χ∨(Χ∧Υ)≡Χ
13. (Χ∨Υ)∧( X ∨Υ)≡Υ } Законы склеивания
(Χ∧Υ)∨( X ∨Υ)≡Υ
14. ( ) YXYXX
YXYXX
⋅≡+⋅
+≡⋅+
YXYXX
YXYXX
+≡⋅+
+≡⋅+
1-й закон сформулирован древнегреческим философом Аристотелем. Закон тождества
утверждает, что мысль, заключенная в некотором высказывании, остается неизменной на
протяжении всего рассуждения, в котором это высказывание фигурирует.
Закон противоречия говорит о том, что никакое предложение не может быть истинно
одновременно со своим отрицанием. “Это яблоко спелое” и “Это яблоко не спелое”.
Закон исключенного третьего говорит о том, что для каждого высказывания имеются
лишь две возможности: это высказывание либо истинно либо ложно. Третьего не дано.
“Сегодня я получу 5 либо не получу”. Истинно либо суждение, либо его отрицание.
Закон двойного отрицания. Отрицать отрицание какого-нибудь высказывания - то же,
что утверждать это высказывание.
“ Неверно, что 2⋅2≠4”
Законы идемпотентности. В алгебре логики нет показателей степеней и коэффициентов.
Конъюнкция одинаковых “сомножителей” равносильна одному из них.
Законы коммутативности и ассоциативности. Конъюнкция и дизъюнкция аналогичны
одноименным знакам умножения и сложения чисел.
2
3. В отличие от сложения и умножения чисел логическое сложение и умножение
равноправны по отношению к дистрибутивности: не только конъюнкция дистрибутивна
относительно дизъюнкции, но и дизъюнкция дистрибутивна относительно конъюнкции.
Доказать законы логики можно:
1) с помощью таблиц истинности;
2) с помощью равносильностей;
3) диаграмм Эйлера-Венна;
4) с помощью логических рассуждений.
Докажем законы склеивания и поглощения с помощью равносильностей:
1) (Χ∨Υ)∧( X ∨Υ)≡(Χ+Υ)⋅( X +Υ)≡Χ⋅ X +Υ⋅ X +Υ⋅Υ+Χ⋅Υ≡Υ⋅ X +Υ+Χ⋅Υ≡Υ⋅ X +
+Υ(1+Χ)≡Υ⋅ X +Υ≡Υ( X +1)≡Υ склеивания
2) Χ∧(Χ∨Υ)≡Χ⋅Χ∨Χ⋅Υ≡Χ∨Χ⋅Υ≡Χ(1+Υ)≡Χ поглощения
2. Упрощение формул.
Пример 1. Упростить формулу (А+В)·(А+С)
Решение.
а) Раскроем скобки (A+B)·(A+C)≡Α⋅Α+Α⋅C+B·A+B·C
б) По закону идемпотентности A·A≡Α, следовательно, Α⋅Α+Α⋅C+B·A+B·C≡Α+Α⋅C+B·A+B·C
в) В высказываниях А и А·C вынесем за скобки А и используя свойство А+1≡1, получим
А+А⋅С+Β⋅Α+Β⋅C≡Α⋅(1+С)+Β⋅Α+Β⋅С≡Α+Β⋅Α+Β⋅С
г) Аналогично пункту в) вынесем за скобки высказывание А.
Α+Β⋅Α+Β⋅С≡Α(1+Β)+ΒС≡Α+Β⋅С
Таким образом, мы доказали закон дистрибутивности.
3. Преобразования “поглощение” и “склеивание”
Пример 2. Упростить выражение А+Α⋅Β
Решение. Α+Α⋅Β≡Α(1+Β)≡Α - поглощение
Пример 3. Упростить выражение Α⋅Β+Α⋅ B
Решение. Α⋅Β+Α⋅ B ≡Α(Β+ B )≡Α - склеивание
4. Всякую формулу можно преобразовать так, что в ней не будет отрицаний
сложных высказываний - все отрицания будут применяться только к
простым высказываниям.
Пример 4. Преобразовать формулу A B C+ ⋅ так, чтобы не было отрицаний
сложных высказываний.
3
4. Решение. 1. Воспользуемся формулой де Моргана, получим: A B C+ ⋅ ≡ ⋅ ⋅A B C
2. Для выражения B C⋅ применим еще раз формулу де Моргана, получим:
( )A B C C⋅ ⋅ = ⋅ +Α Β
5. Любую формулу можно тождественно преобразовать так, что в ней не будут
использованы:
- знаки логического сложения;
- знаки логического умножения,
а будут использованы:
- знаки отрицания и логического умножения
- знаки отрицания и логического сложения.
Пример 5. Преобразовать формулу A B+ так, чтобы в ней не использовались
знаки логического сложения.
Решение. Воспользуемся законом двойного отрицания, а затем формулой де
Моргана.
A B A B A B A B+ ≡ + ≡ ⋅ ≡ ⋅
Пример 6. Преобразовать формулу A B C⋅ ⋅ так, чтобы в ней не использовались
знаки логического умножения.
Решение. Используя формулы де Моргана и закон двойного отрицания получим:
( )A B C A B C A B A C A B A C A B A C A B A C⋅ ⋅ ≡ ⋅ + ≡ ⋅ + ⋅ ≡ ⋅ + ⋅ ≡ + + + ≡ + + +
6. Замена эквиваленции и импликации на конъюнкцию, дизъюнкцию и
отрицание.
До сих пор мы занимались равносильными преобразованиями формул, не содержащих знаков
импликации и эквиваленции “→“ и “↔“. Сейчас покажем, что всякую формулу, содержащую
→ или ↔, можно заменить равносильной ей формулой, не содержащей этих знаков.
Имеют место следующие равносильности:
Χ→Υ≡ X ∨Υ (1)
Χ→Υ≡ X Y∧ (2)
Докажем равносильность (1) с помощью таблицы истинности:
X Y X→Υ X X ∨Υ
0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 1 0 1
4
5. Эквиваленция выражается через конъюнкцию и импликацию
Χ↔Υ≡(Χ→Υ)⋅(Υ→Χ) (3)
Из (3) и (1) получаем
Χ↔Υ≡( X ∨Υ)⋅( Y ∨Χ)≡ X ⋅ Y ∨ Y⋅ Y ∨ X ⋅X ∨ Χ⋅Υ= X ⋅ Y ∨Χ⋅Υ (4)
Эта равносильность выражает эквиваленцию через конъюнкцию, дизъюнкцию и отрицание. Из
равносильностей (3) и (2) получаем равносильность
Χ↔Υ= X Y∧ ∧ X Y∧ , (5) выражающую эквиваленцию через конъюнкцию и отрицание.
! Вывод: В алгебре логики всякую логическую функцию можно выразить через другие
логические функции, но их должно быть по меньшей мере 2 операции, при этом
одной из них обязательно должно быть отрицание.
Все операции можно выразить через конъюнкцию и отрицание, дизъюнкцию и отрицание,
импликацию и отрицание. Через эквиваленцию и отрицание остальные операции выразить
нельзя.
Домашнее задание.
1) выучить конспект.
2) выполнить задания:
1. Формулы данных высказываний преобразовать в эквивалентные, исключив
логическое сложение:
а) A B+ ;
б) A B C⋅ + ;
в) A B A B⋅ + ⋅ .
2. Формулы данных высказываний преобразовать в эквивалентные, исключить
логическое умножение.
а) A B⋅ ;
б) A B C+ ⋅ ;
в) ( ) ( )A B A B+ ⋅ + .
3. Упростить:
5
6. а) ( )( )A B C A B C D A D⋅ + + ⋅ ⋅ ⋅ + ⋅ ;
б) ( )A B C A B C A C⋅ ⋅ + ⋅ + + ⋅ ;
5. С помощью таблиц истинности доказать законы поглощения и склеивания.
6
7. а) ( )( )A B C A B C D A D⋅ + + ⋅ ⋅ ⋅ + ⋅ ;
б) ( )A B C A B C A C⋅ ⋅ + ⋅ + + ⋅ ;
5. С помощью таблиц истинности доказать законы поглощения и склеивания.
6