Логические основы Скачать
презентацию
<<  Логические основы информатики Триггеры  >>
Логические основы построения компьютера
Логические основы построения компьютера
Логические основы построения компьютера
Логические основы построения компьютера
Цель
Цель
Цель
Цель
Содержание
Содержание
Содержание
Содержание
Историческая справка
Историческая справка
Историческая справка
Историческая справка
Буль изобрёл своеобразную алгебру – систему обозначений и правил,
Буль изобрёл своеобразную алгебру – систему обозначений и правил,
Буль изобрёл своеобразную алгебру – систему обозначений и правил,
Буль изобрёл своеобразную алгебру – систему обозначений и правил,
Булева алгебра
Булева алгебра
Булева алгебра
Булева алгебра
Логические выражения
Логические выражения
Логические выражения
Логические выражения
1. Логические утверждения – это конкретные частные утверждения,
1. Логические утверждения – это конкретные частные утверждения,
1. Логические утверждения – это конкретные частные утверждения,
1. Логические утверждения – это конкретные частные утверждения,
2. Предикаты – это логические высказывания, значения которых могут
2. Предикаты – это логические высказывания, значения которых могут
2. Предикаты – это логические высказывания, значения которых могут
2. Предикаты – это логические высказывания, значения которых могут
Логическое отрицание
Логическое отрицание
?
?
?
?
Логическое умножение
Логическое умножение
Логическое умножение
Логическое умножение
Логическое умножение
Логическое умножение
Логическое следование
Логическое следование
Логическое следование
Логическое следование
Эквивалентность
Эквивалентность
Эквивалентность
Эквивалентность
Порядок выполнения логических операций
Порядок выполнения логических операций
Построение таблиц
Построение таблиц
Построение таблиц
Построение таблиц
При добавлении третьего аргумента сначала запишем первые 4 строки
При добавлении третьего аргумента сначала запишем первые 4 строки
При добавлении третьего аргумента сначала запишем первые 4 строки
При добавлении третьего аргумента сначала запишем первые 4 строки
Существует закономерность: для любого числа N аргументов сложного
Существует закономерность: для любого числа N аргументов сложного
Построим таблицу сложного логического выражения
Построим таблицу сложного логического выражения
Основные законы логики
Основные законы логики
7. Дистрибутивность (распределение): Умножения- (А
7. Дистрибутивность (распределение): Умножения- (А
а) Отрицание одновременной истинности:¬(А
а) Отрицание одновременной истинности:¬(А
Используемая литература
Используемая литература
Используемая литература
Используемая литература
Картинки из презентации «Логические выражения» к уроку информатики на тему «Логические основы»

Автор: Кабинет информатики. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока информатики, скачайте бесплатно презентацию «Логические выражения.ppt» со всеми картинками в zip-архиве размером 494 КБ.

Скачать презентацию

Логические выражения

содержание презентации «Логические выражения.ppt»
Сл Текст Сл Текст
1Логические основы построения компьютера. МОУ 13которых первое является условием, а второе- следствием из этого
«Новоархангельская СОШ». Выполнила :ученица 11 б класса Гинкель условия. Выражается словами ЕСЛИ…, ТО… Обозначается значком
Регина Учитель: Скульбеда Н.И. Результатом импликации является ложь тогда и только тогда, когда
2Цель. 1. Познакомить учащихся с логическими основами (А) истинно, а следствие (В) ложно. Например: Если выучишь
компьютера. 2. Ввести понятия логических выражений. 3. Научить материал, то сдашь зачет (высказывание ложно только тогда, когда
строить таблицы для логических функций. материал выучен, а зачет не сдан, ведь сдать зачет можно и
3Содержание. 1. Историческая справка. 2. Булева алгебра. случайно, например если попался единственный знакомый вопрос или
3Логические выражения. 3.1 Логическое отрицание. 3.2 Логическое удалось воспользоваться шпаргалкой.
сложение. 3.3 Логическое умножение. 3.4 Логическое следование. 14Эквивалентность. Эквивалентность или Равнозначность.
3.5 Эквивалентность. 4.Построение таблиц. 5.Основные законы Определяет результат сравнения двух простых логических выражений
логики. А и В, обозначается значком Результат – новое логическое
4Историческая справка. Немецкий ученый Лейбниц первым (в 1666 выражение, которое является истинным тогда и только тогда, когда
году) попытался перевести законы мышления (формальную логику) из оба исходных выражения одновременно истинны или ложны. Пример:
словесного царства, полного неопределенностей, в царство Когда в зимний день светит солнце и «кусает» мороз, это значит,
математики, где отношения между объектами или высказываниями что атмосферное давление высокое.
определяются в виде математических соотношений. Спустя более ста 15Порядок выполнения логических операций. 1. Инверсия - ? 2.
лет, в 1816 году, уже после смерти Лейбница среди ученых шел Конъюнкция - & или ? 3. Дизъюнкция – ? 4. Импликация – 5.
разговор о создании логического универсального языка, Эквивалентность - Для изменения указанного порядка выполнения
подчиняющегося строгим математическим законам. В 1847 году Буль логических операций используются круглые скобки. Например: D =
написал важную статью на тему «Математический анализ логики», а ?( A ? B ? C).
в 1854 году развил свои идеи в работе «Исследование законов 16Построение таблиц. Рассмотрим пример построения таблицы
мышления». истинности для следующегося сложного (составного) логического
5Буль изобрёл своеобразную алгебру – систему обозначений и выражения. D = ?A ? (B ? C) Сначала нужно установить число строк
правил, применимую ко всевозможным объектам, от чисел и букв до и столбцов такой таблицы, то есть спланировать форму таблицы.
предложений. Его именем она теперь и называется: алгебра Буля, При определении числа строк необходимо некоторым образом
или булева алгебра. перебрать все возможные сочетания логических значений 0 и 1
6Булева алгебра. Булева алгебра состоит из компонентов: исходных выражений А, В и С, из которых формируется заданное
Логические объекты ( выражения) Операции над логическими сложное логическое выражение.
объектами Аксиомы и теоремы, регламентирующие эти операции. 17При добавлении третьего аргумента сначала запишем первые 4
7Логические выражения. 1.Логические 2. Предикаты. строки таблицы, сочетания их со значением третьего аргумента,
утверждения. равным 0, а затем ещё раз запишем эти же 4 строки, но теперь уже
81. Логические утверждения – это конкретные частные со значением третьего аргумента, равным 1. В результате в
утверждения, заведомо истинные или ложные, иначе говоря, это таблице для трех аргументов окажется 8 строк (+ девятая строка –
логические константы. Например: 2*2 = 4 ( истина) Волга впадает шапка таблицы), и при таком подходе легко проверить, что мы
в Чёрное море. (ложь). действительно не повторили и не пропустили ни одного возможного
92. Предикаты – это логические высказывания, значения которых сочетания логических значений аргументов – исходных выражений А,
могут меняться в зависимости от входящих в них переменных В, С.
величин, иначе говоря, это логические переменые. Например: А +В 18Существует закономерность: для любого числа N аргументов
>С (принимают значения Истина или Ложь в зависимости от сложного логического выражения таблица истинности содержит 2n
значений А, В, С). строк, а также строку заголовка (шапка таблицы). Количество
10Логическое отрицание. Логическое отрицание или Инверсия, столбцов таблицы истинности для её построения выбирают равным М.
определяется над одним аргументом (простым или сложным Эти столбцы соответствуют значениям исходных выражений А, В, С,
логическим выражением) следующим образом: если исходное промежуточных результатов ?А, (В ? С), а также искомого
выражение истинно, то результат его отрицания будет ложным, и окончательного результата- значения сложного арифметического
наоборот. Операция означает, что к исходному логическому выражения ?А ? (В ? С).
выражению добавляют частицу НЕ или слова НЕВЕРНО, ЧТО. 19Построим таблицу сложного логического выражения.
Обозначается значком. 20Основные законы логики. 1.Отсутствие степеней и
11? Логическое сложение. Логическое сложение или Дизъюнкция, коэффициентов (идемпотентность): А ? А= А; А ? А= А 2.Двойное
определяет логическое соединение двух логических выражений отрицание (инволюция): ¬(¬А) = А 3.Закон исключения третьего:
(высказываний) с помощью союза ИЛИ. Обозначается значком Сложное А?¬ А=1(всегда истина) 4.Закон противоречия: А ? ¬ А= 0 (всегда
логическое выражение будет истинным тогда и только тогда, когда ложь) 5.Независимость от перестановки мест (коммутативность): А?
истинно хотя бы одно из исходных (простых) логических выражений. В= В ? А; А ? В = В ? А 6. Независимость от порядка выполнения
? Пример: для сдачи экзамена необходимы знания или везение. однотипных действий (ассоциативность): (А?В) ? С = А ? (В?С);
Запомни знак! (А?В) ? С = А ? (В?С).
12Логическое умножение. Логическое умножение или Конъюнкция, 217. Дистрибутивность (распределение): Умножения- (А?В) ? С =
определяет соединение двух логических выражений (высказываний) с (А?С) ? (В?С) и наоборот: (А?В) ? (В?С) = В ? (А?С). Сложения-
помощью союза И. Обозначается значком & или ?. Эта операция А?В?С = (А?В) ? (А?С). 8. Законы де Моргана: а) Отрицание
ставит в соответствие двум простым логическим выражениям новое- одновременной истинности:¬(А?В)= ¬А?¬В б) Отрицание вариантов: ¬
сложное, которое будет истинным тогда и только тогда, когда (А?В) = ¬А ?¬В.
истинны оба исходных (простых) логических выражения. Запомни 22а) Отрицание одновременной истинности:¬(А?В)= ¬А?¬В. б)
знак! Пример: Учитель должен быть умным и терпеливым (только Отрицание вариантов: ¬ (А?В) = ¬А ?¬В.
одновременное наличие двух качеств, ума и терпения, делает 23Используемая литература. 1.Макарова Н.В. /методическое
выражение истинным). пособие для учителей. 2.Макарова Н.В. /практикум по
13Логическое следование. Логическое следование или Импликация. информационным технологиям.
Эта операция связывает два простых логических выражения, из
«Логические выражения» | Логические выражения.ppt
http://900igr.net/kartinki/informatika/Logicheskie-vyrazhenija/Logicheskie-vyrazhenija.html
cсылка на страницу

