Главная / Информатика / Презентация по информатике "Логика математическая" (10 класс)

Презентация по информатике "Логика математическая" (10 класс)

Математическая логика - наyка о методах pассyждения, пpавилах выводов. Задаче...
Мы будем оперировать понятием «высказывание». Высказывание это повествователь...
Из высказываний путем их соединения различными способами можно составлять нов...
В математической логике не рассматривается конкретное содержание высказывания...
Использование 0 и 1 подчеркивает некоторое соответствие между логическими пер...
Любое устройство ПК, выполняющее действия над двоичными числами, можно рассма...
Значения логической функции для разных сочетаний входных переменных задают сп...
В алгебре высказываний, как и в обычной алгебре, вводится ряд операций. Связк...
Логическая операция соответствует союзу И обозначается знаками , & , * инач...
Таблица истинности для конъюнкции имеет вид:
Логическая операция соответствует союзу ИЛИ обозначается знаками  , or , + ...
Таблица истинности для дизъюнкции имеет вид:
Логическая операция соответствует союзу НЕ обозначается знаком  иначе назыв...
Таблица истинности для инверсии имеет вид:
Логические элементы, реализующие операции И, ИЛИ, НЕ называются основными лог...
Определим таблицу истинности для нашей логической функции: F (X, Y, Z) = X  ...
Запишите логические формулы, описывающие состояние схем:
Учитывая определения логических функций, можно выделить ряд свойств, позволяю...
Среди многочисленных законов логики есть четыре основных. Для трех из них мож...
Для упрощения логических функций удобно использовать формулы склеивания и пог...
Логический элемент – это схема, реализующая логические операции И, ИЛИ, НЕ. Р...
Любую электрическую схему можно разбить на цепочки из последовательно или пар...
Дана схема. Состояние контактов задается таблицей, в которой используются вве...
1 из 24

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

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

№ слайда 2 Математическая логика - наyка о методах pассyждения, пpавилах выводов. Задачей м
Описание слайда:

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

№ слайда 3 Мы будем оперировать понятием «высказывание». Высказывание это повествовательное
Описание слайда:

Мы будем оперировать понятием «высказывание». Высказывание это повествовательное предложение, о котором можно сказать, истинно оно или ложно. Например: Земля планета Солнечной системы. Истинно 2 + 8 < 5 Ложно 5 * 5 = 25 Истинно Каждый прямоугольник есть квадрат. Ложно. Уходя, гасите свет! Не является высказыванием.

№ слайда 4 Из высказываний путем их соединения различными способами можно составлять новые
Описание слайда:

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

№ слайда 5 В математической логике не рассматривается конкретное содержание высказывания, в
Описание слайда:

В математической логике не рассматривается конкретное содержание высказывания, важно только, истинно оно или ложно. Поэтому высказывание можно представить некоторой переменной величиной, значением которой может быть только 0 (ложь) или 1 (истина). Простые высказывания назвали логическими переменными, а сложные - логическими функциями. Для простоты записи высказывания обозначаются латинскими буквами А, В, С. Например: У кошки четыре ноги. А = 1 Самара – столица России. В = 0

№ слайда 6 Использование 0 и 1 подчеркивает некоторое соответствие между логическими переме
Описание слайда:

Использование 0 и 1 подчеркивает некоторое соответствие между логическими переменными и функциями и цифрами в двоичной системе счисления. Это позволяет описывать работу логических схем компьютера и проводить их анализ с помощью математического аппарата алгебры логики.

№ слайда 7 Любое устройство ПК, выполняющее действия над двоичными числами, можно рассматри
Описание слайда:

Любое устройство ПК, выполняющее действия над двоичными числами, можно рассматривать как некоторый функциональный преобразователь. Причем числа на входе – значения входных логических переменных, а число на выходе – значение логической функции, которое было получено в результате выполнения определенных операций. Таким образом этот преобразователь реализует некоторую логическую функцию.

№ слайда 8 Значения логической функции для разных сочетаний входных переменных задают специ
Описание слайда:

Значения логической функции для разных сочетаний входных переменных задают специальной таблицей истинности. Количество наборов входных переменных (Q) можно определить по формуле: Q = 2n, где n – количество входных переменных. Таблица истинности может иметь вид:

№ слайда 9 В алгебре высказываний, как и в обычной алгебре, вводится ряд операций. Связки И
Описание слайда:

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

№ слайда 10 Логическая операция соответствует союзу И обозначается знаками , &amp; , * иначе н
Описание слайда:

Логическая операция соответствует союзу И обозначается знаками , & , * иначе называется ЛОГИЧЕСКИМ УМНОЖЕНИЕМ Логический элемент – конъюнктор (умножитель)

