Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Презентация по дисциплине "Элементы математической логики"

Презентация по дисциплине "Элементы математической логики"


  • Информатика

Поделитесь материалом с коллегами:

1? Понятие таблицы истинности. Таблицы истинности для всех логических операци...
« Стремление к истине — единственное занятие, достойное героя. » Джордано Бру...
. Опр. Таблица истинности – это табличное представление логической операции,...
Например:
Приведем таблицы истинности логических операций для 1 и 2 логических перемен...
2)Конъюнкция это логическая операция А٨В, которая принимает истинное значение...
3)Дизъюнкция - логическая операция А٧В ложна тогда и только тогда, когда знач...
4) Импликация - это логическая операция А →В, которая принимает ложное значен...
5) Эквиваленция - это логическая операция А ↔В, которая принимает истинное зн...
6)Штрих Шеффера - это логическая операция А /В, которая принимает ложное знач...
7) Стрелка Пирса - это логическая операция А↓В, которая принимает истинное зн...
8) Сумма по модулю 2 - это логическая операция А В, которая принимает ложное...
Таблица истинности для 3х аргументов Количество сочетаний для логических опер...
При наличии нескольких логических операций в выражении, приоритет в решении б...
Алгоритм построения таблицы истинности Подсчитать n- количество переменных в...
Пример работы по алгоритму: Задание: Построить таблицу истинности по следующе...
6. Выписать наборы входных переменных 7. Провести заполнение таблицы истиннос...
1 из 19

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

№ слайда 1
Описание слайда:

№ слайда 2 1? Понятие таблицы истинности. Таблицы истинности для всех логических операци
Описание слайда:

1? Понятие таблицы истинности. Таблицы истинности для всех логических операций. 2? Приоритет выполнения логических операций.

№ слайда 3 « Стремление к истине — единственное занятие, достойное героя. » Джордано Бру
Описание слайда:

« Стремление к истине — единственное занятие, достойное героя. » Джордано Бруно итальянский монах-доминиканец, философ и поэт, 1548 г.- 1600 г.

№ слайда 4 . Опр. Таблица истинности – это табличное представление логической операции,
Описание слайда:

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

№ слайда 5 Например:
Описание слайда:

Например:

№ слайда 6 Приведем таблицы истинности логических операций для 1 и 2 логических перемен
Описание слайда:

Приведем таблицы истинности логических операций для 1 и 2 логических переменных: 1) Отрицание - это логическая операция, которая принимает истинное значение, когда значение логической переменной ложно. Таблица истинности имеет вид: Где А - логическая переменная, Ā – отрицание логической переменной, (не А).

№ слайда 7 2)Конъюнкция это логическая операция А٨В, которая принимает истинное значение
Описание слайда:

2)Конъюнкция это логическая операция А٨В, которая принимает истинное значение, когда обе А и В (все) логические переменные принимают истинное значение. Таблица истинности имеет вид: Где А и В – логические переменные, А٨В – логическая операция конъюнкция.

№ слайда 8 3)Дизъюнкция - логическая операция А٧В ложна тогда и только тогда, когда знач
Описание слайда:

3)Дизъюнкция - логическая операция А٧В ложна тогда и только тогда, когда значения обеих логических переменных А и В – ложны. Таблица истинности имеет вид: Где А и В – логические переменные, А٧В –логическая операция дизъюнкция.

№ слайда 9 4) Импликация - это логическая операция А →В, которая принимает ложное значен
Описание слайда:

4) Импликация - это логическая операция А →В, которая принимает ложное значение, тогда и только тогда, когда первая логическая переменная А принимает истинное значение, а вторая переменная В принимают ложное значение. Таблица истинности имеет вид: Где А и В –логические переменные, А →В - импликация

№ слайда 10 5) Эквиваленция - это логическая операция А ↔В, которая принимает истинное зн
Описание слайда:

5) Эквиваленция - это логическая операция А ↔В, которая принимает истинное значение, тогда и только тогда, когда истинностные значения логических переменных совпадают. Таблица истинности имеет вид: А и В – логические переменые, А ↔В – логическая операция эквиваленция

