г. Уфа
- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по информатике на тему Логика_1
Содержание
- 1. Презентация по информатике на тему Логика_1
- 2. Логика – наука о законах и формах мышления
- 3. Мыслить логично – т.е.Точно и последовательноНе допускать противоречийУметь вскрывать логические ошибки
- 4. Основатель логики Философ АристотельСистематизировал формы и правила
- 5. Логика – является наукой о способах доказательств
- 6. Формы мышленияпонятиесуждениеУмозак-лючениеСущественные признаки предметовВысказывания, утверждениявывод
- 7. Алгебра логикиЭто алгебра высказываний – раздел математической
- 8. ВысказываниеПовествовательное предложение, о котором можно сказать истинно
- 9. ВысказыванияобщиечастныеЕдинич-ныеВсе, каждый, всякий…Некоторые,многие,… Оригинальные,неповторимые
- 10. ТерминыЛогические величины – это понятия выражаемые словами
- 11. ВысказыванияпростыесоставныеСодержат одну мысльСодержат два и более простых высказываний,объединенных союзами
- 12. Логические функции
- 13. Инверсия (отрицание)не А;неверно, что АА,
- 14. Конъюнкция Логическое умножение.F(A,B)=А и ВF(A,B)=А * ВF(A,B)=А
- 15. ДизъюнкцияЛогическое сложение.F(A,B)=А или ВF(A,B)=А + ВF(A,B)=А
- 16. ИмпликацияЛогическое следование.если А, то ВА влечет ВВ следует из АF(A,B)=А ВF(A,B)=А В
- 17. ЭквивалентностьЛогическое равенство,Тождественность.А тогда и только тогда, когда ВF(A,B)=А ВF(A,B)=А ВF(A,B)=А ≅ В
- 18. Приоритет действийСкобкиОтрицаниеКонъюнкцияДизъюнкцияИмпликацияЭквивалентность
Логика – наука о законах и формах мышления
Слайд 3Мыслить логично – т.е.
Точно и последовательно
Не допускать противоречий
Уметь вскрывать логические ошибки
Слайд 4Основатель логики
Философ Аристотель
Систематизировал формы и правила мышления.
Исследовал категории «понятие» и
«суждение».
Разработал теорию умозаключений и доказательств.
Сформулировал основные законы мышления.
Разработал теорию умозаключений и доказательств.
Сформулировал основные законы мышления.
Слайд 5Логика – является наукой о способах доказательств и опровержений.
Начало исследований
в области логики
было положено Аристотелем в 4 в. до н.э.
Однако математические подходы к этим
вопросам впервые были указаны
Джорджем Булем.В честь него алгебру
высказываний называют “булевой алгеброй”.
было положено Аристотелем в 4 в. до н.э.
Однако математические подходы к этим
вопросам впервые были указаны
Джорджем Булем.В честь него алгебру
высказываний называют “булевой алгеброй”.
Слайд 6Формы мышления
понятие
суждение
Умозак-
лючение
Существенные
признаки
предметов
Высказывания,
утверждения
вывод
Слайд 7Алгебра логики
Это алгебра высказываний – раздел математической логики, изучающий строение (формулы,
структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.
Слайд 8Высказывание
Повествовательное предложение, о котором можно сказать истинно оно или ложно.
Например,
Все
ученики – отличники. – ВЛ
Некоторые ученики – отличники. – ВИ
Петя – отличник! – не В
Некоторые ученики – отличники. – ВИ
Петя – отличник! – не В
Слайд 9Высказывания
общие
частные
Единич-
ные
Все, каждый,
всякий…
Некоторые,
многие,…
Оригинальные,
неповторимые
Слайд 10Термины
Логические величины – это понятия выражаемые словами И или Л.
Логическая
переменная – это символически выраженная логическая величина.
Логическое выражение – это простое или сложное высказывание, о котором можно сказать И оно или Л.
Логическое выражение – это простое или сложное высказывание, о котором можно сказать И оно или Л.
Слайд 11Высказывания
простые
составные
Содержат одну мысль
Содержат два и более
простых высказываний,
объединенных союзами
Слайд 13Инверсия (отрицание)
не А;
неверно, что А
А, А, А
Например,
А – На
улице тепло.
не А – Неверно, что на улице тепло.
не А – Неверно, что на улице тепло.
Слайд 14Конъюнкция
Логическое умножение.
F(A,B)=А и В
F(A,B)=А * В
F(A,B)=А & В
F(A,B)=А В
F(A,B)=А
and В
Например,
А – У меня есть деньги на покупку машины.
В – У меня есть желание на покупку машины.
Слайд 15Дизъюнкция
Логическое сложение.
F(A,B)=А или В
F(A,B)=А + В
F(A,B)=А В
F(A,B)=А or В
F(A,B)=А |
В
Например,
А – Я пойду на дискотеку в школу.
В – Я пойду на дискотеку в Огни Уфы.
Слайд 17Эквивалентность
Логическое равенство,
Тождественность.
А тогда и только тогда, когда В
F(A,B)=А В
F(A,B)=А
В
F(A,B)=А ≅ В
F(A,B)=А ≅ В
