Инфоурок / Информатика / Презентации / Презентация по информатике"Алгебра высказываний"

Презентация по информатике"Алгебра высказываний"

Курсы профессиональной переподготовки
124 курса

Выдаем дипломы установленного образца

Заочное обучение - на сайте «Инфоурок»
(в дипломе форма обучения не указывается)

Начало обучения: 22 ноября
(набор групп каждую неделю)

Лицензия на образовательную деятельность
(№5201 выдана ООО «Инфоурок» 20.05.2016)


Скидка 50%

от 13 800  6 900 руб. / 300 часов

от 17 800  8 900 руб. / 600 часов

Выберите квалификацию, которая должна быть указана в Вашем дипломе:
... и ещё 87 других квалификаций, которые Вы можете получить

Получите наградные документы сразу с 38 конкурсов за один орг.взнос: Подробнее ->>

библиотека
материалов
АЛГЕБРА ВЫСКАЗЫВАНИЙ
 Формы мышления: Понятие Высказывание Умозаключение
Понятие состоит из : содержания объема Понятие- это форма мышления, фиксирующ...
Например, Понятие-автомобиль Содержание- транспортное средство , имеющее четы...
Высказывание-это форма мышления, в которой что-либо утверждается или отрицает...
Высказывания могут быть только повествовательными предложениями.
Посмотри в окно!- не является высказывание т.к. является побудительным предл...
Высказывание может быть истинно или ложно. Истинное высказывание обозначается...
Высказывание может быть простым и составным. Принтер-устройство вывода информ...
Умозаключение- это форма мышления, с помощью которой из одного или нескольких...
Целью алгебры высказываний является: определение истинности или ложности сост...
Операции алгебры высказываний: Логическое умножение(конъюнкция) Логическое сл...
Логическое умножение(конъюнкция)- объединение двух(или нескольких) высказыван...
Логическое умножение обозначается знаками: *, &, ^ А В F=A*B 0 0 0 0 1 0 1 0...
Логическое сложение ( дизъюнкция)- объединение двух (или нескольких) высказыв...
Логическое сложение обозначается знаком «V» A B F=A v B 0 0 0 1 0 1 0 1 1 1 1 1
Логическое отрицание ( инверсия)- присоединение частицы «не» Логическое отриц...
Логическое отрицание обозначается «-» над переменной A __ F=A 0 1 1 0
Логическое следование ( импликация)- образуется соединением двух высказываний...
Логическое следование обозначается «=>» A B F=A=>B 0 0 1 0 1 1 1 0 0 1 1 1
Логическое равенство ( эквивалентность)-образуется соединением двух высказыва...
Операция логической эквивалентности обозначается «» A B AB 0 0 1 0 1 0 1 0...
Алгоритм построения таблицы истинности: Считаем количество переменных n в лог...
23 1

Описание презентации по отдельным слайдам:

№ слайда 1 АЛГЕБРА ВЫСКАЗЫВАНИЙ
Описание слайда:

АЛГЕБРА ВЫСКАЗЫВАНИЙ

№ слайда 2  Формы мышления: Понятие Высказывание Умозаключение
Описание слайда:

Формы мышления: Понятие Высказывание Умозаключение

№ слайда 3 Понятие состоит из : содержания объема Понятие- это форма мышления, фиксирующ
Описание слайда:

Понятие состоит из : содержания объема Понятие- это форма мышления, фиксирующая основные, существенные признаки объектов.

№ слайда 4 Например, Понятие-автомобиль Содержание- транспортное средство , имеющее четы
Описание слайда:

Например, Понятие-автомобиль Содержание- транспортное средство , имеющее четыре колеса, руль, кузов, двигатель. Объем- все подобные транспортные средства существующие в мире

№ слайда 5 Высказывание-это форма мышления, в которой что-либо утверждается или отрицает
Описание слайда:

Высказывание-это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними.

№ слайда 6 Высказывания могут быть только повествовательными предложениями.
Описание слайда:

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

№ слайда 7 Посмотри в окно!- не является высказывание т.к. является побудительным предл
Описание слайда:

Посмотри в окно!- не является высказывание т.к. является побудительным предложением. Вы ходили в театр?- не является высказывание т.к. является вопросительным предложением. Процессор-устройство обработки любых видов информации.-высказывание.

№ слайда 8 Высказывание может быть истинно или ложно. Истинное высказывание обозначается
Описание слайда:

Высказывание может быть истинно или ложно. Истинное высказывание обозначается цифрой «1» ложное- цифрой «0» Например: Принтер-устройство вывода информации - истинно =1 Монитор-устройство хранения информации - ложно= 0

№ слайда 9 Высказывание может быть простым и составным. Принтер-устройство вывода информ
Описание слайда:

Высказывание может быть простым и составным. Принтер-устройство вывода информации- простое. Сканер-устройство ввода информации.- простое. Принтер-устройство вывода информации и сканер-устройство ввода информации - составное

№ слайда 10 Умозаключение- это форма мышления, с помощью которой из одного или нескольких
Описание слайда:

