close

Вход

Забыли?

вход по аккаунту

?

Презентация

код для вставкиСкачать
Логика в
информатике
Обучение школьников основам информатики,
изучение ими такого важного понятия как
«алгоритм», невозможно без развития у них
логического мышления, умения оперировать
понятиями и символикой математической
логики.
Гаврюкова Г.А. Школа №68 г.Рязань
1
Цель курса
сформировать умение:
выделять существенные высказывания в
тексте задачи и формализовывать их;
представлять условия и решение задачи в
различных видах;
преобразовывать логические выражения для
обоснования функционирования устройств,
являющихся основой компьютера.
2
Темы для обсуждения
I. Формальная логика
(Понятие. Высказывание Умозаключение.)
II. Математическая логика (логические операции,
построение таблиц истинности и упрощение
сложных высказываний)
III. Логические основы компьютера (логические
элементы, переключательные схемы )
IV. Применение электронных таблиц Excel для
построения таблиц истинности и использования
условной функции.
3
Формальная логика .
Понятие
Содержание (Совокупность существенных
свойств, которые мыслятся в данном понятии)
Объем (Совокупность предметов, которые
мыслятся в данном понятии)
Виды понятий
Единичные
Общие
Пустые
4
Отношения между понятиями.
Тестовые задания
1)
2)
3)
4)
Равнозначности (мыслится один и тот же предмет)
Пересечения (понятия имеют некоторые общие признаки)
Подчинение (понятие с большим объемом –
подчиняющее, с меньшим – подчиненное. Род – Вид.)
Соподчинение (два понятия находятся в соподчинении к
третьему, если они не имеют общих элементов объема и это
третье понятие является подчиняющим для каждого из них)
5)
Исключения (объемы полностью исключают друг друга)
5
Обобщить
«ОЗУ»
Логические операции над
Ограничить
понятиями
«Электронное
Обобщение Образование из понятияустройство»
некоторого нового
с более широким объемом
Определить
«информатика»
Ограничение Переход от понятия с большим объемом к
понятию с меньшим объемом
Разделить
Определение Раскрытие содержания понятия
«треугольник»
Деление Распределение объема понятия на классы с
точки зрения некоторого признака
Классификация
Многоступенчатое, разветвленное
Расклассифицировать
деление.
«память компьютера»
6
В высказывании осуществляется
приписывание свойств предмету
Высказывание
Форма (суждение,
мысли, содержащая
утверждение)
описание некоторой
ситуации и
утверждение или отрицание наличия
этой ситуации в действительности
1.
2.
3.
4.
Классификация высказываний:
Общеутвердительные Все S суть Р
Общеотрицательные Ни одно S не суть Р
Частноутвердительные Некоторые S суть Р
Частноотрицательны Некоторые S не суть Р
7
Умозаключение
форма мышления, посредством которой из
одного или нескольких истинных суждений,
называемых посылками, по определенным
правилам получают суждение-заключение.
А
В; В
А В; А
А
В
8
Математическая логика
Алгебра логики (алгебра высказываний) раздел математической логики, изучающий
строение (форму, структуру) сложных
логических высказываний и способы
установления их истинности с помощью
алгебраических методов .
A & B A & B =
= А & ( В B ) =
=А&1=А
9
Логическое
высказывание
— это любoе повествовательное
пpедлoжение, в oтнoшении кoтopoгo
мoжно oднoзначнo сказать, истиннo oнo
или лoжнo.
Все рыбы дышат
жабрами
Волга впадает в
Каспийское море
10
Обозначение высказываний:
Х = Число 12345 кратно 3
Р = Чтобы подключиться к
Интернету с домашнего
компьютера, необходим модем .
Если высказывание А истинное,
то будем писать «А = 1»
и говорить «А – истинно».
Если высказывание А ложное,
то будем писать«А = 0»
и говорить «А – ложно».
Джордж
Буль
11
Логическая операция
Тестовые задания
способ построения сложного высказывания из
данных высказываний, при котором значение
истинности сложного высказывания
полностью определяется значениями
истинности исходных высказываний.
Инверсия
Конъюнкция
Дизъюнкция
Импликация
Эквиваленция
12
Импликацию можно выразить
через дизъюнкцию и отрицание:
А
В = А v В.
Эквиваленцию можно выразить
через отрицание, дизъюнкцию и
конъюнкцию:
А
В = ( А v В) . ( В v А).
13
Логическая формула:
1.
2.
Всякая логическая переменная и
символы "истина" ("1") и "ложь" ("0") —
формулы.
Если А и В — формулы, то , А &
В,
А v В , А B , А В — формулы.
Никаких
других
формул
в14
Построение таблиц истинности
сложных высказываний.
В классе оказалось разбито стекло. Учитель объясняет
директору: это сделал Коля или Саша. Но Саша этого
1
2
3
4
5
6
на делал, т.к. в это время сдавал мне зачет.
Следовательно,
К
С
К C это
С сделал
( К CКоля.
)& С
(КC)& С К
Прав
1 ли
1 учитель?
1
0
0
1
Формализуем
данное
сложное
высказывание.
0
1
1
0
0
1
1
К – это сделал Коля
0
1
1
С – это сделал Саша
1
Количество простых высказываний n = 2.
0
0
0
1
0
1
1
Форма высказывания: ( К C ) & С К
15
Под
упрощением
формулы, не содержащей
операций импликации и
эквиваленции, понимают
равносильное
преобразование,
приводящее к формуле,
которая либо содержит по
сравнению с исходной
меньшее число операций
конъюнкции
и
дизъюнкции
и
не
содержит
отрицаний
неэлементарных формул,
либо содержит меньшее
число
вхождений
переменных.
Упрощение сложных
высказываний
Пример 1
Упростить:
A & B A & B.
Применим закон исключенного третьего
A & B A & B = А & ( В B ) =
=А&1=А
16
Пример 2.Упростить:
(A B) & (A B).
Способ 1. Применим законы дистрибутивности и
непротиворечия:
(A B) & (A B) = A (В & B ) =
A0=А
Способ 2. Перемножим скобки (как в алгебре чисел)
(A B) & (A B) =
A & А A & B В & А В & B =
= A А & (B В ) 0 = A А & 1 =
A А = А.
17
Пример 3.
Упростить:
( Х У).
Применим законы де Моргана
и двойного отрицания:
( Х У) = Х & У = Х & У.
Пример 4.
18
Перед сдачей вступительных экзаменов в институт
абитуриент предположил, что:
1) если он сдаст математику,
M( I D)то не получит двойку по
диктанту только при условии, что он сдаст
информатику;
MD
2)
не м.б., чтобы он одновременно
получил двойки и
по диктанту и по математике;
3)
достаточное условие несдачи экзамена по
D по
Iдиктанту.
информатике –двойка
После сдачи экзаменов оказалось, что из трех предположений
только одно было ложным. Как сдал экзамены?
19
M( I D)
MD
D I
M
I
D
0
0
0
1
0
1
0
0
1
1
1
1
0
1
0
1
0
0
0
1
1
1
1
1
1
0
0
1
1
1
1
0
1
1
1
1
1
1
0
0
1
0
1
1
1
1
1
1
20
Решение логических содержательных задач
Процесс решения:
Алгебраический, табличный, графический…
Условия задачи о двух утверждениях:
Либо
одновременно И,
либо
одновременно Л
A&B v A&B=1
Одно И,
другое Л
A&B v A&B=1
21
Логические основы
компьютера
Цифровой сигнал - это сигнал, который может
принимать только одно из двух установленных
значений.
Примеры таких состояний:
Напряжения +5 В и 0,4 В
Сила тока 20 мА и 1 мА
Лампа горит или нет
Кнопка нажата или нет.
22
Логический элемент
преобразователь, который
получая сигналы об
истинности отдельных
высказываний, обрабатывает
их и в результате выдает
значение логического
отрицания, логической суммы
или логического
произведения этих
высказываний.
23
Логические элементы
«Не»
Инвертор
Выдает на выходе сигнал,
противоположный сигналу
на входе, т.е. На его выходе
будет 1, если на вход
поступит 0 и наоборот
«И»
Конъюнктор
Выдает на выходе
значение логического
произведения
входных сигналов.
«Или»
Дизъюнктор
Выдает на выходе
значение логической
суммы входных
сигналов.
Физически можно реализовать при помощи
реле с нормально замкнутыми последовательным
контактами.
соединением
переключателей
параллельным
соединением
переключателей
24
Переключательная схема
— это схематическое
изображение
некоторого устройства,
состоящего из
переключателей и
соединяющих их
Схема состоит из двух
параллельных ветвей и
проводников, а также из
описывается функцией
входов и выходов, на
которые подаётся и с
которых снимается
электрический сигнал.
25
Функциональные схемы и структурные
формулы логических устройств.
Логическое устройство - цепочка из логических
элементов, в которой выходы одних элементов
являются входами других.
Функциональная схема – схема соединения
логических элементов, реализующая
логическую функцию.
Формой описания функции, реализуемой логическим
устройством, является структурная формула.
F(X,Y) = X V Y
26
Установите соответствие между логической
функцией и таблицей истинности:
А) F(Х,У) = Х & Y Х & Y
Б) F(Х,У) = Х & Y
В) F(Х,У) = Х & Y
№1
№2
X
Y
F
X
Y
F
0
0
1
0
0
0
0
1
1
0
1
1
1
0
0
1
0
0
1
1
0
1
1
0
27
Научимся строить функциональные схемы по
структурным формулам и наоборот.
1) Определите структурную формулу по
заданной функциональной
схеме:
&
X
Ответ:
F(X,Y) = ( X Y )
хY
у
F(X,Y)
1
2) Постройте функциональную
схему, отвечающую структурной формуле
F(X,Y) = X & Y
28
Применение математической логики в
технике.
1) Изобразите переключательные схемы, отвечающие
следующим сложным высказываниям:
А) ( А B ) & (C D)
Б) A&B&CA& BC
2) Можно ли изображенную на рисунке электрическую цепь
заменить более простой схемой, соответствующей формуле
F(X, Y, Z) = X Y&Z
приложение
X
Y
Z
Y
X
29
Типовые логические устройства
компьютера
(сумматоры, полусумматоры, триггеры, счетчики,
регистры, шифраторы, дешифраторы)
Сумматор является основным узлом АЛУ и служит для
суммирования чисел посредством поразрядного сложения.
Перенос из
Одноразрядный двоичный сумматор:
младшего разряда
на два входа и два выхода – одноразрядный полусумматор
на три входа и два выхода – одноразрядный сумматор на
Сумма
три входа.
X
Y
X
Y
P
Q
P
S
S
Перенос в старший разряд
30
Хранение
двоичных
кодов.
Триггер – устройство, запоминающее один бит
Условное
информации (сигналы 0 и 1).
Реализация с
обозначение
Для запоминания и демонстрации n-разрядного
помощью
двоичного числа необходимо n параллельно
вентилей
ИЛИсоединенных триггеров, совокупность
которых
называется n-разрядным регистром. НЕ
Для запоминания одного байта потребуется 8
триггеров. Оперативная память компьютера
часто конструируется в виде набора регистров.
Как правило, один регистр образует одну ячейку памяти,
каждая ячейка имеет свой номер.
31
Заключение.
Все устройства компьютера (процессор,
оперативная память, контроллеры и т.д.)
состоят из типовых логических устройств
(сумматоров, триггеров, шифраторов и
дешифраторов), работающих на основании
аппарата математической логики.
Чтобы они могли совместно работать,
необходима их совместимость на уровне
логических элементов. Если такая
совместимость есть, то компьютер можно
собрать из отдельных узлов, произведенных
разными фирмами.
32
Контрольная работа
Применение электронных таблиц Excel
Литература
33
Спасибо за внимание!
34
Документ
Категория
Презентации по информатике
Просмотров
38
Размер файла
312 Кб
Теги
1/--страниц
Пожаловаться на содержимое документа