Jump to content

prowoke

Members
  • Content Count

    2
  • Joined

  • Last visited

    Never
  1. Народ, помогите разобраться с проблемой. В общем интернетом я питаюсь со шнура, который втыкается в сетевую карту. Шнур идёт с крыши, как я понимаю это оптоволоконное соединение. Проблема в том, что когда я включаю компьютер, у меня в подключении написано "Сетевой кабель не подключен", хотя он подключен. Лишь после нескольких перезагрузок и после определённого времени(минут 15) у меня всё-таки появляется соединение. Вызывал техподдержку провайдера. Пришли мои ровесники(20 лет) и сказали, что мол типо это всё вирусы, переустанови систему. Ну я переустановил, а проблема осталась. Насчёт провайдера, то у них вроже всё норм, когда приходили они, проверяли со своего бука, у них всё работало. Может кто сталкивался? Система: Windows vista 64, ноутбук: ASUS k50ab.
  2. Народ, у меня экзамен через неделю по математической логике, а готов я плоховато. В интернете не могу найти информацию, только обрывки какие то. Может кто сталкивался с этими темами и знает где в интернете найти информацию. Вот список вопросов, если сможете, то помогите, пожайлуста. 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. Рекурсивные функции. (Тезис чёрча)
×
×
  • Create New...