ЮжныйСеверный поток3+4+5+
Крик души на немецком языке, Mein GOTT!
➜ главная Домика
Вы не залогинились! Ваш статус в этом ДоМиКе - гость.
В домике онлайн: 0, замечено за сутки: 0
вернуться на 12 стр. списка тем
+++- +++
Хотел бы пройти обучение с разбором следующих тем в рамках обучения по курсу Теоретическая информатика. Интересуют подготовка по следующим темам:
1. Введение в логику
2. Синтаксис и семантика логики высказываний,
2. исчисление естественного замыкания,
3. Сослагательные и дизъюнктивные нормальные формы
4. Введение в алгебру алгебраические структуры,
5. булевая алгебра
6. Введение в теорию формальных языков
7. Грамматика и формальные языки,
8. обычные языки,
9. контекстно-свободные языки,
10. иерархия Хомского,
11. приложения формальных языков
12. Введение в теорию предсказуемости и теорию сложности
13. Алгоритмически неразрешимые проблемы,
14. машины Тьюринга,
15. регистрационные машины,
16. теория сложности
17. Введение в проверку программ
18. Принципы анализа программ,
19. верификация по Хоаре
С уважением Владислав."
за 6-7 занятий
на немецком языке.
Erkl#228; ren Sie in eigenen Worten was das bedeutet.
Zeigen Sie mit dem Kalk#252; l NK des nat#252; rlichen Schlie#223; ens, dass c _ d aus a ^ b, b! c
beweisbar ist.
2) Nennen Sie die Axiome f#252; r die Aussagenlogik nach Frege und #321; ukasiewicz.
Zeigen Sie die G#252; ltigkeit der Formel p! (q! p) in NK.
3) Zeigen Sie die G#252; ltigkeit einer der beiden Formeln
a) (p! (q! r)) ! ((p! q) ! (p! r))
b) (:p! :q) ! (q! p)
in NK.
Тук-тук-тук! Кто в домике живет? Наверное, мышка-норушка, как всегда... Ну там еще зайчик-побегайчик, лисичка-сестричка... А вас тама, похоже, нет!
Почему? Да потому что на Мейби нужно сначала зарегистрироваться, а потом подать заявку на прописку в ДоМиКе.