Наибольшее применение для описания языков программирования имеют грамматики типа:
(*ответ*) 2

Величайшее применение для описания языков программирования имеют грамматики типа:
(*ответ*) 2
nbsp;0
nbsp;1
nbsp;3
Объекты формальной системы состоят из неразделимых частей:
(*ответ*) правильно
nbsp;неверно
Семантика формальной системы задается ее интерпретацией:
(*ответ*) да
nbsp;нет
Аксиомы чистого исчисления тождественно верны в любой предметной области:
(*ответ*) да
nbsp;нет
Теория величается семантически непротиворечивой, если ни одна из ее теорем не является противоречивой:
(*ответ*) да
nbsp;нет
Формальные системы, порождающие разные классы символьных выражений, называются формальными грамматиками:
(*ответ*) верно
nbsp;неверно
Формальный язык, использующий понятия quot;вероятноquot;, quot;нужноquot; в качестве кванторов, величается алетической логикой:
(*ответ*) верно
nbsp;ошибочно
Формула именуется общезначимой, если она подлинна в хоть какой интерпретации:
(*ответ*) правильно
nbsp;ошибочно
Чистым исчислением предикатов называется исчисление второго порядка:
(*ответ*) неверно
nbsp;правильно
Автоэпистемические логики формализуют интроспективные и образцово мудрые рассуждения:
(*ответ*) да
nbsp;нет
Алетическая логика - формальный язык, использующий понятие quot;возможноquot; и quot;нужноquot; в качестве кванторов:
(*ответ*) да
nbsp;нет
Возможность и необходимость - алетические модальности (модальности вероятного):
(*ответ*) да
nbsp;нет
Все модальности изучаются вместе и именуются модальными логиками:
(*ответ*) да
nbsp;нет
Вывод от приватного к общему - метод:
(*ответ*) индукции
nbsp;абдукции
nbsp;редукции
nbsp;дедукции
Вывод является правдоподобным, если множество фальсификаторов не найдено, но потенциально оно может быть не пусто:
(*ответ*) да
nbsp;нет
Выводы, в которых оценивается ступень истинности заключения, величаются:
(*ответ*) приближенными
nbsp;достоверными
nbsp;недостоверными
nbsp;правдоподобными
Выявление сходства и различия - главная познавательная процедура, с помощью которой человек познает мир:
(*ответ*) да
nbsp;нет
Дедуктивный достоверный логический вывод не является монотонным:
(*ответ*) нет
nbsp;да

Задать свой вопрос

---