Тема: «Основы логики при подготовке учащихся к ЕГЭ по информатике»

Оглавление

Введение 3

Глава 1. Теоретический анализ раздела «Основы логики» 5

1.1. Формы мышления. Алгебра высказываний. 5

1.2. Логические выражения и функции 8

1.3. Логические законы 9

1.4. Базовые логические элементы 11

Глава 2. Методика подготовки к егэ по теме «Основы логики» 14

2.1. Кодификатор 14

2.2. Разбор заданий 15

2.3. Основные трудности при решении заданий 18

2.4. Анализ выполнения заданий этой темы 21

Глава 3. Решения задач егэ по теме «Основы логики» 23

Заключение 28

Список литературы 29

Введение

Подготовка к ЕГЭ по информатике стала актуальной с введением экзамена по информатике по выбору при окончании средней школы и введением в некоторых ВУЗах, включая и гуманитарные, вступительных экзаменов по информатике.

Тема «Логика. Логические основы компьютера» – один из разделов, изучаемых в рамках учебной дисциплины «Информатика и ИКТ» на профильном уровне. В силу своей предельной общности и абстрактности логика имеет отношение буквально ко всем конкретным отраслям науки и техники. Потому, что как бы ни были различны и своеобразны эти отрасли, все же законы и правила мышления, на которых они основываются, едины.

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

Предмет исследования – методы подготовки к ЕГЭ по информатике по теме «Основы логики».

Объект исследования – раздел «Основы логики» школьного курса информатики.

Цель: комплексное, системное изучение методики подготовки к ЕГЭ по информатике по теме «Основы логики».

Достижение поставленной цели требует постановки и решения следующих задач:

1. провести теоретический анализ раздела «Основы логики»;

2. рассмотреть возможные трудности при решении задач данной темы.

Глава 1. Теоретический анализ раздела «Основы логики»

1.1. Формы мышления. Алгебра высказываний.

Логика — наука о способах и формах мышления, которая возникла в Древнем Китае и Индии.

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

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

Алгебра высказываний позволяет определять истинность или ложность составных высказываний.

В алгебре высказываний простым высказываниям или суждениям соответствуют логические переменные. Истинному высказыванию соответствует значение логической переменной 1, а ложному — значение 0. Над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания[14, 98 c.].

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

Конъюнкция. Операцию логического умножения (конъюнкцию) принято обозначать значком «&» либо «/\»:

F = А /\ В.

Функция логического умножения F может принимать лишь два значения «истина» (1) и «ложь» (0). Значение логической функции определяется с помощью таблицы истинности:

А	В	А /\ В
0	0	0
0	1	0
1	0	0
1	1	1

Дизъюнкция. Операцию логического сложения обозначают «v» либо «+».

F = A\/B

Таблица истинности:

A	B	A\/B
0	0	0
0	1	1
1	0	1
1	1	1

Инверсия. Операцию логического отрицания обозначают F = ¬A.

Таблица истинности логического отрицания:

A	¬A
0	1
1	0

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

Логическое следование (импликация) — это логическая функция, которую можно описать помощью оборота «если..., то...», и обозначается:

А –> В.

Таблица истинности:

A	B	А–>В
0	0	1
0	1	1
1	0	0
1	1	1

Логическое равенство (эквивалентность) — это логическая функция, которую можно описать помощью оборота «тогда и только тогда, когда ...» и обозначается А<–>В.

Таблица истинности:

A	B	А<–>В
0	0	1
0	1	0
1	0	0
1	1	1