- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по информатике Алгебра высказываний (8 класс)
Содержание
- 1. Презентация по информатике Алгебра высказываний (8 класс)
- 2. АРИСТОТЕЛЬ (384г.- 322г. до н.э.)Основы формальной логики
- 3. ЛОГИКА – это наука о формах и
- 4. Понятие отражает совокупность существенных признаков объекта или нескольких объектов.КомпьютерМорозУчебник ТетрадьЗвуковая информацияДвоичное кодированиеПерсональный компьютерПонятиями пользуемся, когда думаем
- 5. Понятие имеет две стороны: содержание и объемСовокупность
- 6. Содержание понятия
- 7. Объём понятияМножество отличников в классеМножество букв русского алфавитаМножество знаков
- 8. ВЫСКАЗЫВАНИЕ – это форма мышления, в
- 9. Высказывание строится на основе понятий и по
- 10. Какие из предложений являются высказываниями?Какой длины эта
- 11. Составные высказывания -совокупность простых высказываний, соединенных логическими операциями«Процессор является устройством обработки информацииИПринтер является устройством печати»
- 12. УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью
- 13. ВИЛЬГЕЛЬМ ЛЕЙБНИЦ (1646 -1716)Лейбниц взглянул на логику
- 14. Алгебра высказываний - Простые высказывания = логические
- 15. ИстинноеЛогическое высказываниеА – «2 х 2 =
- 16. Логическое умножение (конъюнкция)Логические операции«И»«ИЛИ»Логическое сложение (дизъюнкция)Логическое отрицание (инверсия)«НЕ»
АРИСТОТЕЛЬ (384г.- 322г. до н.э.)Основы формальной логики заложил ученый Древней Греции АристотельЗаслуга ученого состоит в том, что он отделил форму мышления от содержанияПопытался соединить логику и математику, разработал раздел теории доказательств
Слайд 2АРИСТОТЕЛЬ
(384г.- 322г. до н.э.)
Основы формальной логики заложил ученый Древней Греции Аристотель
Заслуга
ученого состоит в том, что он отделил форму мышления от содержания
Попытался соединить логику и математику, разработал раздел теории доказательств
Попытался соединить логику и математику, разработал раздел теории доказательств
Слайд 3ЛОГИКА – это наука о формах и способах мышления
Законы логики отражают
в сознании человека свойства, связи и отношения объектов окружающего мира.
Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.
Мышление всегда существует в каких-то формах – это понятие, высказывание, умозаключение.
Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.
Мышление всегда существует в каких-то формах – это понятие, высказывание, умозаключение.
Слайд 4Понятие отражает совокупность существенных признаков объекта или нескольких объектов.
Компьютер
Мороз
Учебник
Тетрадь
Звуковая информация
Двоичное
кодирование
Персональный компьютер
Персональный компьютер
Понятиями пользуемся, когда думаем
Слайд 5Понятие имеет две стороны: содержание и объем
Совокупность существенных признаков объекта
Совокупность объектов,
каждому из которых присущи признаки, отраженные в понятии
Слайд 8ВЫСКАЗЫВАНИЕ – это форма мышления, в которой что-либо утверждается или отрицается
о свойствах реальных предметов и отношениях между ними.
Свое понимание окружающего мира человек формулирует в форме высказываний
(суждений, утверждений)
Высказывание может быть истинно или ложно
Задание: Определить значения истинности для следующих высказываний.
1. «Лед - твердое состояние воды» 2. «Париж- столица Англии»
Слайд 9Высказывание строится на основе понятий и по форме является повествовательным предложением
Высказывание
не может быть вопросительным или повелительным т.к. оценка истинности или ложности невозможна
Истинность высказываний является величиной относительной, и зависит от взглядов людей, от конкретных обстоятельств и т. д.
Слайд 10Какие из предложений являются высказываниями?
Какой длины эта лента?
Прослушайте сообщение
Делайте утреннюю зарядку!
Назовите
устройство ввода информации.
Кто отсутствует?
Париж – столица Англии.
Число 11 является простым
4 + 5 = 10
Без труда не вытащишь и рыбку из пруда.
Сложите числа 2 и 5.
Некоторые медведи живут на севере.
Все медведи – бурые
Чему равно расстояние от Москвы до Ленинграда?
Кто отсутствует?
Париж – столица Англии.
Число 11 является простым
4 + 5 = 10
Без труда не вытащишь и рыбку из пруда.
Сложите числа 2 и 5.
Некоторые медведи живут на севере.
Все медведи – бурые
Чему равно расстояние от Москвы до Ленинграда?
Слайд 11Составные высказывания -
совокупность простых высказываний, соединенных логическими операциями
«Процессор является устройством обработки
информации
И
Принтер является устройством печати»
И
Принтер является устройством печати»
Слайд 12УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного или
нескольких суждений может быть получено новое суждение (вывод).
Умозаключение позволяет на основе известных фактов, выраженных в форме высказываний,
получить заключение, т.е. новое знание (геометр. док-ва)
«Все углы треугольника равны» «Этот треугольник равносторонний»
Посылками умозаключения могут быть только истинные суждения, тогда заключение будет истинным, в противном случае можно прийти к ложному умозаключению
Слайд 13ВИЛЬГЕЛЬМ ЛЕЙБНИЦ
(1646 -1716)
Лейбниц взглянул на логику Аристотеля через призму математики
Он создал
«Азбуку мыслей», сжатый и краткий язык символов.
Разработал идею логического исчисления.
Простые высказывания обозначил буквами, сложные высказывания - формулами.
В результате удалось содержательные рассуждения заменить формальными вычислениями.
Разработал идею логического исчисления.
Простые высказывания обозначил буквами, сложные высказывания - формулами.
В результате удалось содержательные рассуждения заменить формальными вычислениями.
Слайд 14Алгебра высказываний -
Простые высказывания = логические переменные
раздел математики, позволяющий
определять истинность или ложность составных высказываний, не вникая в их содержание
А – «2 х 2 = 4»
В – «Париж – столица Англии»
Слайд 15Истинное
Логическое высказывание
А – «2 х 2 = 4»
В –
«Париж – столица Англии»
Ложное
«1»
«0»
А = 1
В = 0
Слайд 16Логическое умножение (конъюнкция)
Логические операции
«И»
«ИЛИ»
Логическое сложение (дизъюнкция)
Логическое отрицание (инверсия)
«НЕ»
