Ответы на тесты по дисциплине Дискретная математика 64



Авторы специализируются на тестах по любым дисциплинам! Средний балл по тестам 4,6.
Любые вопросы по дистанционному обучению. Тесты, письменные работы, сессия под ключ.
Известный интернет сайт, помощь по любым учебным вопросам - от теста до дипломной работы. Личный менеджер.
Крупная биржа студенческих работ. Закажи напрямую у преподавателя. Низкие цены, стена заказов.
Биржа студенческих работ. Потребуется самостоятельная выгрузка работ.

Формальные теории
Вопрос:» Что представляет собой формальная теория?»
Множество формул некоторого формального языка.
Множество всех формул некоторого формального языка с выделенным подмножеством истинных формул. (Верно)
Множество формул некоторого формального языка, являющихся истинными.
Множество символов, образующих язык формальной теории.

Вопрос:» В чем состоят особенности аксиоматической теории?»
Это формальная теория, представляющая собой множество аксиом.
Это формальная теория, в которой не все формулы истинны.
Это формальная теория, в которой выделено подмножество истинных формул и указаны связи между ними.
Это формальная теория, в которой выделено подмножество истинных формул и указано конечное множество отношений между формулами. (Верно)

Вопрос:» Что называется теоремой формальной теории?»
Утверждение, истинность которого может быть доказана с помощью языка теории.
Такая формула А теории, что существует доказательство, в котором последней формулой является формула А. (Верно)
Любая истинная формула формальной теории.
Формула, которая может быть получена из аксиом с помощью одного из правил вывода.

Вопрос:» Что называется интерпретацией формальной теории в содержательную?»
Установление соответствия между формулами формальной теории и утверждениями содержательной теории. (Верно)
Установление правил вывода, по которым из формул формальной теории можно получить утверждения содержательной теории.
Установление правил вывода, по которым из утверждений содержательной теории можно получить формулы формальной теории.
Присоединение к аксиомам формальной теории истинных утверждений содержательной теории.

Вопрос:» Какая интерпретация называется правильной?»
Такая, что каждому истинному утверждению содержательной теории соответствует теорема формальной теории.
Такая, что каждой теореме формальной теории соответствует истинное утверждение содержательной теории. (Верно)
Такая, что существует взаимно однозначное соответствие между теоремами формальной теории и истинными утверждениями содержательной теории.

 

Похожие материалы