Jump to content
Sign in to follow this  
prowoke

Скоро экзамен

Recommended Posts

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

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. Рекурсивные функции. (Тезис чёрча)

Share this post


Link to post
Share on other sites

r0g3r писал(а) Thu, 17 June 2010 19:58

Legalizer прав, это всё гуглится на раз-два. Что за молодёжь пошла?

Ответ тут:

prowoke писал(а) Thu, 17 June 2010

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

и с поиском плоховато...

Share this post


Link to post
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

Loading...
Sign in to follow this  

×
×
  • Create New...