Алгебра логики

Алгебра логики

Цель: Привить навыки логически рассуждать, сформулировать основные формы мышления, изучение основных исторических этапов развития логики и знакомство с историческими личностями, связанными с развитием данной науки с Древних времен и по сей день.

Задачи:

· Дать определение логики как науки.

· Сформулировать основные формы мышления.

· Разобрать какие базовые логические операции существуют?

· Привить навыки логически рассуждать и решать различные логические задачи.

· Контролировать степень усвоения материала.

· Записать в тетрадь основные понятия.

План урока:

1. Организационный момент. (3 мин)

2. Повторение ранее изученного материала. (7 мин)

3. Изучение нового материала.(15 мин)

4. Закрепление знаний (15 мин)

5. Подведение итогов урока. (3 мин)

6. Домашнее задание (2 мин)

Вы уже знаете о суперспособностях современного учителя?

Тратить минимум сил на подготовку и проведение уроков.

Быстро и объективно проверять знания учащихся.

Сделать изучение нового материала максимально понятным.

Избавить себя от подбора заданий и их проверки после уроков.

Наладить дисциплину на своих уроках.

Получить возможность работать творчески.

=> ПОЛУЧИТЬ СУПЕРСПОСОБНОСТИ УЧИТЕЛЯ <=

Просмотр содержимого документа
«Алгебра логики »

Сайт автора: http://natiqat.narod.ru

На каких трех «китах» держится информатика?

Логика, алгоритмы и программа

Цели:

Немного об истории логики.
Дать определение логики как науки.
Сформулировать основные формы мышления.
Разобрать какие базовые логические операции существуют?
Привить навыки логически рассуждать.
Записать в тетрадь основные понятия .

1 этап

формальная логика

Основатель – Аристотель (384 -322гг. до н.э. )

Ввёл основные формулы абстрактного мышления

2 этап

математическая логика

Основатель – немецкий ученый

и философ Лейбниц(1642 -1716), предпринял попытку логических вычислений.

3 этап

Алгебра высказываний (Булева алгебра)

Основатель – английский математик Джордж Буль(1815 – 1864),ввёл алфавит,

орфографию и грамматику

для математической логики.

В настоящее время самым впечатляющим

у человеческого интеллекта является способность принимать правильные решения в условиях неполной и нечеткой информации.

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

« Н а протяжении всей жизни моя первая любовь - наука и техника» Лютфи Заде

Основы нечеткой л огики были заложены в конце 60-х лет

в работах всемир но-известного математика, азербайджанского происхож дения Лютфи Заде.

Он родился в Баку, Азербайджан

4 февраля l92l года.

Логика - это наука о формах и способах мышления.

Основные формы мышления:

Понятие;
Высказывание;
Умозаключение

это форма мышления, фиксирую -

щая основные, существенные признаки объекта.

Содержание
Объем

это форма мышления,

в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними.

Высказывание может быть

истинно или ложно .

это форма мышления,

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

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

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

Истинно = 1

Ложно = 0

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

инверсия

логическое отрицание

операция не

конъюнкция

дизъюнкция

логическое умножение

логическое сложение

операция и

операция или

А(вход)

Ā (выход)

НЕ

Логическое отрицание -операция НЕ инверсия

C=A&B

А(вход)

В(вход)

С(выход)

Логическое умножение – операция И конъюнкция

C=A ۷ B

А(вход)

В(вход)

С(выход)

ИЛИ

Логическое сложение - операция ИЛИ дизъюнкция

http://metod-kopilka.ru

www.zavuch.info/component/mtree/nachal/okrnach/nachokrurok

nto.immpu.sgu.ru/sites/default/files/3/__12697.pdf

exsolver.narod.ru/Books/Other/Logica/c53.html

www.twirpx.com/files/pedagogics/common/

Учебник «Информатика 8 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева

Ресурсы:

Предмет: Информатика

Категория: Презентации

Целевая аудитория: 8 класс

Скачать
Алгебра логики

Автор: Тарвердиева Натига Мамедовна

Дата: 21.06.2014

Номер свидетельства: 107615

Похожие файлы

Элементы алгебры логики. Высказывание

object(ArrayObject)#853 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(70) "Элементы алгебры логики. Высказывание"
    ["seo_title"] => string(36) "elementy_algebry_logiki_vyskazyvanie"
    ["file_id"] => string(6) "640345"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(5) "uroki"
    ["date"] => string(10) "1700585955"
  }
}

Тест по информатике "Элементы алгебры логики"

object(ArrayObject)#875 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(84) "Тест по информатике "Элементы алгебры логики" "
    ["seo_title"] => string(50) "tiest-po-informatikie-eliemienty-alghiebry-loghiki"
    ["file_id"] => string(6) "198475"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(5) "testi"
    ["date"] => string(10) "1428410874"
  }
}

Презентация к уроку математики "Алгебра логики в инормационных процессах"

object(ArrayObject)#853 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(136) "Презентация к уроку математики "Алгебра логики в инормационных процессах""
    ["seo_title"] => string(76) "priezientatsiiakurokumatiematikialghiebraloghikivinormatsionnykhprotsiessakh"
    ["file_id"] => string(6) "277546"
    ["category_seo"] => string(10) "matematika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1452933393"
  }
}

Основные понятия алгебры логики. Логические выражения и логические операции.

object(ArrayObject)#875 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(142) "Основные понятия алгебры логики. Логические выражения и логические операции."
    ["seo_title"] => string(85) "osnovnyieponiatiiaalghiebryloghikiloghichieskiievyrazhieniiailoghichieskiieopieratsii"
    ["file_id"] => string(6) "311040"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1459148826"
  }
}

Алгебра логики: основные понятия и аксиомы.

object(ArrayObject)#853 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(79) "Алгебра логики: основные понятия и аксиомы."
    ["seo_title"] => string(43) "algebra_logiki_osnovnye_poniatiia_i_aksiomy"
    ["file_id"] => string(6) "507219"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(5) "uroki"
    ["date"] => string(10) "1555351266"
  }
}

Просмотр содержимого документа «Алгебра логики »

Похожие файлы

Полезное для учителя

Просмотр содержимого документа
«Алгебра логики »