Обращаем Ваше внимание: Министерство образования и науки рекомендует в 2017/2018 учебном году включать в программы воспитания и социализации образовательные события, приуроченные к году экологии (2017 год объявлен годом экологии и особо охраняемых природных территорий в Российской Федерации).

Учителям 1-11 классов и воспитателям дошкольных ОУ вместе с ребятами рекомендуем принять участие в международном конкурсе «Законы экологии», приуроченном к году экологии. Участники конкурса проверят свои знания правил поведения на природе, узнают интересные факты о животных и растениях, занесённых в Красную книгу России. Все ученики будут награждены красочными наградными материалами, а учителя получат бесплатные свидетельства о подготовке участников и призёров международного конкурса. ПОДАТЬ ЗАЯВКУ НА КОНКУРС.
Главная / Информатика / разработка урока по информатике "Логика как наука. Понятие об алгебре высказываний."

разработка урока по информатике "Логика как наука. Понятие об алгебре высказываний."

Скачать материал

2

Логика урок 1

Тема: Логика как наука. Понятие об алгебре высказываний.


Цель:

  • ввести определение логики как науки, алгебры логики, понятия высказывания, обозначение истинного и ложного высказывания;

  • рассмотреть примеры высказываний и предложений, которые высказываниями не являются.


План урока.

  1. Изучение нового материала.

  2. Выполнение заданий на закрепление.

  3. Домашнее задание.


    1. Изучение нового материала.

Логиканаука о формах и способах мышления; учение о способах рассуждений и доказательств. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется в каких-либо формах. Основными формами мышления являются понятие, высказывание и умозаключение.

Понятиеэто форма мышления, фиксирующая основные, существенные признаки объекта. Например, понятие «компьютер» объединяет множество электронных устройств, которые предназначены для обработки информации и обладают монитором и клавиатурой.

Высказывание (суждение) – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинно, либо ложно. Под высказыванием будем понимать повествовательное предложение, относительно которого можно сказать, истинно оно или нет. Своё понимание окружающего мира человек формулирует в форме высказываний (суждений, утверждений). Высказывание строится на основе понятий и по форме является повествовательным предложением. Например, высказывание «Два умножить на два равно четырём».

Об объектах можно судить верно, или неверно, то есть высказывание может быть истинным или ложным.

Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Например, «Процессор является устройством обработки информации».

Ложным высказывание будет в том случае, когда оно не соответствует реальной действительности, например: «Процессор является устройством печати».

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

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

Умозаключение это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).

Умозаключения позволяют на основе известных фактов, выраженных в форме суждений (высказываний), получать заключение, то есть новое знание. Примером умозаключений могут быть геометрические доказательства.

Например, если мы имеем суждение «Все углы треугольника равны», то мы можем путём умозаключения доказать, что в этом случае справедливо суждение «Этот треугольник равносторонний».

Алгебра высказываний.

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

В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Рассмотрим два простых высказывания:

А = «Два умножить на два равно четырём».

В = «Два умножить на два равно пяти».

Высказывания могут быть истинными или ложными. Истинному высказыванию соответствует значение логической переменной 1, а ложному – значение 0. В нашем случае первое высказывание истинно (А=1), а второе ложно (В=0).

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).


    1. Выполнение заданий на закрепление.

Определите, какие из ниже приведённых фраз являются высказываниями с точки зрения алгеры логики. Определите значение высказывания (истина или ложь).

      1. Без труда не выловишь рыбку из пруда. (истинно)

      2. Как хорошо быть генералом! (не высказывание)

      3. Революция может быть мирной и немирной. (истинно)

      4. Талант всегда пробьёт себе дорогу. (ложно)

      5. Информатика, в частности, изучает алгоритм. (истинно)

      6. Познай самоё себя. (не высказывание)

        1. Домашняя работа.

Работа с конспектом.


разработка урока по информатике "Логика как наука. Понятие об алгебре высказываний."
Скачать материал
  • Информатика
Описание:

Тема: Логика как наука. Понятие об алгебре высказываний.

Цель:

üввести определение логики как науки, алгебры логики, понятия высказывания, обозначение истинного и ложного высказывания;

üрассмотреть примеры высказываний и предложений, которые высказываниями не являются.

План урока.

1.Изучение нового материала.

2.Выполнение заданий на закрепление.

3.Домашнее задание.

I.Изучение нового материала.

Логиканаука о формах и способах мышления; учение о способах рассуждений и доказательств. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется в каких-либо формах. Основными формами мышления являются понятие, высказывание и умозаключение.



Самые низкие цены на курсы переподготовки

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

После окончания обучения выдаётся диплом о профессиональной переподготовке установленного образца с присвоением квалификации (признаётся при прохождении аттестации по всей России).

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

Начало обучения ближайшей группы: 25 октября. Оплата возможна в беспроцентную рассрочку (10% в начале обучения и 90% в конце обучения)!

Подайте заявку на интересующий Вас курс сейчас: https://infourok.ru

Скачать материал
Автор Пастушук Галина Григорьевна
Дата добавления 21.11.2016
Раздел Информатика
Подраздел Конспекты
Просмотров 261
Номер материала MA-068660
Скачать свидетельство о публикации

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

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

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


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

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