[Проблема с подключением.]

Народ, помогите разобраться с проблемой.

В общем интернетом я питаюсь со шнура, который втыкается в сетевую карту. Шнур идёт с крыши, как я понимаю это оптоволоконное соединение.

Проблема в том, что когда я включаю компьютер, у меня в подключении написано "Сетевой кабель не подключен", хотя он подключен. Лишь

после нескольких перезагрузок и после определённого времени(минут 15) у меня всё-таки появляется соединение. Вызывал техподдержку провайдера. Пришли

мои ровесники(20 лет) и сказали, что мол типо это всё вирусы, переустанови систему. Ну я переустановил, а проблема осталась. Насчёт провайдера, то у них вроже всё норм,

когда приходили они, проверяли со своего бука, у них всё работало. Может кто сталкивался? Система: Windows vista 64, ноутбук: ASUS k50ab.

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

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

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