Содержание
- 2. Логика – это наука о законах и формах мышления. Она изучает абстрактное мышление как средство познания
- 3. Логика является одной из дисциплин, образующих математический фундамент информатики. Любой язык программирования содержит логические переменные и
- 4. В вычислительной технике и автоматике используются логические схемы – устройства, которые преобразуют двоичные сигналы. Например, полусумматоры
- 5. Этапы развития логики Первые учения о формах и способах рассуждений возникли в странах Дальнего Востока (Китай,
- 6. В XVII веке немецкий ученый и философ Готфрид Вильгельм Лейбниц (1646 – 1716) попытался построить первые
- 7. Алгебра логики С точки зрения устройства ЭВМ нас интересует алгебра логики, в которой не рассматривается конкретное
- 8. Примеры: Москва – столица России Студент математического факультета педагогического университета Треугольник АВС подобен треугольнику А’В’С’ Луна
- 9. Основные понятия логики: Утверждение – высказывание, которое требуется доказать или опровергнуть. Например: «Сумма внутренних углов треугольника
- 10. Простые высказывания обозначают заглавными латинскими буквами A, B, C…X, Y, Z и называют логическими переменными Значения
- 11. Примеры: Рассмотрим следующие высказывания: A = (7 > 3) B = (7 = 3) C =
- 12. Основная идея математической логики – в математической логике надо иметь дело не с конкретным (смысловым) значением
- 13. Основные логические операции (функции) Инверсия (логическое отрицание) Конъюнкция (логическое умножение) Дизъюнкция (логическое сложение) Импликация (логическое следование)
- 14. Основные логические операции У каждой функции существует таблица истинности. Всего для двух переменных А и В
- 15. Логическая операция ИНВЕРСИЯ (отрицание) Соответствует частице НЕ (NOT) Обозначается А или ¬А Каждому простому высказыванию ставит
- 16. Примеры: Сформулируйте отрицания следующих высказываний и укажите значения истинности полученных отрицаний: Волга впадает в Каспийское море.
- 17. Логическая операция КОНЪЮНКЦИЯ (логическое умножение) Ставит в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным
- 18. Примеры: Определить значения истинности следующих высказываний: Ленинград расположен на Неве и 2 + 3 = 5
- 19. Соответствует союзу ИЛИ (OR) Обозначается ۷ или ● Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение) Каждым двум простым
- 20. Примеры: Определить значения истинности следующих высказываний: 7 – простое число или 9 – простое число Число
- 21. Логическая операция ИМПЛИКАЦИЯ (логическое следование IMP) Соответствует обороту ЕСЛИ…, ТО… Обозначается => Ставит в соответствие каждым
- 22. Примеры: Определить значения истинности следующих высказываний: Если 12 делится на 6, то 12 делится на 3.
- 23. Логическая операция ЭКВИВАЛЕНЦИЯ (равнозначность EQV ) Ставит в соответствие каждым двум простым высказываниям составное высказывание, являющееся
- 24. Примеры: Определить значения истинности следующих высказываний: 12 делится на 6 тогда и только тогда, когда 12
- 25. Сложение по модулю 2 (неравнозначность, отрицание однозначности, исключающее ИЛИ) F=A⊕ B, F=А XOR В Если a
- 26. Таблица истинности основных функций
- 27. Плюсы математической логики Применяется для описания работы так называемых дискретных устройств, к числу которых принадлежит целый
- 28. Некоторые функции проводимости F(x), для х-переключательных схем
- 29. Условно-графические обозначения (УГО) некоторых логических элементов
- 30. Схема, реализующая функцию суммы одноразрядного сумматора
- 31. Схема, реализующая функцию переноса одноразрядного сумматора
- 32. Схемотехническая реализация логических элементов Каждый логический элемент – это электронно-техническое изделие.
- 33. Условно-графические обозначения (УГО) некоторых логических элементов
- 34. Условно-графические обозначения (УГО) некоторых логических элементов
- 35. Функциональные схемы и структурные формулы логических устройств Определите структурную формулу по заданной функциональной схеме X Y
- 36. Начерти переключательную схему, реализующую следующую логическую функцию F(X,Y)=X&YVZ
- 38. Скачать презентацию