BriefEducation
Образование: теория и практика » Методика обучения основам линии представления информации в базовом курсе информатики » Методические рекомендации по изучению темы «Язык логики»

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

Страница 1

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

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

1) Последовательность выполнения операций в логических формулах определяется старшинством операций. В порядке убывания старшинства логические операции расположены так: отрицание, конъюнкция, дизъюнкция. Кроме того, на порядок операции влияют скобки, которые можно использовать в логических формулах. Например: (А и В) или (не А и В) или (не А и не В)

Математическая логика в базах данных. При изучении базового курса информатики ученики впервые встречаются с элементами математической логики в теме «Базы данных» (БД). В реляционных БД логическими величинами являются поля логического типа. Логический тип используется наряду с другими типами полей, и ученики должны научиться выделять его.

Первое понятие о логической величине можно дать как ответ на альтернативный вопрос. Например: «Имеется ли данная книга в библиотеке?» или «Поступил ли абитуриент в университет», или «На улице идет дождь?» и т. п. Ответами на такие вопросы могут быть только «да» или «нет». Синонимами являются «истина», «ложь»; «true», «false». Если поле таблицы будет принимать только такие значения, то ему назначается логический тип.

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

Поля геология, цветоводство и танцы будут иметь логический тип. Значение ИСТИНА для каждого поля обозначает, что ученик посещает данный факультатив, а ЛОЖЬ – не посещает.

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

.

Логические выражения разделяются на простые и сложные. В простых выражениях всегда используется лишь одно поле таблицы, и не применяются логические операции. В сложных логических выражениях используются логические операции. Простое логическое выражение представляет собой либо имя поля логического типа, либо отношение (в математике говорят «неравенство»). Отношения для числовых величин сохраняют смысл математических неравенств; при вычислении отношений для символьных величин учитывается лексикографический порядок; даты сравниваются в порядке их календарной последовательности.

Основная проблема – научить учеников формальному представлению условий поиска в виде логических выражений. Например, от фразы «найти все книги, лежащие выше пятой полки» нужно перейти к логическому выражению: полка > 5; или условие «выбрать всех неуспевающих по физике» представить в виде: физика < 3; или «выбрать все дни, когда шел дождь»: осадки = «дождь».

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

Сложные логические выражения содержат в себе логические операции. Рассматриваются три основные операции математической логики: конъюнкция (и), дизъюнкция (или), отрицание (не).

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

Страницы: 1 2

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

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

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

Организация и руководство заведующей ДОУ в работе с родителями
Заведующая является организатором и руководителем ДОУ, квалифицированным педагогом. На должность заведующей ДОУ принимается лицо, имеющее высшее образование и стаж работы по профилю не менее 3-х лет (в некоторых случаях допускается педагогический стаж 2 года), среднее специальное (педагогическое об ...

Разделы

© 2024 Copyright www.briefeducation.ru