Презентация на тему по информатике на тему Логические основы работы компьютера

древнегреческими мыслителями, хотя первые учения о формах и способах

мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания.

мышления. Это учение о способах рассуждений и доказательств.

познаем посредством абстрактного мышления. Логика позволяет строить формальные модели

окружающего мира, отвлекаясь от содержательной стороны.
Мышление всегда осуществляется через понятия, высказывания и умозаключения.

признаки предмета или класса предметов, позволяющие отличать их от

других.

Пример
Прямоугольник, проливной дождь, компьютер.

Высказывание является повествовательным предложением, в котором

что-либо утверждается или отрицается.

ложно. Истинным будет высказывание, в котором связь понятий правильно

отражает свойства и отношения реальных вещей. Ложным высказывание будет в том случае, когда оно противоречит реальной действительности.

Пример
«Буква «а» – гласная».
«Компьютер был изобретен в середине XIX века».

истинность.
1. Какой длины эта лента?
2. Прослушайте сообщение.
3. Делайте утреннюю

зарядку!
4. Кто отсутствует?
5. Париж – столица Англии.
6. Число 11 является простым.
7. Сложите числа 2 и 5.
8. Некоторые медведи живут на севере.
9. Все медведи – бурые.

форме суждений, получать новое знание.

Умозаключение – это форма мышления,

с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод).

общих операциях, аналогичных сложению и умножению, которые выполняются не

только над числами, но и над другими математическими объектами, в том числе и над высказываниями. Такая алгебра называется алгеброй логики. Алгебра логики отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказывания.

высказывание, содержащее только одну мысль. Ее символическое обозначение –

латинская буква (например, A, B, C и т.д.). Значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0).

которая содержит несколько простых мыслей, соединенных между собой с

помощью логических операций. Ее символическое обозначение – F(A,B,…).

На основании простых высказываний могут быть построены составные высказывания.

три базовые логические операции – конъюнкцию, дизъюнкцию и отрицание

и дополнительные – импликацию и эквивалентность.

высказывание A^B, которое будет истинным тогда и только тогда,

когда оба исходных высказывания истинны.

высказывание AvB, которое будет ложным тогда и только тогда,

когда оба исходных высказывания ложны, и истинным в остальных случаях.

которое будет ложным, если исходное высказывание истинно, и наоборот.

высказывание A→B, которое будет ложным тогда и только тогда,

когда из истинного основания A следует ложное следствие B.