matlog / Вопросы экзамен

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. Определение n-местного предиката.

27. Определение конъюнкции двух предикатов.

28. Определение дизъюнкции двух предикатов.

29. Кванторы всеобщности и существования.

30. Определение свободной и связной переменной.

31. Символика логики предикатов.

32. Определение формулы логики предикатов.

33. Равносильность формул логики предикатов «в данной интерпретации».

34. Равносильность формул логики предикатов «на области М».

35. Законы равносильности в логике предикатов.

36. Определение предваренной нормальной формы.

37. Алгоритм получения ПНФ.

38. Определение БФ. Двойственность формул булевой алгебры.

39. Пять классов БФ. Полные системы БФ. Теорема Поста.

40. Полиномы Жегалкина.

41. Схемы из функциональных элементов.

42. Понятие алгоритма.

43. Характерные черты алгоритма. Формализация понятия алгоритма.

44. Вычисление функций на машине Тьюринга. Тезис Тьюринга.

45. Универсальная машина Тьюринга.