Множества и логика, Локшин А.А., Иванова Е.А., 2018

Множества и логика, Локшин А.А., Иванова Е.А., 2018.
 
   В пособии, предназначенном студентам педагогических институтов и колледжей - будущим учителям начальных классов – изложены основы двух важнейших тем, способствующих формированию понятийного мышления.




Диаграммы Эйлера-Венна.
На диаграммах Эйлера-Венна множества условно изображаются в виде кругов (или овалов). Каждая точка внутри круга, изображающего множество А, рассматривается как место, которое потенциально может занимать какой-нибудь элемент множества А. Вне соответствующего круга никакие элементы множества А не могут размещаться.

Еще раз подчеркнем, что речь идет не о самих множествах и их элементах, а об их условных изображениях. Утверждения 4.1 и 4.2 могут быть проиллюстрированы на соответствующих диаграммах Эйлера-Венна (рис. 5.1).

СОДЕРЖАНИЕ.
Предисловие.
Глава 1. Элементы наивной теории множеств.
1. Множество и его элементы.
2. Равенство множеств.
3. Подмножества.
4. Транзитивность включения множеств.
5. Диаграммы Эйлера–Венна.
6. Пустое множество. Универсальное множество.
7. Способы задания множеств.
8. Зачем нужны элементы множеств, когда есть одноэлементные подмножества?.
9. Пересечение множеств.
10. Объединение множеств.
11. Взаимодействие операций пересечения и объединения множеств.
12. Разность и дополнение множеств.
13. Законы де Моргана.
14. Дальнейшие свойства разности и дополнения.
15. Формула включений и исключений.
16. Декартово произведение множеств.
17. Разбиение множества на классы по одному, двум и трем свойствам.
Глава 2. Элементы математической логики.
1 Высказывания.
2. Логические союзы.
3. Простые и составные высказывания.
4. Таблицы истинности для логических операций. Конъюнкция, дизъюнкция, отрицание.
5. Таблицы истинности для логических операций. Импликация и эквиваленция.
6. Важнейшие формулы, связывающие между собой логические операции.
7. Геометрическая интерпретация закона контрапозиции.
8. Некоторые важнейшие схемы рассуждений.
9. Предикаты: определение, примеры.
10. Операции над предикатами.
11. Множества истинности операций над предикатами.
12. Логическое следование предикатов.
13. Квантор общности.
14. Квантор существования.
15. Отрицание высказываний с кванторами.
16. Кванторы и многоместные предикаты.
17. Проверка правильности формы умозаключения на диаграммах Эйлера–Венна.
Приложение. Иллюстрации.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Множества и логика, Локшин А.А., Иванова Е.А., 2018 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать файл № 1 - pdf
Скачать файл № 2 - djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.

Скачать - pdf - Яндекс.Диск.




Теги: учебник по математике :: математика :: Локшин :: Иванова