Лекция 11 "ТС и СА"
Authored by Анастасия Бабкина
Education
University
Used 2+ times
AI Actions
Add similar questions
Adjust reading levels
Convert to real-world scenario
Translate activity
More...
Content View
Student View
10 questions
Show all answers
1.
MULTIPLE CHOICE QUESTION
20 sec • 1 pt
Аксиоматика - это формальная логика?
да
нет
2.
MULTIPLE CHOICE QUESTION
20 sec • 1 pt
Формальной теорией называется множество всех продукционных правил формальной системы?
да
нет
3.
MULTIPLE CHOICE QUESTION
20 sec • 1 pt
Интерпретация - это распространение исходных положений формальной системы на реальный мир?
да
нет
4.
MULTIPLE CHOICE QUESTION
20 sec • 1 pt
Существует 5 вариантов взаимоотношений между доказательством и значением истинности?
да
нет
5.
MULTIPLE CHOICE QUESTION
20 sec • 1 pt
При интерпретации одной формальной системы в другую необходимо задавать третью формальную систему?
да
нет
6.
MULTIPLE CHOICE QUESTION
20 sec • 1 pt
Доказательство - это граф-дерево?
да
нет
7.
MULTIPLE CHOICE QUESTION
20 sec • 1 pt
Терминальные вершины графа-дерева - это продукционные правила?
да
нет
Access all questions and much more by creating a free account
Create resources
Host any resource
Get auto-graded reports
Continue with Google
Continue with Email
Continue with Classlink
Continue with Clever
or continue with
Microsoft
%20(1).png)
Apple
Others
Already have an account?
