Логика

Тематический план

• Общее
  

  Общее

  • Введение Лекция
• Логические операции.
  

  Логические операции.

  • Алгебра высказываний. Конъюнкция, дизъюнкция, инверсия. Лекция
  • Тест 1. Проверка истинности логического выражения. Дизъюнкция, конъюнкция, инверсия.

    Ограничено Недоступно, пока не выполнено: Элемент курса Алгебра высказываний. Конъюнкция, дизъюнкция, инверсия. должен быть отмечен как выполненный
  • Алгебра высказываний. Импликация, эквивалентность Лекция
  • Тест 2. Проверка истинности логического выражения. Импликация, эквиваленция.
  • Упражнение 1. Тест
  • Упражнение 2. Тест
• Логические выражения и таблицы истинности.
  

  Логические выражения и таблицы истинности.

  • Построение таблиц истинности. Лекция
  • Тест 3. Построение таблиц истинности выражений, содержащих инверсию, конъюнкцию, дизъюнкцию.

    Ограничено Недоступно, пока не выполнено: Элемент курса Построение таблиц истинности. должен быть отмечен как выполненный
  • Тест 4. Построение таблиц истинности выражений, содержащих импликацию и эквиваленцию.

    Ограничено Недоступно, пока не выполнено: Элемент курса Тест 3. Построение таблиц истинности выражений, содержащих инверсию, конъюнкцию, дизъюнкцию. должен быть отмечен как выполненный
  • Анализ таблиц истинности логической функции. Лекция
  • Тест 5. Анализ таблиц истинности логической функции.

    Ограничено Недоступно, пока не выполнено: Элемент курса Анализ таблиц истинности логической функции. должен быть отмечен как выполненный
  • Логические законы и правила преобразования логических выражений Лекция
  • Тест 6. Сокращение логических выражений.
  • Тест 7. Запросы к поисковым системам
  • Тест 8. Множества.