Умозаключение- это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение. Например, если мы имеем суждение «Все углы треугольника равны», то мы можем путем умозаключения доказать, что в этом случае справедливо суждение «Этот треугольник равносторонний».

№ слайда 11 Целью алгебры высказываний является: определение истинности или ложности сост
Описание слайда:

Целью алгебры высказываний является: определение истинности или ложности составного высказывания.

№ слайда 12 Операции алгебры высказываний: Логическое умножение(конъюнкция) Логическое сл
Описание слайда:

Операции алгебры высказываний: Логическое умножение(конъюнкция) Логическое сложение( дизъюнкция) Логическое отрицание( инверсия) Логическое следование ( импликация) Логическое равенство ( эквивалентность)

№ слайда 13 Логическое умножение(конъюнкция)- объединение двух(или нескольких) высказыван
Описание слайда:

Логическое умножение(конъюнкция)- объединение двух(или нескольких) высказываний в одно с помощью союза «и» Составное высказывание, образованное в результате операции логического умножения, истинно тогда и только тогда, когда истинны входящие в него простые высказывания.

№ слайда 14 Логическое умножение обозначается знаками: *, &, ^ А В F=A*B 0 0 0 0 1 0 1 0
Описание слайда:

Логическое умножение обозначается знаками: *, &, ^ А В F=A*B 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 15 Логическое сложение ( дизъюнкция)- объединение двух (или нескольких) высказыв
Описание слайда:

Логическое сложение ( дизъюнкция)- объединение двух (или нескольких) высказываний с помощью союза «или» Составное высказывание, образованное в результате логического сложения, истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

№ слайда 16 Логическое сложение обозначается знаком «V» A B F=A v B 0 0 0 1 0 1 0 1 1 1 1 1
Описание слайда:

Логическое сложение обозначается знаком «V» A B F=A v B 0 0 0 1 0 1 0 1 1 1 1 1

№ слайда 17 Логическое отрицание ( инверсия)- присоединение частицы «не» Логическое отриц
Описание слайда:

Логическое отрицание ( инверсия)- присоединение частицы «не» Логическое отрицание делает истинное высказывание ложным и, наоборот, ложное - истинным

№ слайда 18 Логическое отрицание обозначается «-» над переменной A __ F=A 0 1 1 0
Описание слайда:

Логическое отрицание обозначается «-» над переменной A __ F=A 0 1 1 0

№ слайда 19 Логическое следование ( импликация)- образуется соединением двух высказываний
Описание слайда:

Логическое следование ( импликация)- образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…» Составное высказывание, образованное с помощью операции логического следования, ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод(второе высказывание).

№ слайда 20 Логическое следование обозначается «=>» A B F=A=>B 0 0 1 0 1 1 1 0 0 1 1 1
Описание слайда:

Логическое следование обозначается «=>» A B F=A=>B 0 0 1 0 1 1 1 0 0 1 1 1

№ слайда 21 Логическое равенство ( эквивалентность)-образуется соединением двух высказыва
Описание слайда:

Логическое равенство ( эквивалентность)-образуется соединением двух высказываний в одно с помощью оборота речи «…тогда и только тогда, когда…» Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

№ слайда 22 Операция логической эквивалентности обозначается «» A B AB 0 0 1 0 1 0 1 0
Описание слайда:

Операция логической эквивалентности обозначается «» A B AB 0 0 1 0 1 0 1 0 0 1 1 1

№ слайда 23 Алгоритм построения таблицы истинности: Считаем количество переменных n в лог
Описание слайда:

Алгоритм построения таблицы истинности: Считаем количество переменных n в логическом выражении Определяем число строк в таблице m=2ⁿ Подсчитать количество логических операций в формуле. Установить последовательность выполнения логических операций с учетом скобок и приоритетов Определить количество столбцов в таблице: n+число операций Заполняем таблицу истинности.

Самые низкие цены на курсы переподготовки

Специально для учителей, воспитателей и других работников системы образования действуют 50% скидки при обучении на курсах профессиональной переподготовки.

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

Обучение проходит заочно прямо на сайте проекта "Инфоурок", но в дипломе форма обучения не указывается.

Начало обучения ближайшей группы: 22 ноября. Оплата возможна в беспроцентную рассрочку (10% в начале обучения и 90% в конце обучения)!

Подайте заявку на интересующий Вас курс сейчас: https://infourok.ru


Общая информация

Номер материала: ДВ-282592
Курсы профессиональной переподготовки
124 курса

Выдаем дипломы установленного образца

Заочное обучение - на сайте «Инфоурок»
(в дипломе форма обучения не указывается)

Начало обучения: 22 ноября
(набор групп каждую неделю)

Лицензия на образовательную деятельность
(№5201 выдана ООО «Инфоурок» 20.05.2016)


Скидка 50%

от 13 800  6 900 руб. / 300 часов

от 17 800  8 900 руб. / 600 часов

Выберите квалификацию, которая должна быть указана в Вашем дипломе:
... и ещё 87 других квалификаций, которые Вы можете получить

Похожие материалы

Получите наградные документы сразу с 38 конкурсов за один орг.взнос: Подробнее ->>