ДЗЮБЕЦКИЙ Евгений Владимирович
преподаватель предметов: «Информатика» и «Информационные технологии»
Использование межпредметных связей на уроке информатики как средство повышения качества обучения
Межпредметные связи в курсе информатики могут быть реализованы с
- лингвистикой (русским и английским языком),
Логика
ЛОГИКА - наука о формах и способах мышления.
Аристотель (384-322 до н.э.). Основоположник формальной логики (понятие, суждение, умозаключение).
Джордж Буль (1815-1864). Создал новую область науки - Математическую логику (Булеву алгебру или Алгебру высказываний).
Клод Шеннон (1916-2001). Его исследования позволили применить алгебру логики в вычислительной технике
Формы мышления
Мышление всегда осуществляется в определённых формах - понятие,
суждение, умозаключение .
ПОНЯТИЕ - форма мышления, фиксирующая основные, существенные признаки объекта, которые отличают его от других объектов.
Понятие имеет две стороны: СОДЕРЖАНИЕ и ОБЪЕМ . Содержание понятия составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необходимые и достаточные для выделения данного объекта из множества других объектов.
Например, содержание понятия ПК - устройство для автоматической обработки информации, предназначенное для одного пользователя. Объем понятия определяется совокупностью предметов, на которые оно распространяется. Например, объем понятия "ПК" выражает всю совокупность (сотни млн.) существующих в настоящее время в мире ПК.
Формы мышления
УМОЗАКЛЮЧЕНИЕ - форма мышления, с помощью которой из
одного или нескольких суждений (посылок) может быть получено
новое суждение (вывод).
Умозаключения позволяют на основе известных фактов,
выраженных в форме суждений, получать заключение, т.е. новое
знание.
Например, если имеем суждение - "Все углы треугольника равны",
то получим путем доказательства суждение - "Это треугольник
равносторонний".
Формы мышления
ВЫСКАЗЫВАНИЕ (СУЖДЕНИЕ) - форма мышления, в которой что-
либо утверждается или отрицается о реальных предметах, их
свойствах и отношениях между ними.
Высказывание может быть либо ИСТИННО , либо ЛОЖНО .
ИСТИННЫМ будет высказывание, в котором связь понятий
правильно отражает свойства и отношения реальных вещей.
ЛОЖНЫМ высказывание будет в том случае, когда оно не
соответствует реальной действительности.
УСЛОВИЕ ЗАДАЧИ:
Три сестры – Наталья , Ирина и Ольга очень талантливы. Они приобрели известность в разных видах искусств – оперном пении, балете и игре на скрипке. Все они живут в разных городах: Москве, Санкт-Петербурге и Новосибирске. Известно что:
- Наталья живёт не в Москве, а Ольга – не в Санкт-Петербурге.
- Москвичка не играет на скрипке.
- Та, которая живёт в Санкт-Петербурге, оперная певица.
- Ольга равнодушна к балету.
Где живёт Ирина и какова её профессия?
Москва
0
СПб
Ново-сибирск
Пение
Наталья
0
Ирина
Балет
Ольга
Музыка
0
Рассуждаем следующим образом: так как Ольга живёт не в Санкт-Петербурге, то, согласно условию 3 , она не певица. В ячейку таблицы, соответствующую строке «Ольга» и столбцу «Пение» , ставим «0» . Методом исключения, сразу же становится видно, что Ольга играет на скрипке , а остальные нет.
Москва
СПб
0
Ново-сибирск
Пение
0
Наталья
Балет
Ирина
Ольга
Музыка
0
0
0
0
1
Согласно условию 2 , москвичка не играет на скрипке, значит, Ольга живёт не в Москве, но она живёт и не в Санкт-Петербурге. Следовательно, Ольга живёт в Новосибирске . Так как Наталья и Ольга живут не в Москве, значит там живёт Ирина . Наталья живёт в Санкт-Петербурге и, согласно условию 3 , оперная певица . Так как Ольга играет на скрипке , то Ирина занимается балетом .
Москва
0
СПб
1
1
Ново-сибирск
0
0
0
Пение
Наталья
0
0
1
1
Балет
Ирина
0
Музыка
0
Ольга
0
0
1
0
0
1
Алгебра логики
Алгебра высказываний (математическая логика или булева алгебра, или алгебра логики) была разработана для того, чтобы можно было определять истинность или ложность составных высказываний, не вникая в их содержание.
В алгебре логики высказывания обозначают буквами (заглавные буквы латинского алфавита) и называют логическими переменными , которые могут принимать только два значения "истина" ( 1 ) или "ложь" ( 0 ).
0 и 1 называются логическими значениями .
Решение логической задачи
Представители России, Евросоюза и Украины обсудили за закрытыми дверями проекты «Минских соглашений» , представленные каждой из сторон. Отвечая на вопрос журналистов: "Чей именно проект был принят?", представители дали такие ответы: Россия — "Проект не наш, проект не Евросоюза"; Евросоюз — "Проект не наш, проект России"; Украина —"Проект не России, проект наш".
Один из них (самый откровенный) оба раза говорил правду; второй (самый скрытный) оба раза говорил неправду, третий (осторожный) один раз сказал правду, а другой раз — неправду.
Определите, представители каких из сторон являются: откровенный, скрытный и осторожный ?
Р — "Проект не наш, проект не Евросоюза"; Е — "Проект не наш, проект России"; У —"Проект не России, проект наш".
Представим в таблице истинности высказывания каждого участника процесса. Так как проект был принят одним из них, составим не всю таблицу, а только её фрагмент, содержащий наборы входных переменных: 001, 010, 100 .
Р
Е
0
У
Утверждение России
0
0
1
1
¬Р
1
1
0
Утверждение Евросоюза
¬Е
0
1
0
¬Е
1
0
Утверждение Украины
1
0
Р
¬Р
1
0
0
1
1
0
У
1
1
1
0
0
0
Исходя из их характеристики, следует искать в таблице строки, содержащие в каком-либо порядке три комбинации значений: 00, 11, 01 (или 10).
Таким образом: Был принят проект России , её представители - осторожные . Откровенными оказались представителями Евросоюза , а скрытными – представители Украины .