Введение в логику

: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 990.00 руб. | Длительность: 14 дней
В курсе проводится краткий исторический обзор логики как науки, рассматривается дедуктивный и индуктивный методы вывода и их применение в повседневной жизни.
Достаточно подробно рассматриваются базисные математические понятия – множества, отношения, функции. Наряду с традиционными для школьного курса понятиями логики высказываний – бинарных логических функций, построения таблиц истинности, законов логики высказываний, рассматриваются и более сложные вопросы, такие как, например, конъюнктивные и дизъюнктивные нормальные формы записи логических формул. Изложение теоретического материала сопровождается рассмотрением конкретных логических задач.

План занятий

ЗанятиеЗаголовок <<Дата изучения
-
Лекция 1
-
Тест 1
18 минут
-
Лекция 2
-
Тест 2
21 минута
-
Лекция 3
-
Лекция 4
-
Тест 3
21 минута
-
Лекция 5
Множества
Оглавление
    -
    Лекция 6
    -
    Тест 4
    21 минута
    -
    Лекция 7
    Отношения
    Оглавление
      -
      Лекция 8
      -
      Тест 5
      21 минута
      -
      Лекция 9
      -
      Тест 6
      18 минут
      -
      Лекция 10
      Функции
      Оглавление
        -
        Тест 7
        18 минут
        -
        Лекция 11
        -
        Лекция 12
        Об импликации
        Оглавление
          -
          Лекция 13
          Логика предикатов
          Оглавление
            -
            Тест 8
            18 минут
            -
            Контрольная работа 1
            30 минут
            -
            Лекция 14
            Логические функции
            Будем рассматривать логические функции, аргументы которых принимают два значения – 0 или 1. Здесь и далее будем использовать значение 0, интерпретируемое как ложь, и значение 1, интерпретируемое как истина. Сама функция также имеет только два значения – 0 или 1.
            Оглавление
              -
              Лекция 15
              -
              Лекция 16
              -
              Тест 9
              18 минут
              -
              Лекция 17
              -
              Тест 10
              18 минут
              -
              Лекция 18
              -
              Лекция 19
              -
              Лекция 20
              О базисе
              Оглавление
                -
                Тест 11
                15 минут
                -
                Лекция 21
                Законы логики
                Оглавление
                  -
                  Тест 12
                  18 минут
                  -
                  Лекция 22
                  Чьи это части?
                  В этом уроке по фрагменту таблицы истинности будем определять, какой функции он может принадлежать.
                  Оглавление
                    -
                    Тест 13
                    18 минут
                    -
                    Лекция 23
                    Какие у Вас корни? Часть 1
                    В этом уроке будем заниматься решением логических уравнений. Нас будет интересовать, сколько решений имеет уравнение, какие у него корни.
                    Оглавление
                      -
                      Тест 14
                      18 минут
                      -
                      Лекция 24
                      Какие у Вас корни? Часть 2
                      В этом уроке продолжим поиск решения логических уравнений. Нас в первую очередь будет интересовать решение системы уравнений.
                      Оглавление
                        -
                        Тест 15
                        18 минут
                        -
                        Лекция 25
                        Формально или неформально? Часть 1
                        В этом уроке будем заниматься решением логических задач, имеющих содержательную формулировку. Рассмотрим простые задачи, поддающиеся относительно простой формализации в рамках логики высказываний.
                        Оглавление
                          -
                          Лекция 26
                          Формально или неформально? Часть 2
                          В этом уроке продолжим рассмотрение логических задач, имеющих содержательную формулировку. Рассмотрим задачи, не поддающиеся простой формализации в рамках логики высказываний, но допускающие построение логического вывода в рамках обычной логики.
                          Оглавление
                            -
                            Контрольная работа 2
                            30 минут
                            -
                            5 часов
                            -