Содержание
- 2. Аксиоматический метод © Составитель: доцент кафедры ИТОиМ КГПУ им. В.П. Астафьева Романова Н.Ю.
- 3. аксиомы – утверждения, не требующие доказательства основные понятия - это элементарные понятия, которые нельзя определить через
- 4. Суть логических рассуждений представляет собой цепочку утверждений, каждое из которых либо является исходной посылкой (постулатом, аксиомой,
- 5. Правило индукции - переход от частного к общему. Правило дедукции - переход от общего к частному.
- 6. Формализация математических теорий. Для формализации математической теории нужно выполнить следующие шаги: 1) Ввести символы, которые необходимы
- 7. Решающего успеха в деле формализации логики добился в 1847 году английский математик Джордж Буль (1815-1864), построив
- 8. Алгебра высказываний Алгебра высказываний или булева алгебра рассматривает способ образования одних высказываний из других, более простых,
- 9. Высказыванием (суждением) называется предложение, которое является или может оказаться либо истинным, либо ложным
- 10. Пусть А и В обозначают некоторые произвольные высказывания. Обычно в логике рассматривают следующие логические операции над
- 11. Таблица, которая определяет, какие значения принимают высказывания, полученные с помощью этих логических операций, если исходные высказывания
- 12. Так выглядит таблица истинности для элементарных логических операций:
- 13. Сложные формулы состоят из нескольких логических операций (например, (АVВ)ΛВ→С). Все операции выполняются в порядке возрастания "старшинства
- 14. С помощью таблицы истинности проверим закон «отрицания отрицания»:
- 15. Логические операторы в запросах поисковым системам: Логическое И - оператор AND Логическое ИЛИ - оператор OR
- 16. Операторы в поисковых системах
- 17. Используя обозначения для логических операций можно записать некоторые законы логики, например: ¬(А Λ ¬А) - закон
- 20. Таблица истинности и логические действия в арифметическом виде (Эрнст Шрёдер «исчисление высказываний»):
- 21. Построение логической функции по ее таблице истинности (На примере сложения двоичных чисел) Пусть нам необходимо сложить
- 22. Логические элементы компьютера Логический элемент компьютера — это часть электронной логической схемы, которая реализует элементарную логическую
- 23. Каждый логический элемент имеет свое условное обозначение, которое выражает его логическую функцию, но не указывает на
- 24. С помощью вентилей можно построить функциональную схему одноразрядного сумматора (см. логическую функцию сложения двоичного числа): P(X,Y)=X
- 25. Сумматор Сумматор — это электронная логическая схема, выполняющая суммирование двоичных чисел: При сложении чисел A и
- 26. Многоразрядный двоичный сумматор, предназначенный для сложения многоразрядных двоичных чисел, представляет собой комбинацию одноразрядных сумматоров. ВСЕ ОСТАЛЬНЫЕ
- 28. Скачать презентацию