№ слайда 11 6)Штрих Шеффера - это логическая операция А /В, которая принимает ложное знач
Описание слайда:

6)Штрих Шеффера - это логическая операция А /В, которая принимает ложное значение, тогда и только тогда, когда обе логические переменные принимают истинные значения. Таблица истинности имеет вид: Где А и В – логические переменные, А /В – логическая операция штрих Шеффера

№ слайда 12 7) Стрелка Пирса - это логическая операция А↓В, которая принимает истинное зн
Описание слайда:

7) Стрелка Пирса - это логическая операция А↓В, которая принимает истинное значение, тогда и только тогда, когда обе логические переменные принимают значения «ложь». Таблица истинности имеет вид: Где А и В – логические переменные, А ↓В – логическая операция стрелка Пирса

№ слайда 13 8) Сумма по модулю 2 - это логическая операция А В, которая принимает ложное
Описание слайда:

8) Сумма по модулю 2 - это логическая операция А В, которая принимает ложное значение, тогда и только тогда, когда обе логические переменные принимают истинные значения. Таблица истинности имеет вид: Где А и В – логические переменные, А В – логическая операция сумма по модулю 2

№ слайда 14 Таблица истинности для 3х аргументов Количество сочетаний для логических опер
Описание слайда:

Таблица истинности для 3х аргументов Количество сочетаний для логических операций рассчитывается по формуле 2N, где N- количество аргументов. Для трех аргументов (логических переменных) 23=8. Следовательно, 8 наборов истинностных значений (число строк) будет в таблице истинности. Где А,В,С – логические переменные.

№ слайда 15 При наличии нескольких логических операций в выражении, приоритет в решении б
Описание слайда:

При наличии нескольких логических операций в выражении, приоритет в решении будет следующий: Отрицание Конъюнкция Дизъюнкция Импликация Эквиваленция Штрих Шеффера, стрелка Пирса, сумма по модулю 2.

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

Алгоритм построения таблицы истинности Подсчитать n- количество переменных в формуле. Определить число строк в таблице m=2n. Подсчитать количество логических операций в формуле. Установить последовательность выполнения логических операций с учетом скобок и приоритетов. Определить количество столбцов в таблице: число переменных плюс число операций. Выписать наборы входных переменных с учетом того, что они представляют собой натуральный ряд n-разрядных двоичных чисел от 0 до 2n-1. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии установленной в п.4 последовательности.

№ слайда 17 Пример работы по алгоритму: Задание: Построить таблицу истинности по следующе
Описание слайда:

Пример работы по алгоритму: Задание: Построить таблицу истинности по следующей формуле А→ Ā٨В. Решение: Количество переменных в формуле А и В =2. 2. Число строк в таблице истинности m=4. 3. Количество логических операций в формуле- отриц., импликация, конъюнкция – 3 4. Последовательность -1.отрицание,2.конъюнкция.,3.импликация 5. Количество столбцов в таблице: число переменных плюс число операций = 2+3 =5столбцов.

№ слайда 18 6. Выписать наборы входных переменных 7. Провести заполнение таблицы истиннос
Описание слайда:

6. Выписать наборы входных переменных 7. Провести заполнение таблицы истинности по столбцам, выполняя логические операции: Результат сложной логической операции в последнем столбце.

№ слайда 19
Описание слайда:


Краткое описание документа:

Данная презентация разработана для сопровождения объяснения материала по дисциплине "Элементы математической логики" для студентов 2го курса специалльности 09.02.01 "Компьютерные системы и комплексы". Тема занятия - Таблицы истинности. Данная презентация содержит теоретическую информацию о том, что такое таблицы истинности, как они применяются, алгоритм построения данных таблиц. Приведены примеры построения таблиц истинности для различных логических операций. Используются анимация переходов, в ходе решения упражнений на закрепление ведется диалог с обучающимися и по мере этого выполняется ход решения.

Автор
Дата добавления 01.07.2015
Раздел Информатика
Подраздел Презентации
Просмотров598
Номер материала 579542
Получить свидетельство о публикации

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

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