Поурочные цели учебной дисциплины III этапа - Введение в логику

1. Язык логики высказываний

Цель: Освоить общее знание о формальной теории, основным объектом которой служит понятие логического высказывания.

2. Высказывания.

Цель: Иметь знания об высказывании (оформленная в речи законченная мысль, смысл которой зависит от конкретной или воображаемой ситуации).

3. Истинность и ложность высказываний.

Цель: Иметь представление о понятиях "истинность" и "ложность".

4. Простые и сложные высказывания.

Цель: Умение отличить простые высказывания от сложных

5. Формы высказываний.

Цель: Знать формы высказываний

6. Алфавит языка логики высказываний.

Цель: Иметь представление об алфавите языка логики высказываний

7. Основные логические союзы (знаки).

Цель: Знать основные логические союзы

8. Определение формулы логики высказываний.

Цель: Умение определять формулы логики высказываний

9. Семантика логических союзов

Цель: Иметь знания о семантике логических союзов

10. Схемы синтаксического разбора высказываний на естественном языке и "деревья формул" логики высказываний.

Цель: Освоить знания о схемах синтаксического разбора высказываний на естественном языке и "деревья формул" логики высказываний.

11. Табличное определение логических союзов.

Цель: Иметь представление об определении логических союзов

12. Различия между логическими союзами и грамматическими союзами.

Цель: Умение отличить логические союзы от грамматических союзов.

13. Трудности перевода с естественного языка на язык логики высказываний.

Цель: Иметь представление о трудностях перевода с естественного языка на язык логики высказываний.

14. Таблицы формул логики высказываний.

Цель: Уметь структурировать формулы логики высказываний

15. Построение таблицы для формулы логики высказываний.

Цель: Умение построить таблицы для формулы логики высказываний.

16. Равносильные формулы.

Цель: Иметь представление о равносильных формулах.

17. Основные равносильности логики высказываний.

Цель: Иметь представление о равносильности логики высказываний.

18. Правило равносильной замены.

Цель: Освоить знания о правиле равносильной замены

19. Полные системы логических знаков

Цель: Иметь представление о системах логических знаков

20. Понятие о свойстве синтаксической полноты формальной системы.

Цель: Освоить знания о свойстве синтаксической полноты формальной системы

21. Возможные одноместные и двухместные логические союзы.

Цель: Иметь знания об одноместных и двухместных логических союзах.

22. Примеры трехместных логических союзов.

Цель: Иметь представление о трехместных логических союзах

23. Понятие логической (булевой) функции.

Цель: Иметь знание о логической (булевой) функции

24. Теорема о синтаксической полноте.

Цель: Освоить знания по теореме о синтаксической полноте

25. Закон двойственности.

Цель: Знать закон двойственности

26. Тождественно-истинные и тождественно-ложные формулы.

Цель: Умение отличить тождественно-истинные от тождественно-ложных формулы

27. Определения тождественно-истинной и тождественно-ложной формул.

Цель: Умение определить тождественно-истинной и тождественно-ложной формул.

28. Теорема о транзитивности отношения тождественно-истинности.

Цель: Знать теорему о транзитивности отношения тождественно-истинности.

29. Выполнимые формулы.

Цель: Иметь представление о выполнимых формулах

30. Понятие о нормальных формах формул логики высказываний

Цель: Освоить знания о нормальных формах формул логики высказываний

31. Определение нормальной формы формулы логики высказываний.

Цель: Освоить знания о нормальных формах формул логики высказываний

32. Процедура приведения формулы к нормальной форме.

Цель: Выработка навыка приведения формулы к нормальной форме

33. Проблема разрешения в логике высказываний.

Цель: Иметь знания о проблемах разрешения в логике высказываний

34. Разрешающая процедура.

Цель: Иметь представление об разрешающей процедуре

35. Конъюнктивная нормальная форма

Цель: Иметь знания о конъюнктивной нормальной форме

36. Элементарная дизъюнкция.

Цель: Иметь знания об элементарной дизъюнкции.

37. Определение конъюнктивной нормальной формы (КНФ) формулы логики высказываний.

Цель: Выработка навыка определения конъюнктивной нормальной формы (КНФ) формулы логики высказываний.

38. Процедура приведения формулы к КНФ.

Цель: Умение приводить формулы к КНФ

39. Определение совершенной конъюнктивной нормальной формы (СКНФ).

Цель: Иметь представление об определении совершенной конъюнктивной нормальной формы (СКНФ).

40. Процедура приведения формулы к СКНФ.

Цель: Умение приводить формулы к СКНФ

41. Уточнение понятия логического следования на языке логики высказываний.

Цель: Иметь навык уточнения понятия логического следования на языке логики высказываний.

42. Использование процедуры приведения формулы к СКНФ для отыскания логических следствий из данных посылок.

Цель: Умение использовать процедуры приведения формулы к СКНФ для отыскания логических следствий из данных посылок.

43. Сокращенная конъюнктивная нормальная форма и использование ее для нахождения наиболее сильных следствий.

Цель: Иметь знания о сокращенной конъюнктивной нормальной форме и использование ее для нахождения наиболее сильных следствий

44. Дизъюнктивная нормальная форма

Цель: Иметь представление о дизъюнктивной нормальной форме

45. Элементарная конъюнкция.

Цель: Иметь знания об элементарной конъюнкции.

46. Определение дизъюнктивной нормальной формы (ДНФ) формулы логики высказываний.

Цель: Выработка навыка определения дизъюнктивной нормальной формы (ДНФ) формулы логики высказываний.

47. Процедура приведения формулы к ДНФ.

Цель: Умение приводить формулы к ДНФ

48. Понятие гипотезы формулы.

Цель: Иметь представление о гипотезе формулы.

49. Определение совершенной дизъюнктивной нормальной формы (СДНФ) и ее использование для систематического обзора гипотез данной формулы.

Цель: Иметь знания об определение совершенной дизъюнктивной нормальной формы (СДНФ) и ее использование для систематического обзора гипотез данной формулы.

50. Сокращенная дизъюнктивная нормальная форма и выделение простых гипотез формулы.

Цель: Иметь знания о сокращенной дизъюнктивной нормальной форме и выделение простых гипотез формулы.

Похожие статьи




Поурочные цели учебной дисциплины III этапа - Введение в логику

Предыдущая | Следующая