Логические основы

другие презентации о логических основах

«Алгоритмы» - Если хочешь есть калачи, Сказка «Гуси – лебеди». Дать деньги. Линейные. Сказка закончилась несчастливо. Нет. Ветвление. Дед плачет, баба плачет, Дети убежали от Бабы-Яги. «Налови рыбы». Система команд исполнителя. «Алгоритмизация» в Информатике, как способ классификации алгоритмов окружающего мира. Зайти в магазин.

«Алгоритмические структуры» - Условие. S. Пример. Основные типы алгоритмических структур. Серия 1. Алгоритмическая структура «цикл». Серия 2. a, b. Линейный алгоритм (следование). Фрагмент алгоритма изображен в виде блок-схемы. Конец. Начало. S:=a*b. Алгоритмическая структура «выбор».

«Алгоритмы в информатике» - Условие. Приведите, пожалуйста, еще примеры циклического алгоритма. Действие. Неполная форма. Полная форма. Ввод исходных данных. Выполнение действий или группы действий. 08.08.2011. Учитель информатики школы №46 г.Рязани Корнеева Галина Юрьевна. Действие 1. Как можно представить алгоритм?

«Data Mining» - Метод "ближайшего соседа". Методы Data Mining. Деревья решений. Процесс конструирования. Data Mining не может заменить аналитика! Пример 2. Статистические методы. История Data Mining. Пример 1. Data Mining. Перспективы технологии Data Mining.

«Циклический алгоритм» - Например, решить 10 примеров. Число повторений известно заранее или может быть вычислено. Циклические алгоритмы. Арифметический. Итерационный. Например, учить стихотворение, пока не расскажешь без ошибок. Виды циклов. Циклический алгоритм. Цикл с параметром.

«Информатика 5 класс Алгоритм» - Практическая работа. Любой алгоритм можно изобразить графически или описать словами. Начальный курс. Что такое алгоритм? Повторим способы записи алгоритмов. Графический алгоритм. Как можно изобразить алгоритм? Придумай и составь любой графический или словесный алгоритм. Ответьте на вопросы: Описание последовательности действий.

Урок

Информатика

126 тем
Картинки
Презентация: Логические выражения | Тема: Логические основы | Урок: Информатика | Вид: Картинки