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