Программное обеспечение (ПО)



бет1/3
Дата27.09.2022
өлшемі1.67 Mb.
#461414
түріЗадача
  1   2   3
Логические основы компьютера

Логические основы компьютеров

Логические основы компьютеров

  • Логика и компьютер

Логика, высказывания

  • Аристотель
  • (384-322 до н.э.)
  • Логика (др.греч. λογικος) – это наука о том, как правильно рассуждать, делать выводы, доказывать утверждения.
  • Формальная логика отвлекается от конкретного содержания, изучает только истинность и ложность высказываний.

Высказывание или нет?

    • Сейчас идет дождь.
    • Жирафы летят на север.
    • История – интересный предмет.
    • У квадрата – 10 сторон и все разные.
    • Красиво!
    • В городе N живут 2 миллиона человек.
    • Который час?

Логика и компьютер

  • Двоичное кодирование – все виды информации кодируются с помощью 0 и 1.
  • Задача – разработать оптимальные правила обработки таких данных.
  • Почему «логика»? Результат выполнения операции можно представить как истинность (1) или ложность (0) некоторого высказывания.
  • Джордж Буль разработал основы алгебры, в которой используются только 0 и 1 (алгебра логики, булева алгебра).

Логические основы компьютеров

Обозначение высказываний

  • A – Сейчас идет дождь.
  • B – Форточка открыта.
  • простые высказывания (элементарные)
  • Составные высказывания строятся из простых с помощью логических связок (операций) «и», «или», «не», «если … то», «тогда и только тогда» и др.
  • Любое высказывание может быть ложно (0) или истинно (1).
  • !
  • A и B
  • A или не B
  • если A, то B
  • A тогда и только
  • тогда, когда B
  • Сейчас идет дождь и открыта форточка.
  • Сейчас идет дождь или форточка закрыта.
  • Если сейчас идет дождь, то форточка открыта.
  • Дождь идет тогда и только тогда, когда открыта форточка.


Достарыңызбен бөлісу:
  1   2   3




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет