Логические основы компьютеров - Аристотель
- (384-322 до н.э.)
- Логика (др.греч. λογικος) – это наука о том, как правильно рассуждать, делать выводы, доказывать утверждения.
- Формальная логика отвлекается от конкретного содержания, изучает только истинность и ложность высказываний.
Высказывание или нет? - Сейчас идет дождь.
- Жирафы летят на север.
- История – интересный предмет.
- У квадрата – 10 сторон и все разные.
- Красиво!
- В городе N живут 2 миллиона человек.
- Который час?
Логика и компьютер - Двоичное кодирование – все виды информации кодируются с помощью 0 и 1.
- Задача – разработать оптимальные правила обработки таких данных.
- Почему «логика»? Результат выполнения операции можно представить как истинность (1) или ложность (0) некоторого высказывания.
- Джордж Буль разработал основы алгебры, в которой используются только 0 и 1 (алгебра логики, булева алгебра).
Логические основы компьютеров Обозначение высказываний - A – Сейчас идет дождь.
- B – Форточка открыта.
- простые высказывания (элементарные)
- Составные высказывания строятся из простых с помощью логических связок (операций) «и», «или», «не», «если … то», «тогда и только тогда» и др.
- Любое высказывание может быть ложно (0) или истинно (1).
- A и B
- A или не B
- если A, то B
- A тогда и только
- тогда, когда B
- Сейчас идет дождь и открыта форточка.
- Сейчас идет дождь или форточка закрыта.
- Если сейчас идет дождь, то форточка открыта.
- Дождь идет тогда и только тогда, когда открыта форточка.
Достарыңызбен бөлісу: |
