Логика видеоуроки подготовка к экзамену лекции

Этот видеокурс предназначен помочь учащимся и учителям информатики при подготовке к ЕГЭ, а так же при проведении занятий и уроков по теме «Логика». 

Урок 1. Базовые знания математической логики, логические элементы и таблицы истинности.

В первом уроке мы познакомимся с основными понятиями логики. Логические элементы, логические выражения, таблицы истинности правила выполнения логических выражений и принципы построения логических схем.

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

Урок 2. Порядок выполнения логических выражений. Создание логических схем и таблиц истинности.

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

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

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

Урок 4. Основные законы математической логики.

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

Урок 5. Математическая логика. Пример решения задания.

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

Если уроки не открываются установите FlashPlayer, и пробуйте открыть их в браузере. Скачать архив можно по любой ссылке после ввода пароля подписчика на рассылку для учителя информатики

Вот более подробные инструкции (в случае возникновения проблем с просмотром):

·         как открывать swf в Windows — https://videouroki.net/view_post.php?id=108

·         как открывать swf в Linux — https://videouroki.net/view_post.php?id=123

Спасибо за внимание.

Высказывайте свои благодарности, замечания и предложения в комментариях. 

Алгебра логики: Конъюнкция, Дизъюнкция, Импликация, Эквивалентность

Лада Есакова, преподаватель информатики и математики, автор книги «Информатика. Полный курс подготовки к ЕГЭ».

Ну а теперь, ребята, самая «вкусная» тема теоретической части ЕГЭ – это булева алгебра, она же алгебра логики.

Сначала я хочу задать вам вопрос: для чего вообще придумали такой аппарат как булева алгебра, кроме того, чтобы мучить маленьких детей?

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

А кто такой компьютер? Если очень упрощенно, то это некоторое устройство, у которого на проводники подается либо не подается ток. Так вот в зависимости от того, есть ток или его нет на входящих проводниках, происходят определенные действия. Обозначим это 0 и 1: 0 – нет тока, 1 – есть ток. Вот именно в таких терминах нам и надо разговаривать с компьютером.

Рассматривая задачи, в том числе и 27, сложную задачу, считаем, что мы крутые программисты, если мы написали программный код на каком-то языке программирования. А компьютер нас поймет? Нет. Он знает только 0 и 1. Как же нам тогда до него достучаться?

После программистов высокого уровня в дело вступают Боги от программирования – это люди, которые пишут компиляторы, драйверы, операционные системы и которые уже непосредственно пытаются достучаться до компьютерного железа.

Что такое уже перевод программы в машинные коды? У меня нет цели рассказать, как это работает детально, я расскажу очень упрощенно, чтобы просто было понятно, для чего это нужно.

Если на один компьютерный разъем ток не поступил, а на другой поступил, мне нужно, чтобы получился 0. Я уже говорю терминами 0 и 1, нет тока или есть ток.

Если на оба разъема ток не поступил, тоже будет 0.

Если наоборот на первый поступил, а на второй не поступил, – то я тоже хочу 0. И в случае, если на оба разъема ток поступил, тогда пусть будет у меня 1

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

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

Можно посмотреть функцию от двух переменных и назвать ее f(1), функцию от трех переменных назовем f(2). Будут и другие функции, которые запишем в таблицы, переплету в многотомники и поставлю на полку. В случае, если мне нужно найти какую-то схему, достаю том, листаю страницы и нахожу то, что мне нужно.

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

Наверняка вы помните детсадовские игры, когда можно задавать только вопросы, на которые можно ответить «да» или «нет», и нужно что-то угадать. Наверное, у детей изначально подсознательно заложена склонность к двоичному коду.

Поэтому человек поставил в соответствие аппарат логических высказываний, и теперь за 0 мы принимаем ложь, за 1 – истину. И выяснилось, что если я такими операциями буду оперировать, то все операции от трех, четырех, пяти и т. д. переменных я могу свести к функциям от двух переменных. А к каким же функциям?

Первая функция – это функция отрицания. Ее можно обозначить несколькими способами — .

Посмотрим, как это работает.

Если у меня высказывание ложное (например, я показываю маркер, а говорю, что это апельсин)

А если я показываю маркер и говорю, что это не апельсин, то это истина

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

Следующая операция – это логическое ИЛИ, она же записывается как .

Покажу как это работает.

Функция от двух переменных работает следующим образом: например, я говорю, что это апельсин или это яблоко (то есть два ложных высказывания), в сумме получается 0; если я говорю, что это апельсин или это маркер, в целом я сказала правду, потому что одно из утверждений является истинным, то получается 1; если я говорю, что это маркер или это банан, опять же это правда; и наконец, если я говорю, что это маркер или это маркер, то есть два верных утверждения, это тоже правда

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

Далее логическое И — , &, знак умножения.

Посмотрим, как оно работает. Если я говорю два ложных утверждения – это яблоко и это банан – это ложь. Если я говорю, что это яблоко и это маркер – одно высказывание истина, но я же настаиваю на том, что и то, и другое должно выполняться, поэтому это ложь. Если я говорю, что это маркер и это банан, то это тоже ложь. И если я говорю два истинных утверждения – это маркер и это маркер – да, это правда

А умножение, потому что если 1 умножить на 0 или 0 на 1, то тоже будет 0, и только в случае умножения 1 на 1 получится 1.

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

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

Импликация – это логическое следование

Не будем зубрить таблицу истинности, а попробуем понять.

Если у меня есть ложное высказывание (например, 2 больше 5), могу ли я получить из него ложь разрешенными функциями? Легко! Добавлю к двум частям неравенства единицу и получу ложь: 2>5, 3>6.

То есть мы можем получить изо лжи ложь.
А могу ли я изо лживого высказывания получить истину? Тоже могу. -5 больше -3. Это ложь? Ложь. А применим-ка разрешенную операцию – возведение в квадрат. И запросто получим истину: -5>-3, 25>9. То есть изо лжи истину мы тоже можем получить.

А вот из истины получить ложь никак не получится. Из истины можно получить только истину.
Ну и из истины истину получить, конечно же, возможно.

То есть не всегда удобно приводить импликацию к другим функциям. Потому что это замечательная функция, которая 0 дает в единственном случае, когда из истины следует ложь.
И последняя функция, часто употребляемая, – это функция эквивалентности, обозначается логическим равенством или взаимными стрелками

Здесь все очень просто. 0 равен 0? Да. 0 = 1? Нет. 1 равна 0? Нет. 1 равна 1? Да.

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

Теперь приоритеты этих функций.

Если у нас не стоят никакие скобки, то все действия, как и в математике, имеют некоторый приоритет.

Вот такая cтрока без скобок

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

Следующий приоритет – умножение . То есть в нашем выражении у нас будет вот так

Третий приоритет у сложения , То есть вот так .

А дальше одинаковый приоритет имеют эквивалентность и импликация , слева на право. В нашем случае сначала выполнится сравнение на эквивалентность, а потом из этого импликация .

Все видео по информатике