Добавил: Иван
Дата добавления: 18.08.2016
Просмотров: 879
Голосов: 0
Рейтинг теста:
| №1 |
а) существует алгоритм, который за конечное число шагов позволяет установить, выводима в исчислении произвольная формула F или нет |
|
| №2 |
б) не все его формулы доказуемы |
|
| №3 |
в) существует алгоритм, который за конечное число шагов позволяет установить, общезначима его произвольная формула F или нет |
|
| №4 |
г) все его формулы доказуемы |
|
| №5 |
д) существует алгоритм, который за конечное число шагов позволяет установить, выполнима в исчислении произвольная формула F или нет |
|
| №6 |
е) все его формулы недоказуемы |
|
Результаты голосования:
Правильный ответ: