Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
Задание. Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых
Составить программу машины Тьюринга, которая заданное слово P вх преобразует в слово P вых.
Варианты индивидуальных заданий
| № | P вх | P вых | № | P вх | P вых | № | P вх | P вых | № | P вх | P вых | № | P вх | P вых | ||||||||||||||||
Вопросы к экзамену по курсу “Математическая логика” (2 курс)
1. Высказывания. Операции над высказываниями. Алгебра высказываний.
2. Формулы логики высказываний. Равносильность формул логики высказываний.
3. Тождественно-истинные и тождественно-ложные формулы. Проблема разрешимости. Необходимый и достаточный признак того, что формула логики высказываний является тавтологией.
4. Формализация рассуждений в логике высказываний. Правильные рассуждения. Критерий правильности рассуждения.
5. Предикаты. Кванторы.
6. Формулы логики предикатов.
7. Равносильность формул логики предикатов.
8. Приведенные формулы логики предикатов.
9. Нормальные формулы логики предикатов.
10. Интерпретация формулы логики предикатов.
11. Выражение суждения в виде формулы логики предикатов. Запись необходимого и достаточного условий.
12. Выполнимость, общезначимость формул логики предикатов. Теорема Черча.
13. Аксиоматические теории. Понятие вывода.
14. Исчисление высказываний. Аксиомы. Правила вывода.
15. Исчисление предикатов. Аксиомы. Правила вывода.
16. Автоматическое доказательство теорем. Метод резолюций.
17. Нечеткие множества. Функция принадлежности.
18. Операции на нечетких множествах.
19. Нечеткая логика. Нечеткие высказывания.
20. Нечеткая логика. Нечеткие предикаты.
21. Понятие алгоритма. Основные требования к алгоритмам.
22. Вычислительная сложность алгоритмов.
23. Классы задач P и NP.
24. Машина Тьюринга.
Date: 2016-01-20; view: 1073; Нарушение авторских прав; Помощь в написании работы --> СЮДА... |