Рабочие листы
к вашим урокам
Скачать
1 слайд
Тема урока:
Основы логики:
логические величины и формулы
2 слайд
1. Какой длины эта лента?
2. Прослушайте сообщение.
3. Париж – столица Англии.
4. Назовите устройство ввода информации.
5. Кто отсутствует?
6. Число 11 является простым.
7. Делайте утреннюю зарядку!
8. Сложите числа 2 и 5.
9. Некоторые медведи живут на севере.
3 слайд
Какие основные типы полей используются в базах данных?
Числовой
Годовой
Символьный
Логический
Недельный
«Дата»
4 слайд
Алгебра – это раздел математики, предназначенный для описания действий над переменными величинами, которые принято обозначать строчными латинскими буквами, например a, b, x, y и т.д.
Логика (древнегреч. – слово logos, означает «мысль, понятие, рассуждение, закон») - наука о законах и формах мышления.
Логическая переменная - это простое высказывание, содержащее только одну мысль. Её символическое обозначение – латинская буква (A, B, D, F …). Значениями логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 или 0).
Логические операции – логические действия над высказываниями.
ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ
5 слайд
Аристотель (384-322 гг. до н.э.) – древнегреческий философ, основоположник логики.
Книги:
«Категории»
«Первая аналитика»
«Вторая аналитика»
Исследовал различные формы рассуждений, ввел понятие силлогизма.
Силлогизм - рассуждение, в котором из заданных двух суждений выводится третье.
Декарт Рене (1596-1650, французский философ, математик) – рекомендовал в логике использовать математические методы.
ЭТАПЫ РАЗВИТИЯ ЛОГИКИ
6 слайд
Лейбниц Готфрид Вильгельм (1646-1716, немецкий ученый и математик) – предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления.
Логика обретает символьный язык, конкретность законов, распространяется за рамки гуманитарных наук.
Джордж Буль (1815-1864, английский математик-самоучка, основоположник математической логики) В 1846 году Джордж Буль подхватил идею Лейбница о создании логического универсального языка, подчиняющегося строгим математическим законам.
Буль изобрел своеобразную алгебру – систему обозначений и правил, применимую к всевозможным объектам, от чисел и букв до предложений. Его именем она теперь и называется: алгебра Буля или булева алгебра.
ЭТАПЫ РАЗВИТИЯ ЛОГИКИ
7 слайд
Логические функции ( логические формулы) – сложные логические выражения, образованные из простых и связанные логическими операциями И, ИЛИ, НЕ и др.)
Высказывание «Все мышки и кошки с хвостами» является сложным и состоит из двух простых высказываний.
А=«Все мышки с хвостами» и В=«Все кошки с хвостами»
Его можно записать в виде логической функции, значение которой истинно: F(A,B)=A и B
В математической логике не рассматривается конкретное содержание высказывания, важно только, истинно оно или ложно.
Поэтому высказывание можно представить некоторой переменной величиной, значением которой может быть только ложно (0) или истинно (1).
АЛГЕБРА ВЫСКАЗЫВАНИЙ
8 слайд
1. Логическое умножение
(к о н ъ ю н к ц и я)
2. Логическое сложение
(д и з ъ ю н к ц и я)
3. Логическое отрицание
(и н в е р с и я)
9 слайд
Синтаксис:
F = A B
или
F = A B
(F = A B)
К о н ъ ю н к ц и я - “и” (, )
1
0
0
0
1
1
0
1
1
0
0
0
F = A B
B
A
10 слайд
Синтаксис:
F = A B
(F = A + B)
Д и з ъ ю н к ц и я - “или”
1
1
1
0
0
1
1
1
1
0
0
0
F = A B
B
A
11 слайд
И н в е р с и я - “не” , ¯
Синтаксис:
F = A
или
F = A
0
1
1
0
A
A
12 слайд
Построение таблицы истинности сложных логических величин (ЛВ):
1) определить число простых ЛВ (n);
2) определить число строк в таблице истинности (q=2n);
3) записать все возможные значения простых ЛВ;
4) определить количество логических операций и их порядок;
5) записать логические операции в таблицу истинности и определить для каждой значение.
Алгоритм построения таблицы истинности
13 слайд
Построим таблицу истинности для выражения F=(AB)(AB)
14 слайд
Построим таблицу истинности
для логического выражения F=XYZ
1
1
1
0
1
1
1
0
0
1
1
1
1
0
0
1
0
1
1
0
1
0
0
1
0
0
0
1
1
0
1
1
1
0
1
0
0
0
0
1
0
0
0
0
1
0
0
0
X
XYZ
YZ
Z
Z
Y
15 слайд
Домашнее задание:
§ 13
Задание №5 выполнить в тетради
Рабочие листы
к вашим урокам
Скачать
6 664 887 материалов в базе
«Информатика», Семакин И.Г., Залогова Л.А., Русаков С.В., Шестакова Л.В.
§ 13. Основы логики: логические величины и формулы
Больше материалов по этой темеНастоящий материал опубликован пользователем Хубазова Анжелла Мовлдиевна. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
Удалить материалВаша скидка на курсы
40%Курс профессиональной переподготовки
500/1000 ч.
Курс профессиональной переподготовки
300 ч. — 1200 ч.
Курс профессиональной переподготовки
600 ч.
Курс повышения квалификации
72 ч. — 180 ч.
Мини-курс
6 ч.
Мини-курс
5 ч.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.