Лекция 11 "ТС и СА"

Лекция 11 "ТС и СА"

University

10 Qs

quiz-placeholder

Similar activities

Бренды: логотипы и немного истории

Бренды: логотипы и немного истории

University

10 Qs

Unity 2 для всех!

Unity 2 для всех!

6th Grade - University

10 Qs

Government-to-citizen 1

Government-to-citizen 1

University

12 Qs

Кейс от SIMETRA

Кейс от SIMETRA

University

10 Qs

Демография

Демография

University

15 Qs

Маркетинговое исследование рынка труда

Маркетинговое исследование рынка труда

University

9 Qs

Основы национальной речевой культуры

Основы национальной речевой культуры

University

10 Qs

Сингулярная точка эволюции?

Сингулярная точка эволюции?

11th Grade - University

12 Qs

Лекция 11 "ТС и СА"

Лекция 11 "ТС и СА"

Assessment

Quiz

Education

University

Hard

Created by

Анастасия Бабкина

Used 2+ times

FREE Resource

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

Терминальные вершины графа-дерева - это продукционные правила?

да

нет

Create a free account and access millions of resources

Create resources
Host any resource
Get auto-graded reports
or continue with
Microsoft
Apple
Others
By signing up, you agree to our Terms of Service & Privacy Policy
Already have an account?