Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Основы логики

Содержание

Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними.
основы логики  Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания, рассматриваемые со Джордж Буль Логическое высказывание — это любое повествовательное предложение, в отношении которого можно однозначно Так, например, предложение Не всякое предложение является логическим высказыванием.   Высказываниями не являются, например, Употребляемые в обычной речи слова и словосочетания Bысказывания, образованные из других высказываний с помощью логических связок, называются составными. Так, например, из элементарных высказываний При помощи связки Чтобы обращаться к логическим высказываниям, им назначают имена. Пусть через А обозначено Тогда составное высказывание   Операции над логическими  высказываниями НЕ    Операция, выражаемая словом Высказывание А истинно, когда A ложно, и ложно, когда A истинно. Пример. И    Операция, выражаемая связкой Высказывание А · В истинно тогда и только тогда, когда оба высказывания ИЛИ    Операция, выражаемая связкой Высказывание А v В ложно тогда и только тогда, когда оба высказывания ЕСЛИ-ТО   Операция, выражаемая связками   РАВНОСИЛЬНО   Операция, выражаемая связками С помощью логических переменных и символов логических операций любое высказывание можно формализовать, Определение логической формулы: 1. Всякая логическая переменная и символы Логический элемент компьютера — это часть электронной логической схемы, которая реализует элементарную логическую функцию. Логическими элементами компьютеров являются электронные схемы И, ИЛИ, НЕ, И—НЕ, ИЛИ—НЕ и другие. Каждый логический элемент имеет свое условное обозначение, которое выражает его логическую функцию, Таблица истинности это табличное представление логической схемы (операции), в котором перечислены все Схема И Схема И реализует конъюнкцию двух или более логических значений. Единица на выходе схемы И будет тогда и только тогда, когда на С х е м а   ИЛИСхема  ИЛИ  реализует дизъюнкцию двух или более логических значений. Таблица истинности схемы ИЛИ Когда хотя бы на одном входе схемы  ИЛИ С х е м а   НЕСхема   НЕ  (инвертор) реализует операцию Таблица истинности схемы НЕ Если на входе схемы  0,  то на выходе С х е м а   И—НЕСхема И—НЕ состоит из элемента И Таблица истинности схемы И—НЕ С х е м а   ИЛИ—НЕСхема ИЛИ—НЕ состоит из элемента ИЛИ Таблица истинности схемы ИЛИ—НЕ Триггер — это электронная схема, широко применяемая в регистрах компьютера для надёжного Самый распространённый тип триггера — так называемый RS-триггер (S и R, соответственно, Сумматор — это электронная логическая схема, выполняющая суммирование двоичных чисел. Сумматор служит, Многоразрядный двоичный сумматор
Слайды презентации

Слайд 2 Алгебра логики (булева алгебра) - это раздел математики,

Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания, рассматриваемые

изучающий высказывания, рассматриваемые со стороны их логических значений (истинности

или ложности) и логических операций над ними.

Слайд 3
Джордж Буль

Джордж Буль

Слайд 4 Логическое высказывание — это любое повествовательное предложение, в

Логическое высказывание — это любое повествовательное предложение, в отношении которого можно

отношении которого можно однозначно сказать, истинно оно или ложно.




Слайд 5 Так, например, предложение
" Трава зеленая" следует считать

Так, например, предложение

высказыванием, так как оно истинное.

Предложение " Лев -

птица" тоже высказывание, так как оно ложное.



Слайд 6 Не всякое предложение является логическим высказыванием. Высказываниями не

Не всякое предложение является логическим высказыванием.  Высказываниями не являются, например,

являются, например, предложения "ученик десятого класса" и "информатика —

интересный предмет".

Слайд 7 Употребляемые в обычной речи слова и словосочетания "не",

Употребляемые в обычной речи слова и словосочетания

"и", "или", "если... , то", "тогда и только тогда"

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

Слайд 8 Bысказывания, образованные из других высказываний с помощью логических

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

связок, называются составными. Высказывания, не являющиеся составными, называются элементарными.



Слайд 9 Так, например, из элементарных высказываний "Петров — врач",

Так, например, из элементарных высказываний

"Петров — шахматист" при помощи связки "и" можно получить

составное высказывание "Петров — врач и шахматист", понимаемое как "Петров — врач, хорошо играющий в шахматы".


Слайд 10 При помощи связки "или" из этих же высказываний

При помощи связки

можно получить составное высказывание "Петров — врач или шахматист",

понимаемое в алгебре логики как "Петров или врач, или шахматист, или и врач и шахматист одновременно".

Слайд 11 Чтобы обращаться к логическим высказываниям, им назначают имена.

Чтобы обращаться к логическим высказываниям, им назначают имена. Пусть через А


Пусть через А обозначено высказывание "Тимур поедет летом на

море", а через В — высказывание "Тимур летом отправится в горы".

Слайд 12 Тогда составное высказывание   "Тимур летом побывает и

Тогда составное высказывание  

на море,  и в горах"   можно кратко записать

как     А и В.  Здесь   "и"  — логическая связка, А,   В   — логические переменные, которые могут принимать только два значения - "истина"  или "ложь", обозначаемые, соответственно, "1" и  "0".

Слайд 13 Операции над логическими высказываниями

Операции над логическими высказываниями

Слайд 14 НЕ 
 
Операция, выражаемая словом "не", называется инверсией

НЕ    Операция, выражаемая словом

или отрицанием и обозначается чертой над высказыванием.  


Слайд 15 Высказывание А истинно, когда A ложно, и ложно,

Высказывание А истинно, когда A ложно, и ложно, когда A истинно.

когда A истинно.

Пример. "Луна — спутник Земли" (А);

"Луна — не спутник Земли" (А).



Слайд 16 И   
Операция, выражаемая связкой "и", называется конъюнкцией

И    Операция, выражаемая связкой

(лат. conjunctio — соединение) или логическим умножением и обозначается

точкой " . " (может также обозначаться знаками /\ или &).

Слайд 17 Высказывание А · В истинно тогда и только

Высказывание А · В истинно тогда и только тогда, когда оба

тогда, когда оба высказывания А и В истинны.

Например,

высказывание   "10 делится на 2 и 5 больше 3"   истинно, а высказывания     "10 делится на 2 и 5 не больше 3",     "10 не делится на 2 и 5 больше 3",     "10 не делится на 2 и 5 не больше 3"     —   ложны.



Слайд 18 ИЛИ   
Операция, выражаемая связкой "или" (в неисключающем

ИЛИ    Операция, выражаемая связкой

смысле этого слова), называется дизъюнкцией (лат. disjunctio — разделение)

или логическим сложением и обозначается знаком v (или плюсом).

Слайд 19 Высказывание А v В ложно тогда и только

Высказывание А v В ложно тогда и только тогда, когда оба

тогда, когда оба высказывания А и В ложны.

Например,

высказывание   "10 не делится на 2 или 5 не больше 3"   ложно,     а высказывания "10 делится на 2 или 5 больше 3",   "10 делится на 2 или 5 не больше 3",   "10 не делится на 2 или 5 больше 3"—   истинны.


Слайд 20 ЕСЛИ-ТО  
Операция, выражаемая связками   "если ...,

ЕСЛИ-ТО   Операция, выражаемая связками  

то",  "из ... следует",  "... влечет ...",  называется импликацией

(лат. implico — тесно связаны) и обозначается знаком . Высказывание   А В ложно тогда и только тогда, когда  А  истинно,  а  В  ложно.


Слайд 21 РАВНОСИЛЬНО  
Операция, выражаемая связками "тогда и только

РАВНОСИЛЬНО   Операция, выражаемая связками

тогда", "необходимо и достаточно", "... равносильно ...", называется эквиваленцией

или двойной импликацией и обозначается знаком    или  ~.   Высказывание А В истинно тогда и только тогда, когда значения А и В совпадают.      

Слайд 22 С помощью логических переменных и символов логических операций

С помощью логических переменных и символов логических операций любое высказывание можно

любое высказывание можно формализовать, то есть заменить логической формулой.


Слайд 23 Определение логической формулы:

1. Всякая логическая переменная и

Определение логической формулы: 1. Всякая логическая переменная и символы

символы "истина" ("1") и "ложь" ("0") - формулы.

2.

Если  А и В - формулы,   то  А , А · В ,
А v В ,   А B ,   А В   - формулы.

3. Никаких других формул в алгебре логики нет.



Слайд 24 Логический элемент компьютера — это часть электронной логической

Логический элемент компьютера — это часть электронной логической схемы, которая реализует элементарную логическую функцию.

схемы, которая реализует элементарную логическую функцию.


Слайд 25 Логическими элементами компьютеров являются электронные схемы И, ИЛИ,

Логическими элементами компьютеров являются электронные схемы И, ИЛИ, НЕ, И—НЕ, ИЛИ—НЕ и другие.

НЕ, И—НЕ, ИЛИ—НЕ и другие.


Слайд 26 Каждый логический элемент имеет свое условное обозначение, которое

Каждый логический элемент имеет свое условное обозначение, которое выражает его логическую

выражает его логическую функцию, но не указывает на то,

какая именно электронная схема в нем реализована. Это упрощает запись и понимание сложных логических схем.

Слайд 27 Таблица истинности это табличное представление логической схемы (операции),

Таблица истинности это табличное представление логической схемы (операции), в котором перечислены

в котором перечислены все возможные сочетания значений истинности входных

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

Слайд 28
Схема И
Схема И реализует конъюнкцию двух или

Схема И Схема И реализует конъюнкцию двух или более логических значений.

более логических значений.


Слайд 29 Единица на выходе схемы И будет тогда и

Единица на выходе схемы И будет тогда и только тогда, когда

только тогда, когда на всех входах будут единицы. Когда

хотя бы на одном входе будет ноль, на выходе также будет ноль.

Таблица истинности схемы И


Слайд 30 С х е м а   ИЛИ

Схема  ИЛИ

С х е м а   ИЛИСхема  ИЛИ  реализует дизъюнкцию двух или более логических значений.

 реализует дизъюнкцию двух или более логических значений.


Слайд 31 Таблица истинности схемы ИЛИ
Когда хотя бы на

Таблица истинности схемы ИЛИ Когда хотя бы на одном входе схемы

одном входе схемы  ИЛИ  будет единица, на её выходе

также будет единица.


Слайд 32 С х е м а   НЕ
Схема  

С х е м а   НЕСхема   НЕ  (инвертор) реализует

НЕ  (инвертор) реализует операцию отрицания.  Связь между входом  

x  этой схемы и выходом   F  можно записать соотношением   F = x  где   х  читается как   "не x"   или  "инверсия х".

Слайд 33 Таблица истинности схемы НЕ

Если на входе схемы

Таблица истинности схемы НЕ Если на входе схемы  0,  то на

 0,  то на выходе  1.  Когда на входе  1, 

на выходе  0. 

Слайд 34 С х е м а   И—НЕ
Схема И—НЕ

С х е м а   И—НЕСхема И—НЕ состоит из элемента

состоит из элемента И и инвертора и осуществляет отрицание

результата схемы И. Связь между выходом F и входами x и y схемы записывают следующим образом: F=x·y, где x·y  читается как   "инверсия x и y".  




Слайд 35 Таблица истинности схемы И—НЕ

Таблица истинности схемы И—НЕ

Слайд 36 С х е м а   ИЛИ—НЕ

Схема ИЛИ—НЕ

С х е м а   ИЛИ—НЕСхема ИЛИ—НЕ состоит из элемента

состоит из элемента ИЛИ и инвертора  и осуществляет отрицание

результата схемы ИЛИ.     Связь между выходом  F и входами  x  и  y  схемы записывают следующим образом:F=x+y, где x+y ,  читается как  "инверсия  x или y ".




Слайд 37 Таблица истинности схемы ИЛИ—НЕ

Таблица истинности схемы ИЛИ—НЕ

Слайд 38 Триггер — это электронная схема, широко применяемая в

Триггер — это электронная схема, широко применяемая в регистрах компьютера для

регистрах компьютера для надёжного запоминания одного разряда двоичного кода.

Триггер имеет два устойчивых состояния, одно из которых соответствует двоичной единице, а другое — двоичному нулю.


Слайд 39 Самый распространённый тип триггера — так называемый RS-триггер

Самый распространённый тип триггера — так называемый RS-триггер (S и R,

(S и R, соответственно, от английских set — установка,

и reset — сброс).



0

1

0

1

S

R

Q

Q


Слайд 40 Сумматор — это электронная логическая схема, выполняющая суммирование

Сумматор — это электронная логическая схема, выполняющая суммирование двоичных чисел. Сумматор

двоичных чисел.

Сумматор служит, прежде всего, центральным узлом арифметико-логического

устройства компьютера, однако он находит применение также и в других устройствах машины.


  • Имя файла: osnovy-logiki.pptx
  • Количество просмотров: 150
  • Количество скачиваний: 0