Учитель Казакова Ольга Дмитриевна, учитель информатики высшей категории школы-лицея 16 г.Павлодара. Конспект урока по информатике в 8 классе.

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

Логика Наука о формах и законах человеческого мышления

Логика формальная математическая вероятностная диалектическая Изучает наши обычные содержательные рассуждения, выражаемые разговорным языком Изучает только рассуждения, для которых можно однозначно решить, истинны они или нет. Основной элемент – высказывание

Высказывание Повествовательное предложение, относительно которого однозначно можно сказать, истинно оно или нет.

Высказывания (суждения) Истинные Частные Простые Ложные Общие Сложные или составные

Логические связки и их название. Логические связки Название логических связок … и …Конъюнкция … или …Дизъюнкция … либо, … либо Строгая дизъюнкция Если…, то …Импликация Невероятно, что …; НЕ …; Неверно, что…отрицание Тогда и только тогда, когда…Эквиваленция Все; всякий; каждый Квантор общности Некоторые…; Существуют…Квантор существования

Определите вид высказывания: Суждение Простое или сложное Истинное или ложное Общее или частное Светит солнце. Любой квадрат является ромбом. Либо я пойду домой, либо ты пойдёшь в магазин. Все кролики любят капусту. Собака – это не кошка.

Домашнее задание. Учебник стр (новый). Практикум на стр.19 (письменно). Подготовить сообщение или презентацию по темам: «История логики» «Законы логики»

Литература: Информатика. Учебник для 8 класса. Ермеков Н.Т., Стифутина Н.Ф. – Алматы: Мектеп, 2004 г. Пособие для учителя по преподаванию курса информатики в 8 классе. Ермеков Н.Т., Пилипенко С.Б., Давыденко С.П., Викс В.Ю. – Алматы: Мектеп Дидактические материалы по информатике для 8 класса. Практикум. Ермеков Н.Т., Пилипенко С.Б., Давыденко С.П., Викс В.Ю. – Алматы: Мектеп Информатика. Учебник для 8 класса. Шевчук Е.В., Кольева Н.С. – Алматы, «Мектеп», 2008 г.