Введение в логику
книга

Введение в логику

Автор: В. Биллиг

Форматы: PDF

Издательство: Национальный Открытый Университет «ИНТУИТ»

Год: 2016

Место издания: Москва

Страниц: 92

Артикул: 76499

Возрастная маркировка: 16+

Электронная книга
150

Краткая аннотация книги "Введение в логику"

В курсе проводится краткий исторический обзор логики как науки, рассматривается дедуктивный и индуктивный методы вывода и их применение в повседневной жизни.
Достаточно подробно рассматриваются базисные математические понятия – множества, отношения, функции. Наряду с традиционными для школьного курса понятиями логики высказываний – бинарных логических функций, построения таблиц истинности, законов логики высказываний, рассматриваются и более сложные вопросы, такие как, например, конъюнктивные и дизъюнктивные нормальные формы записи логических формул. Изложение теоретического материала сопровождается рассмотрением конкретных логических задач.

Содержание книги "Введение в логику"


Выходные данные
Лекция 1. Исторический обзор
Лекция 2. Логический вывод – индукция
Лекция 3. Логический вывод – дедукция
Лекция 4. Дедуктивный метод Шерлока Холмса
Лекция 5. Множества
Лекция 6. Операции над множествами
Лекция 7. Отношения
Лекция 8. Свойства отношений
Лекция 9. Отношения и базы данных
Лекция 10. Функции
Лекция 11. Математическая логика
Лекция 12. Об импликации
Лекция 13. Логика предикатов
Лекция 15. Логические функции
Лекция 16. Функции и таблицы истинности
Лекция 17. Бинарные логические функции
Лекция 18. Функции многих переменных
Лекция 19. Эквивалентность формул
Лекция 20. Нормальная форма записи
Лекция 21. О базисе
Лекция 22. Законы логики
Лекция 23. Чьи это части?
Лекция 24. Какие у Вас корни? Часть 1
Лекция 25. Какие у Вас корни? Часть 2
Лекция 26. Формально или неформально? Часть 1
Лекция 27. Формально или неформально? Часть 2

Все отзывы о книге Введение в логику

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги Введение в логику

Часто множество задается указанием свойства, характерного для егоэлементов. Свойство задается после вертикальной черты, отделяющейимя элемента от описания свойства.Пример 4 – множество целых чисел, больших 100 именьших 200.Пример 5 – множество нечетных чисел.Элементы множества и само множество связаны отношением"принадлежит". Тот факт, что элемент принадлежит множеству ,будем записывать следующим образом: . Тот факт, что элемент не принадлежит множеству, записывается так:.Два множества могут быть связаны отношением "содержится".Множество содержится в множестве , если все элементы из принадлежат множеству . В этом случае говорят, что –подмножество и записывают это следующим образом: . Еслидля множеств и выполняются соотношения: и то множества и совпадают, считаются эквивалентными, чтозаписывается обычным равенством: .Если и , то называется собственнымподмножеством , что записывается так: Множества характеризуется таким параметром как мощностьмножества. Для конечных множеств его мощность – это число егоэлементов, для бесконечных множеств мощность задаетсяспециальными символами. Различают мощность счетного множества –множества, элементы которого можно перечислять, и мощностьнесчетных множеств. Примерами счетных множеств являютсямножество натуральных чисел и множество целых чисел, примеромнесчетного множества – множество вещественных чисел.Введение в логикуВ.А. Биллиг18