Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015

Опубликуйте свой материал в официальном Печатном сборнике методических разработок проекта «Инфоурок»

(с присвоением ISBN)

Выберите любой материал на Вашем учительском сайте или загрузите новый

Оформите заявку на публикацию в сборник(займет не более 3 минут)

+

Получите свой экземпляр сборника и свидетельство о публикации в нем

Инфоурок / Информатика / Презентации / Презентация «Основы логики» по курсу «Информатика»
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 24 мая.

Подать заявку на курс
  • Информатика

Презентация «Основы логики» по курсу «Информатика»

библиотека
материалов
Основы логики
Цели: Способствовать формированию представления об истории возникновения и эв...
Персоналии. Основы формальной логики заложил ученый Древней Греции –Аристотел...
Персоналии. Лейбниц взглянул на логику Аристотеля через призму математики. Им...
Персоналии. Дж.Буль - автор извест-ных произведений, в т.ч. работы «Математич...
ЛОГИКА– это наука о формах и способах мышления АЛГЕБРА ЛОГИКИ – раздел матема...
ПОНЯТИЕ – это форма мышления, фиксирующая основные, существенные признаки объ...
ВЫСКАЗЫВАНИЕ – это форма мышления, в которой что-либо утверждается или отрица...
УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного или нескольки...
Основные понятия Константы алгебры логики (булевой алгебры) – логический 0 (л...
Логической функцией F от набора логических переменных х1,х2,…,хn называется ф...
Проверь себя: 1  Каково определение формы понятие. 2  Назовите основные харак...
Элементарные логические операции. Таблицы истинности. Логические схемы.
Основные логические операции: Конъюнкция, логическое умножение (and - и); Диз...
К о н ъ ю н к ц и я F(A,B)=A*B Соединение двух простых высказыва-ний А и В в...
Д и з ъ ю н к ц и я F(A,B)=A ˇ B Соединение двух простых высказываний А и В в...
И н в е р с и я F(A)= не A Присоединение частицы НЕ к сказуемому данного прос...
Заполните самостоятельно таблицу: формула	высказывание	тигр	волк	бурундук	зая...
Проверьте правильность: Форму-ла	высказывание	тигр	волк	бурундук	заяц А	Зверь...
Импликация F(A,B)= A → B Импликацией двух высказываний А и В называется новое...
Эквивалентность F(A,B)= A ~ B Соединение двух простых высказываний А и В в од...
Эквивалентность ПРИМЕР: А- «Земля вращается вокруг Солнца по эллиптической ор...
Логические (булевы) выражения - Это булевы константы и переменные, связанные...
Теоремы алгебры логики 1. не 0 = 1, не 1 = 0 2. Х or 0=Х, Х · 1=Х 3. Х or 1=1...
Теоремы алгебры логики 5. Х or неХ=1, Х · неХ=0 6. не(неХ) = Х – закон двойно...
Теоремы алгебры логики Для самостоятельного изучения: Закон де Моргана не (А...
Алгоритмы решения логических задач: Большинство логических задач решается по...
Используемая литература: Информатика.Толковый словарь основных терминов. – Ту...
Автор: Манохина Татьяна Федоровна, учитель ОИ и ВТ Шелаболихинский район с. М...
29 1

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

№ слайда 1 Основы логики
Описание слайда:

Основы логики

№ слайда 2 Цели: Способствовать формированию представления об истории возникновения и эв
Описание слайда:

Цели: Способствовать формированию представления об истории возникновения и эволюции логического мышления. Способствовать формированию навыков формально-логического мышления, умению рассуждать, формулировать выводы с использованием рефлексии. Создать условия для формирования знаний и навыков о возможности однозначной интерпретации произвольной информации на основе алгебры логики. Способствовать формированию информацион-ной культуры и потребности в приобретении знаний.

№ слайда 3 Персоналии. Основы формальной логики заложил ученый Древней Греции –Аристотел
Описание слайда:

Персоналии. Основы формальной логики заложил ученый Древней Греции –Аристотель. Заслуга ученого состоит в том, что он отделил форму мышления от содержания, попытался соединить логику и математику, разработал раздел теории доказательств. Аристотель. (384 г.-322 г. до н.э.)

№ слайда 4 Персоналии. Лейбниц взглянул на логику Аристотеля через призму математики. Им
Описание слайда:

Персоналии. Лейбниц взглянул на логику Аристотеля через призму математики. Им написан трактат - «Азбука мыслей», сжатый и краткий язык символов. Лейбниц разработал идею логического исчисления. Рассуждения обозначил буквами, сложные выска-зывания - формулами. В результате удалось содержательные рассужде-ния заменить формальны-ми вычислениями. ВИЛЬГЕЛЬМ ЛЕЙБНИЦ (1646-1716)

№ слайда 5 Персоналии. Дж.Буль - автор извест-ных произведений, в т.ч. работы «Математич
Описание слайда:

Персоналии. Дж.Буль - автор извест-ных произведений, в т.ч. работы «Математический анализ логики»(1847г.) Основной труд Дж. Буля - «Исследование законов мысли», в котором представлен раздел логики - алгебра высказываний. Джордж Буль 1815 – 1864 г.г.

№ слайда 6 ЛОГИКА– это наука о формах и способах мышления АЛГЕБРА ЛОГИКИ – раздел матема
Описание слайда:

ЛОГИКА– это наука о формах и способах мышления АЛГЕБРА ЛОГИКИ – раздел математической логики, изучающий высказывания и операции над ними.

№ слайда 7 ПОНЯТИЕ – это форма мышления, фиксирующая основные, существенные признаки объ
Описание слайда:

ПОНЯТИЕ – это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет две стороны: содержание и объем. Содержание - это совокупность признаков объекта. Объем – это совокупность (количество) объектов на которые эти признаки распространяются.

№ слайда 8 ВЫСКАЗЫВАНИЕ – это форма мышления, в которой что-либо утверждается или отрица
Описание слайда:

ВЫСКАЗЫВАНИЕ – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть истинно или ложно. Свое понимание окружающего мира человек формулирует в форме высказываний.(суждений, утверждений). Высказывание строиться на основе понятий и по форме является повествовательным предложением. Высказывание об объекте может быть истинным или ложным, но не может быть истинным и ложным одновременно. Высказывание не может быть вопросительным или повелительным т.к. оценка истинности или ложности невозможна. Истинность является величиной относительной, и завесит от многих причин и обстоятельств.

№ слайда 9 УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного или нескольки
Описание слайда:

УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (заключение). Умозаключение позволяет на основе известных фактов, выраженных в форме высказываний, получить заключение, т.е. новое знание. Посылками умозаключения могут быть только истинные суждения, тогда заключение будет истинным, в противном случае можно прийти к ложному умозаключению.

№ слайда 10 Основные понятия Константы алгебры логики (булевой алгебры) – логический 0 (л
Описание слайда:

Основные понятия Константы алгебры логики (булевой алгебры) – логический 0 (ложь) и логическая 1 (истина). Логические переменные принимают только два значения - логический 0 или логическая 1.

№ слайда 11 Логической функцией F от набора логических переменных х1,х2,…,хn называется ф
Описание слайда:

Логической функцией F от набора логических переменных х1,х2,…,хn называется функция, которая может принимать только два значения: логический 0 или логическая 1. Любая логическая функция может быть задана с помощью таблицы истинности.

№ слайда 12 Проверь себя: 1  Каково определение формы понятие. 2  Назовите основные харак
Описание слайда:

Проверь себя: 1  Каково определение формы понятие. 2  Назовите основные характеристики понятия? 3  Приведите примеры понятий. 4  Определение высказывания. 5  Какие значения принимает высказывание ? 6  Может ли суждение, высказанное в повелительной форме являться высказыванием? 7  Придумайте и запишите в тетрадь простые высказывания. 8 Придумайте и запишите в тетрадь сложные высказывания.

№ слайда 13 Элементарные логические операции. Таблицы истинности. Логические схемы.
Описание слайда:

Элементарные логические операции. Таблицы истинности. Логические схемы.

№ слайда 14 Основные логические операции: Конъюнкция, логическое умножение (and - и); Диз
Описание слайда:

Основные логические операции: Конъюнкция, логическое умножение (and - и); Дизъюнкция, логическое сложение (or - или); Инверсия, логическое отрицание (not - не); Импликация ( - следование)(если высказывание истинно, то…) Эквивалентность (~ - тогда и только тогда, когда) Высказывания в алгебре логики обозначаются латинскими буквами

№ слайда 15 К о н ъ ю н к ц и я F(A,B)=A*B Соединение двух простых высказыва-ний А и В в
Описание слайда:

К о н ъ ю н к ц и я F(A,B)=A*B Соединение двух простых высказыва-ний А и В в одно составное с помощью союза И называется ЛОГИЧЕСКИМ УМНО-ЖЕНИЕМ или конъюнкцией. Обозначение: А*В, А и В, А and В А ^ В А В А ^ В 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 16 Д и з ъ ю н к ц и я F(A,B)=A ˇ B Соединение двух простых высказываний А и В в
Описание слайда:

Д и з ъ ю н к ц и я F(A,B)=A ˇ B Соединение двух простых высказываний А и В в одно с помощью союза ИЛИ, употребляемого в неисключающем смысле, называется ЛОГИЧЕСКИМ СЛОЖЕНИЕМ или дизъюнкцией. Обозначение: А+В, А или В, А or В А ˇ В А В А или В 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 17 И н в е р с и я F(A)= не A Присоединение частицы НЕ к сказуемому данного прос
Описание слайда:

И н в е р с и я F(A)= не A Присоединение частицы НЕ к сказуемому данного простого высказы-вания А называется логическим отрицанием. Обозначение: не А А не А 0 1 1 0

№ слайда 18 Заполните самостоятельно таблицу: формула	высказывание	тигр	волк	бурундук	зая
Описание слайда:

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

№ слайда 19 Проверьте правильность: Форму-ла	высказывание	тигр	волк	бурундук	заяц А	Зверь
Описание слайда:

Проверьте правильность: Форму-ла высказывание тигр волк бурундук заяц А Зверь полосатый и л и Л В Зверь хищный и и л л Не А Зверь не полосатый л и л и Не В Зверь не хищный л л и И А и В Зверь полосатый и хищный и л л л А или В Зверь полосатый или хищный и и и л

№ слайда 20 Импликация F(A,B)= A → B Импликацией двух высказываний А и В называется новое
Описание слайда:

Импликация F(A,B)= A → B Импликацией двух высказываний А и В называется новое высказывание, которое ложно только тогда, когда высказывание А истинно, а В – ложно, во всех же остальных случаях истинно. Обозначение: А → В А следует В А В А → В 0 0 1 0 1 1 1 0 0 1 1 1

№ слайда 21 Эквивалентность F(A,B)= A ~ B Соединение двух простых высказываний А и В в од
Описание слайда:

Эквивалентность F(A,B)= A ~ B Соединение двух простых высказываний А и В в одно с помощью связки «…тогда и только тогда, когда…» , называется операцией эквивалентности. Обозначение: А ~ В А В А ~ В 0 0 1 0 1 0 1 0 0 1 1 1

№ слайда 22 Эквивалентность ПРИМЕР: А- «Земля вращается вокруг Солнца по эллиптической ор
Описание слайда:

Эквивалентность ПРИМЕР: А- «Земля вращается вокруг Солнца по эллиптической орбите» В- «Число 35 кратно 19» А ~ В - «Земля вращается вокруг Солнца по эллиптической орбите тогда и только тогда, когда число 35 кратно 19»

№ слайда 23 Логические (булевы) выражения - Это булевы константы и переменные, связанные
Описание слайда:

Логические (булевы) выражения - Это булевы константы и переменные, связанные логическими операциями И, ИЛИ и НЕ в единую формулу. СТАРШИНСТВО ЛОГИЧЕСКИХ ОПЕРАЦИЙ : Инверсия Конъюнкция Дизъюнкция Для изменения порядка действий используются скобки.

№ слайда 24 Теоремы алгебры логики 1. не 0 = 1, не 1 = 0 2. Х or 0=Х, Х · 1=Х 3. Х or 1=1
Описание слайда:

Теоремы алгебры логики 1. не 0 = 1, не 1 = 0 2. Х or 0=Х, Х · 1=Х 3. Х or 1=1, Х · 0=0 4. Х or Х=Х, Х · Х=Х – з-н идемпотентности - основной закон алгебры Буля, в соответствии с которым исключаются все коэффициенты и показатели степеней. А+А+А+А=А А·А·А=А

№ слайда 25 Теоремы алгебры логики 5. Х or неХ=1, Х · неХ=0 6. не(неХ) = Х – закон двойно
Описание слайда:

Теоремы алгебры логики 5. Х or неХ=1, Х · неХ=0 6. не(неХ) = Х – закон двойного отрицания 7. Х or Y = Y or X, X · Y = Y · X коммутативный закон 8. X or X · Y=X, X ·(X or Y)=X - закон поглощения

№ слайда 26 Теоремы алгебры логики Для самостоятельного изучения: Закон де Моргана не (А
Описание слайда:

Теоремы алгебры логики Для самостоятельного изучения: Закон де Моргана не (А или В) = (не А) и (не В)       не (А и В) = (не А) или (не В) Ассоциативный закон Сочетательный (ассоциативный) закон:         (А или В) или С = А или (В или С)         (А и В) и С = А и (В и С) Дистрибутивный закон        Распределительный (дистрибутивный) закон:         (А и В) или С = (А или С) и (В или С)         (А или В) и С = (А и С) или (А и В)

№ слайда 27 Алгоритмы решения логических задач: Большинство логических задач решается по
Описание слайда:

Алгоритмы решения логических задач: Большинство логических задач решается по следующему алгоритму: изучение условия задачи обозначение используемых высказываний буквами составление логических выражений, удовлетворяющих всем требованиям задачи объединение их в одно выражение Вычисление всех значений этого логического выражения проверка полученного решения по условию задачи

№ слайда 28 Используемая литература: Информатика.Толковый словарь основных терминов. – Ту
Описание слайда:

Используемая литература: Информатика.Толковый словарь основных терминов. – Тула:Арктоус, 1996 Касаткин ВН, Информация. Алгоритмы.– Москва:Просвещение,1991 Шауцукова ,Информатика.-М.: Просвещение,2001 Информатика. Задачник-практикум в 2 т. /Под ред ИГ Семакина, ЕК Хеннера- М.:ЛБЗ, 2000

№ слайда 29 Автор: Манохина Татьяна Федоровна, учитель ОИ и ВТ Шелаболихинский район с. М
Описание слайда:

Автор: Манохина Татьяна Федоровна, учитель ОИ и ВТ Шелаболихинский район с. Макарово МКОУ «Макаровская СОШ»

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

" Презентация «Основы логики» по курсу «Информатика» представляет собой конспективное справочное пособие для закрепления и обобщения знаний учащихся по теме.

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

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

Справочно представлены ассоциативный, дистрибутивный законы и закон де Моргана для самостоятельного изучения. Дополнительно представлен алгоритм решения типовых логических задач  

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

Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

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

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