Методические рекомендации по изучению темы «Язык логики»

• An В истинно только в том случае, если истинны оба операнда;

• А или В ложно только в том случае, если ложны оба операнда;

• не А меняет значение логической величины на противоположное: не истина – ложь; не ложь – истина.

Эти правила отражены в таблице истинности.

При переходе к составлению условий поиска в базах данных ученики нередко попадают в «ловушки естественного смысла». Например, рассматривается база данных БИБЛИОТЕКА со сведениями о книгах в личной библиотеке, которая имеет следующую структуру:

Библиотека (номер. автор, название, год, полка)

Требуется получить сведения обо всех книгах толстого и тургенева. абсолютное большинство учеников записывают это условие следующим образом:

Автор = «толстой» и автор = «тургенев»

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

Автор = «толстой» или автор = «тургенев»

Тогда будет получена искомая выборка книг обоих авторов.

Операция ИЛИ объединяет в одну выборку записи, удовлетворяющие каждому из условий. Операция И работает иначе: сначала выбираются все записи, удовлетворяющие первому условию, затем из отобранных записей выбираются те, которые удовлетворяют второму условию.

Математическая логика в электронных таблицах. Следующая встреча учеников с математической логикой в базовом курсе происходит при изучении электронных таблиц. Язык электронных таблиц можно интерпретировать как своеобразный табличный язык программирования для решения вычислительных задач. Причем реализуемые на ЭТ вычислительные алгоритмы могут иметь не только линейную структуру, но и ветвящуюся и даже циклическую (итерационные циклы). Ветвления в ЭТ реализуются через условную функцию. Форма записи условной функции в значительной мере зависит от типа табличного процессора.

Если в клетку заносится условная функция, то на экране отображается результат ее вычисления, т.е. то или иное значение в зависимости от условия, заданного логическим выражением. Обычно условная функция имеет такую структуру:

If (условие, действие!, действие2).

Здесь «условие» – логическое выражение. Если условие истинно, то выполняется действие!, иначе – действие2.

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

Особенность логических выражений для электронных таблиц заключается в том, что логические операции используются как функции: сначала записывается имя логической операции: И, ИЛИ, НЕ (AND, OR, NOT), а затем в круглых скобках перечисляются логические операнды. Например, логическое выражение AND (А > О, А < 1) соответствует математической системе неравенств: 0 < А\ < 1.

Например, требуется вычислить следующую разрывную функцию:

F(x) =X

если – 1 < х < 1; 1, иначе.

В ячейке таблицы соответствующая условная функция запишется так:

IF (AND (A > -1, А\ < 1), ABS (А), 1).

Логические формулы могут размещаться в ячейках ЭТ сами по себе, без использования условной функции. В таком случае в данной ячейке будет отражаться логическое значение ИСТИНА или ЛОЖЬ. Например, если в ячейке С6 хранится сумма баллов, набранная абитуриентом на вступительных экзаменах, а проходной балл в институт равен 14, то, поместив в ячейку D6 формулу: С6>= 14, получим в этой ячейке значение ИСТИНА, в случае если абитуриент поступил в институт, и ЛОЖЬ – если нет.

Математическая логика в программировании. В большинстве современных процедурных языков программирования высокого уровня (ЯПВУ) имеется логический тип данных, реализованы основные логические операции. Использование этих средств позволяет решать на ЭВМ сложные логические задачи, моделировать логику человеческого мышления в программных системах искусственного интеллекта. В программах решения задач с математическим содержанием логические выражения чаще всего применяются для описания систем неравенств (отношений). Решая задачи такого типа, ученики прежде всего должны проявить знания математики, а затем уже – умение переложить математические отношения на язык логики и оформить решение задачи на языке программирования.

Материалы по педагогике:

Роль школьного дендрария в учебно-воспитательном процессе
1. Назначение дендрария. Есть просто храм, Есть храм науки, А есть еще природы храм – С лесами, тянущими руки Навстречу солнцу и ветрам. Он свят в любое время суток, Открыт для нас в жару и стынь; Входи сюда, Будь сердцем чуток, Не оскверняй ее святынь. С. Смирнов. Деревья, кустарники и цветы украш ...

Обучение решению задач шестилеток
Работа с задачами является важным аспектом обучения математики. Для эффективной работы необходимо, чтобы каждая задача давала пищу для интенсивной умственной деятельности учащихся, а ученик приступал к ее решению, рассчитывая на успех. Вводить задачи в подготовительном классе целесообразно с некото ...

Определение слова, его значение и признаки слова
В современной научной литературе слово рассматривается как знак, обозначающий результат познания, мышления. Слово является основной единицей языка. Было предложено несколько сотен определений этой единицы, мы рассмотрим только некоторые из них. Д.Н. Шмелев считает, что слово - это такая единица язы ...

Разделы

• Главная
• Развитие познавательных интересов на уроках
• Образование как ценность
• Информатизация образования
• Образование как система и процесс
• Методологические основы педагогики
• Нравственно-этическое воспитание детей
• Образование: теория и практика
• Карта сайта
• Контакты