№ слайда 11 Таблица истинности для конъюнкции имеет вид:
Описание слайда:

Таблица истинности для конъюнкции имеет вид:

№ слайда 12 Логическая операция соответствует союзу ИЛИ обозначается знаками  , or , + ина
Описание слайда:

Логическая операция соответствует союзу ИЛИ обозначается знаками  , or , + иначе называется ЛОГИЧЕСКИМ СЛОЖЕНИЕМ Логический элемент – дизъюнктор (сумматор)

№ слайда 13 Таблица истинности для дизъюнкции имеет вид:
Описание слайда:

Таблица истинности для дизъюнкции имеет вид:

№ слайда 14 Логическая операция соответствует союзу НЕ обозначается знаком  иначе называет
Описание слайда:

Логическая операция соответствует союзу НЕ обозначается знаком  иначе называется ЛОГИЧЕСКИМ ОТРИЦАНИЕМ Логический элемент – инвертор

№ слайда 15 Таблица истинности для инверсии имеет вид:
Описание слайда:

Таблица истинности для инверсии имеет вид:

№ слайда 16 Логические элементы, реализующие операции И, ИЛИ, НЕ называются основными логиче
Описание слайда:

Логические элементы, реализующие операции И, ИЛИ, НЕ называются основными логическими элементами. С их помощью можно реализовать в виде логической схемы любую логическую функцию. Например: F (X, Y, Z) = X  (Y  Z)

№ слайда 17 Определим таблицу истинности для нашей логической функции: F (X, Y, Z) = X  (Y
Описание слайда:

Определим таблицу истинности для нашей логической функции: F (X, Y, Z) = X  (Y  Z) Определяем количество строк в таблице: Q = 23 = 8. Определяем количество логических операций (3) и последовательность их выполнения. Определяем количество столбцов: три переменных + три логических операции = 6.

№ слайда 18 Запишите логические формулы, описывающие состояние схем:
Описание слайда:

Запишите логические формулы, описывающие состояние схем:

№ слайда 19 Учитывая определения логических функций, можно выделить ряд свойств, позволяющих
Описание слайда:

Учитывая определения логических функций, можно выделить ряд свойств, позволяющих упростить логическое выражение:

№ слайда 20 Среди многочисленных законов логики есть четыре основных. Для трех из них можно
Описание слайда:

Среди многочисленных законов логики есть четыре основных. Для трех из них можно найти аналогию в алгебре чисел.

№ слайда 21 Для упрощения логических функций удобно использовать формулы склеивания и поглощ
Описание слайда:

Для упрощения логических функций удобно использовать формулы склеивания и поглощения:

№ слайда 22 Логический элемент – это схема, реализующая логические операции И, ИЛИ, НЕ. Расс
Описание слайда:

Логический элемент – это схема, реализующая логические операции И, ИЛИ, НЕ. Рассмотрим реализацию логических элементов через электрические контактные схемы, известные из курса физики. Контакты обозначим латинскими буквами: Последовательное соединение контактов. 2. Параллельное соединение контактов. Составим таблицу истинности цепей от всевозможных состояний контактов. Введем обозначения: 1 – контакт замкнут, ток в цепи есть; 0 – контакт разомкнут, тока в цепи нет.

№ слайда 23 Любую электрическую схему можно разбить на цепочки из последовательно или паралл
Описание слайда:

Любую электрическую схему можно разбить на цепочки из последовательно или параллельно соединенных контактов, которые мы назовем элементарными. Для примера заполним последний столбец таблицы:

№ слайда 24 Дана схема. Состояние контактов задается таблицей, в которой используются введен
Описание слайда:

Дана схема. Состояние контактов задается таблицей, в которой используются введенные ранее обозначения: 0 – контакт разомкнут, 1 – контакт замкнут. Требуется заполнить колонку состояния схемы.

Презентация по информатике "Логика математическая" (10 класс)
  • Информатика
Описание:

Данная презентация предназначена для обучающихся 10 класса, изучающих тему "Логика". В презентации дается описание основных элементов математической логики. Вводится понятие "Высказывание". Определяется содержимое понятия "высказывание". Вводится понятие "Логическая функция".

Обучающиеся знакомятся с основными логическими элементами компьютера и логическими функциями, на которых они реализованы.

Рассматриваются таблицы истинности и законы алгебры логики.

Автор Григорова Елена Сергеевна
Дата добавления 28.04.2015
Раздел Информатика
Подраздел Презентации
Просмотров 877
Номер материала 58481
Скачать свидетельство о публикации

Оставьте свой комментарий:

Введите символы, которые изображены на картинке:

Получить новый код
* Обязательные для заполнения.


Комментарии:

↓ Показать еще коментарии ↓