Ответы на вопросы из коллекции "Мышление, вычисления и искусственный интеллект для школьников"

определяющие принадлежность к данному языку каждого слова этого языка и всегда завершающиеся при любых других входных словах
определяющие принадлежность к данному языку каждого слова этого языка и не всегда завершающиеся при любых других входных словах
позволяющие вывести в произвольном порядке все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206401

Вопрос есть в коллекциях

Укажите правильную взаимосвязь?

аксиома+правило вывода=теорема
теорема+правило вывода=аксиома
аксиома+теорема=правило вывода

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206400

Вопрос есть в коллекциях

В чем выражается противоречивость формальной системы?

для каждого утверждения Y нельзя вывести только либо Y, либо не Y
для каждого утверждения Y можно вывести только либо Y, либо не Y
для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
для каждого утверждения Y можно вывести одновременно утверждения Y и не Y

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206399

Вопрос есть в коллекциях

Является ли формальной системой набор определенных начальных аксиом и правил вывода?

нет
да

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206398

Вопрос есть в коллекциях

Что подается на вход исследуемой программе на последнем этапе доказательства нерешения проблемы остановки?

код произвольной программы
пустой вход
собственный код

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206397

Вопрос есть в коллекциях

Какое утверждение верно для формальной математической системы?

полной и непротиворечивой системы не существует
в любой системе существуют верные утверждения, недоказуемые в рамках этой системы
в любой системе не существуют верные утверждения, доказуемые в рамках этой системы
неполной и непротиворечивой системы не существует

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206396

Вопрос есть в коллекциях

Что дается на вход программе, предположительно решающей проблему остановки?

только выходные данные проверяемой программы
только входные данные проверяемой программы
входные данные и код проверяемой программы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206395

Вопрос есть в коллекциях

Если для каждого утверждения Y нельзя вывести только либо Y, либо не Y, это является признаком ...

неполноты формальной системы
противоречивости формальной системы
непротиворечивости формальной системы
полноты формальной системы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206394

Вопрос есть в коллекциях

Выберите отличие вычислимого от невычислимого языка:

программа вычислимого языка не завершается
программа вычислимого языка не всегда завершается
для любого вычислимого языка существует программа, идентифицирующая все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206393

Вопрос есть в коллекциях

Если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y, это является признаком ...

неполноты формальной системы
противоречивости формальной системы
полноты формальной системы
непротиворечивости формальной системы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206392

Вопрос есть в коллекциях

Язык, для которого существует программа, определяющая принадлежность к данному языку каждого слова этого языка и не всегда завершающаяся при других входных словах ...

называется вычислимым
называется перечислимым
называется полувычислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206391

Вопрос есть в коллекциях

Укажите несуществующую математическую формальную систему?

полная и непротиворечивая система
неполная и противоречивая система
полная и противоречивая система
неполная и непротиворечивая система

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206390

Вопрос есть в коллекциях

Как называется моделирование работы программы, написанной на другом языке?

модуляция
интерпретация
универсальность

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206389

Вопрос есть в коллекциях

Доказательство того, что множество всех возможных языков - больше, чем счетное, ...

существует
не существует, поскольку это неверное утверждение
не требуется, поскольку это утверждение является аксиомой

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206388

Вопрос есть в коллекциях

Какая точка зрения на проблему осмысления и его имитации допускает существование искусственного интеллекта?

любое вычисление и есть осмысление
осмысление возможно только у человека, имитация осмысления компьютером невозможна
осмысление возможно только у человека, у компьютера лишь имитация осмысления

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206387

Вопрос есть в коллекциях

Какие действия выполняет человек с входными данными в эксперименте "Китайская комната Серля"?

обрабатывает по определенному алгоритму и выводит во внешнюю среду результат
обрабатывает по определенному алгоритму и не выводит результат
выводит во внешнюю среду, не обрабатывая

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206386

Вопрос есть в коллекциях

Любая математическая неполная формальная система не может быть:

полной
непротиворечивой
противоречивой

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206385

Вопрос есть в коллекциях

Теорема Геделя доказывает, что полной и непротиворечивой математической формальной системы не существует?

да
нет

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206384

Вопрос есть в коллекциях

Если для каждого утверждения Y можно вывести только либо Y, либо не Y, это является признаком ...

противоречивости формальной системы
полноты формальной системы
непротиворечивости формальной системы
неполноты формальной системы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206383

Вопрос есть в коллекциях

Что представляет собой формальная система?

набор определенных начальных аксиом и правил вывода
набор определенных начальных аксиом
набор определенных теорем

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206382

Вопрос есть в коллекциях

Какое противоречие возникает при окончании доказательства нерешения проблемы остановки?

взаимоисключающая одновременность завершения и незавершения программы
"Словесный парадокс"
противоречие теории множеств

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206381

Вопрос есть в коллекциях

Язык, для которого существует программа, позволяющая вывести в произвольном порядке все слова этого языка ...

называется перечислимым
называется вычислимым
называется полувычислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206380

Вопрос есть в коллекциях

Полувычислимые языки - это языки, для которых существуют программы (алгоритмы), ...

определяющие принадлежность к данному языку каждого слова этого языка и всегда завершающиеся при любых других входных словах
определяющие принадлежность к данному языку каждого слова этого языка и не всегда завершающиеся при любых других входных словах
позволяющие вывести в произвольном порядке все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206379

Вопрос есть в коллекциях

Как "ведет" себя программа для любого вычислимого языка?

выводит все слова этого языка
всегда завершается
не всегда завершается

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206378

Вопрос есть в коллекциях

Компьютер, обладающий искусственным интеллектом должен ...

считать со скоростью человека
вести себя не так, как человек
вести себя также, как человек

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206377

Вопрос есть в коллекциях

В чем заключается смысл эксперимента "Китайская комната Серля"?

контраргумент к тесту Тьюринга
дополнение к тесту Тьюринга
доказательство точности результатов теста Тьюринга

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206376

Вопрос есть в коллекциях

В каком случае компьютер успешно прошел тест Тьюринга?

если его поведение не совпадает с поведением человека
если его поведение полностью совпадает с поведением человека
если его поведение частично совпадает с поведением человека

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206375

Вопрос есть в коллекциях

Любой полувычислимый язык является ...

невычислимым
перечислимым
вычислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206374

Вопрос есть в коллекциях

Что представляет собой интерпретация программы?

моделирование работы программы, написанной на другом языке
анализ возможности завершения программы
сравнение входных и выходных данных программы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206373

Вопрос есть в коллекциях

Укажите правильное утверждение?

слова состоят из цифр, алфавит состоит из слов
слова состоят из символов, алфавит состоит из слов
слова состоят из символов, язык состоит из слов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206372

Вопрос есть в коллекциях

Какое утверждение верно?

"Словесный парадокс" доказывает существование невычислимых языков
"Словесный парадокс" доказывает существование вычислимых языков
"Словесный парадокс" доказывает существование перечислимых языков

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206371

Вопрос есть в коллекциях

Программа, идентифицирующая все слова конечного языка ...

не существует
существует для всех конечных языков
существует не для всех конечных языков

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206370

Вопрос есть в коллекциях

Какое из данных выражений является по смыслу "словесным парадоксом"?

наименьшее натуральное число, которое можно описать менее чем 100 словами
наименьшее натуральное число, которое нельзя описать более чем 100 словами
наименьшее натуральное число, которое нельзя описать менее чем 100 словами
наибольшее натуральное число, которое нельзя описать более чем 100 словами

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206369

Вопрос есть в коллекциях

Понятие языка для некоторой программы:

набор, совокупность строк(слов), идентифицируемых данной программой
набор, совокупность символов, идентифицируемых данной программой
набор, совокупность цифр, идентифицируемых данной программой

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206368

Вопрос есть в коллекциях

С чем сравниваются ответы компьютера на вопросы теста Тьюринга?

с ответами одного компьютера
с ответами человека
с ответами большого количества компьютеров

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206367

Вопрос есть в коллекциях

Если программа всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...

полувычислимым
вычислимым
перечислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206366

Вопрос есть в коллекциях

Выберите отличие вычислимого от полувычислимого языка:

программа вычислимого языка не всегда завершается
программа вычислимого языка всегда завершается
программа вычислимого языка выводит все слова своего языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206365

Вопрос есть в коллекциях

Что доказывает "словесный парадокс"?

существование невычислимых языков
существование перечислимых языков
существование вычислимых языков

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206364

Вопрос есть в коллекциях

Возможность имитации осмысления показывает...

эксперимент "Китайская комната Серля"
тест Тьюринга
теорема Геделя

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206363

Вопрос есть в коллекциях

Куда выводит выходные данные человек в эксперименте "Китайская комната Серля"?

во внешнюю среду, откуда получает внешние данные
никуда не выводит
другому человеку в комнате

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206362

Вопрос есть в коллекциях

Решение алгоритма без понимания его смысла является ...

имитацией осмысления
осмыслением

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206361

Вопрос есть в коллекциях

Формальная система на основании аксиом и правил вывода создает:

новые теоремы
новые правила вывода
новые аксиомы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206360

Вопрос есть в коллекциях

Язык некоторой программы состоит в общем случае:

из цифр
из строк(слов)
из символов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206359

Вопрос есть в коллекциях

Предполагается ли при доказательстве нерешения проблемы остановки о существовании такой программы?

да
нет

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206358

Вопрос есть в коллекциях

В чем выражается непротиворечивость формальной системы?

для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
для каждого утверждения Y нельзя вывести только либо Y, либо не Y
для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
для каждого утверждения Y можно вывести только либо Y, либо не Y

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206357

Вопрос есть в коллекциях

Любая математическая противоречивая формальная система не может быть:

непротиворечивой
полной
неполной

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206356

Вопрос есть в коллекциях

Какое из данных выражений не является по смыслу "словесным парадоксом"?

наименьшее натуральное число, которое нельзя описать более чем 100 словами
наибольшее натуральное число, которое нельзя описать более чем 100 словами
наименьшее натуральное число, которое можно описать менее чем 100 словами

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206355

Вопрос есть в коллекциях

Вывод, что в любой математической формальной системе существуют верные утверждения, недоказуемые в рамках этой системы принадлежит:

теореме Геделя
теореме Ферма
тесту Тьюринга

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206354

Вопрос есть в коллекциях

Теорема Геделя доказывает, что:

неполной и непротиворечивой математической формальной системы не существует
неполная и непротиворечивая математическая формальная система существует
полной и непротиворечивой математической формальной системы не существует
полная и непротиворечивая математическая формальная система существует

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206353

Вопрос есть в коллекциях

Любая математическая полная формальная система не может быть:

противоречивой
неполной
непротиворечивой

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206352

Вопрос есть в коллекциях

В чем выражается полнота формальной системы?

для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
для каждого утверждения Y нельзя вывести только либо Y, либо не Y
для каждого утверждения Y можно вывести только либо Y, либо не Y

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206351

Вопрос есть в коллекциях

Существование невычислимых языков доказывает ...

тест Тьюринга
эксперимент "Китайская комната Серля"
"словесный парадокс"

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206350

Вопрос есть в коллекциях

Если программа выводит все слова своего языка, то такой язык называется ...

перечислимым
вычислимым
невычислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206349

Вопрос есть в коллекциях

Выберите отличие невычислимого от полувычислимого языка:

для невычислимого языка существует программа, идентифицирующая все слова этого языка
программа невычислимого языка не всегда завершается
для невычислимого языка не существует программы, идентифицирующей все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206348

Вопрос есть в коллекциях

Выберите отличие перечислимого от вычислимого языка:

программа перечислимого языка выводит все слова своего языка
программа перечислимого языка не выводит все слова своего языка
программа перечислимого языка всегда завершается

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206347

Вопрос есть в коллекциях

Выберите правильное утверждение?

число возможных языков меньше числа возможных программ
число возможных языков больше числа возможных программ
число возможных языков равно числу возможных программ

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206346

Вопрос есть в коллекциях

Что такое алфавит?

совокупность, набор символов из которых состоят слова языка
совокупность слов в языке
совокупность символов в строке

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206345

Вопрос есть в коллекциях

Любой перечислимый язык является ...

полувычислимым
невычислимым
вычислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206344

Вопрос есть в коллекциях

Как "ведет" себя программа для любого перечислимого языка?

всегда завершается
не всегда завершается
выводит все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206343

Вопрос есть в коллекциях

Как "ведет" себя программа для любого полувычислимого языка?

не всегда завершается
всегда завершается
выводит все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206342

Вопрос есть в коллекциях

Язык, для которого существует программа, определяющая принадлежность к данному языку каждого слова этого языка и всегда завершающаяся при других входных словах ...

называется вычислимым
называется полувычислимым
называется перечислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206341

Вопрос есть в коллекциях

Решением проблемы остановки будет являться:

остановка программы, обладающей искусственным интеллектом
создание программы, оценивающей возможность корректной остановки любой программы на основании анализа ее кода и входных данных
создание программы, останавливающей другие программы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206340

Вопрос есть в коллекциях

Что является алфавитом?

совокупность, набор символов из которых состоят слова языка
совокупность слов в языке
совокупность символов в строке

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206339

Вопрос есть в коллекциях

Для каких языков существуют программы, идентифицирующие все слова этого языка?

для всех конечных языков и части бесконечных языков
только для бесконечных языков
для всех бесконечных языков и части конечных языков
только для конечных языков

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206338

Вопрос есть в коллекциях

Какая точка зрения на проблему осмысления и его имитации ставит искусственный интеллект на одну ступень с человеком?

осмысление возможно только у человека, имитация осмысления компьютером невозможна
любое вычисление и есть осмысление
осмысление возможно только у человека, у компьютера лишь имитация осмысления

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206337

Вопрос есть в коллекциях

Как проводится тест Тьюринга?

поочередно задаются вопросы компьютеру и человеку
поочередно задаются вопросы двум разным компьютерам
поочередно задаются вопросы одному и другому человеку

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206336

Вопрос есть в коллекциях

Что является осмыслением математического алгоритма?

запоминание алгоритма
решение алгоритма без понимания его смысла
понимание смысла алгоритма и его составных элементов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206335

Вопрос есть в коллекциях

Какая задача ставится искусственному интеллекту в данном курсе?

расчет алгоритма
доказательство теорем
поиск решения функции

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206334

Вопрос есть в коллекциях

Программа, идентифицирующая все верные математические утверждения, ...?

не существует
существует

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206333

Вопрос есть в коллекциях

Перечислите основные точки зрения на проблему осмысления и имитации осмысления при создании искусственного интеллекта:

осмысление возможно только у человека, имитация осмысления компьютером невозможна
любое вычисление и есть осмысление
осмысление возможно только у человека, у компьютера лишь имитация осмысления

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206332

Вопрос есть в коллекциях

В чем заключается цель теста Тьюринга?

в определении у объекта тестирования наличия или отсутствия искусственного интеллекта
в определении у объекта тестирования уровня интеллекта
в определении у объекта тестирования наличия или отсутствия интеллекта

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206331

Вопрос есть в коллекциях

Доказательство возможности создания программы, решающей проблему остановки...

существует
не требуется, , поскольку это утверждение является аксиомой
не существует, поскольку это неверное утверждение

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206330

Вопрос есть в коллекциях

В чем выражается неполнота формальной системы?

для каждого утверждения Y нельзя вывести только либо Y, либо не Y
для каждого утверждения Y можно вывести только либо Y, либо не Y
для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
для каждого утверждения Y можно вывести одновременно утверждения Y и не Y

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206329

Вопрос есть в коллекциях

Что предполагается при доказательстве нерешения программы остановки?

программа, решающая проблему остановки, работает с пустым входом
программа, решающая проблему остановки, существует
программа, решающая проблему остановки, не существует

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206328

Вопрос есть в коллекциях

Набор определенных начальных аксиом и правил вывода является ...

искусственным интеллектом
неформальной системой
формальной системой

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206327

Вопрос есть в коллекциях

Какое утверждение правильное?

слова состоят из символов, язык состоит из слов
слова состоят из цифр, алфавит состоит из слов
слова состоят из символов, алфавит состоит из слов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206326

Вопрос есть в коллекциях

Перечислимые языки - это языки, для которых существуют программы (алгоритмы), ...

определяющие принадлежность к данному языку каждого слова этого языка и не всегда завершающиеся при любых других входных словах
определяющие принадлежность к данному языку каждого слова этого языка и всегда завершающиеся при любых других входных словах
позволяющие вывести в произвольном порядке все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206325

Вопрос есть в коллекциях

Что называется алфавитом некоторого языка?

совокупность всех символов, неиспользуемых в словах(строках) данного языка
совокупность всех символов, используемых в словах(строках) данного языка
совокупность части символов, используемых в словах(строках) данного языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206324

Вопрос есть в коллекциях

Что является имитацией осмысления математического алгоритма?

запоминание алгоритма
понимание смысла алгоритма и его составных элементов
решение алгоритма без понимания его смысла

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206323

Вопрос есть в коллекциях

Теоремы в формальных системах доказываются на основании:

аксиом и правил вывода
только правил вывода
только аксиом

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206322

Вопрос есть в коллекциях

Какой вывод делается в конце доказательства нерешения программы остановки?

существование такой программы недоказуемо в рамках данной формальной задачи
программа, решающая проблему остановки, существует
программа, решающая проблему остановки, не существует

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206321

Вопрос есть в коллекциях

Если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y, это является признаком ...

противоречивости формальной системы
полноты формальной системы
непротиворечивости формальной системы
неполноты формальной системы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206320

Вопрос есть в коллекциях

Кто задает вопросы компьютеру в процессе прохождения им теста Тьюринга?

большое количество компьютеров
большое количество людей
один человек
один компьютер

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206319

Вопрос есть в коллекциях

Что демонстрирует человек в эксперименте "Китайская комната Серля"?

осмысление
имитацию осмысления

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206318

Вопрос есть в коллекциях

Какая точка зрения на проблему осмысления и имитации осмысления при создании искусственного интеллекта считается единственно верной?

любое вычисление и есть осмысление
осмысление возможно только у человека, имитация осмысления компьютером невозможна
осмысление возможно только у человека, у компьютера лишь имитация осмысления
ни одна точка зрения не является единственно верной

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206317

Вопрос есть в коллекциях

Утверждение, что полной и непротиворечивой математической формальной системы не существует доказывает:

тест Тьюринга
теорема Ферма
теорема Геделя

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206316

Вопрос есть в коллекциях

Какая точка зрения на проблему осмысления и его имитации не допускает существование искусственного интеллекта?

любое вычисление и есть осмысление
осмысление возможно только у человека, у компьютера лишь имитация осмысления
осмысление возможно только у человека, имитация осмысления компьютером невозможна

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206315

Вопрос есть в коллекциях

Выберите отличие невычислимого от перечислимого языка:

программа невычислимого языка всегда завершается
для невычислимого языка не существует программы, идентифицирующей все слова этого языка
для невычислимого языка существует программа, идентифицирующая все слова этого языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206314

Вопрос есть в коллекциях

Любая математическая непротиворечивая формальная система не может быть:

неполной
полной
противоречивой

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206313

Вопрос есть в коллекциях

Эксперимент "Китайская комната Серля" доказывает, что система может:

обладать "знанием" и показывать его внешней среде
обладать "знанием", но не показывать его внешней среде
не обладать "знанием", но имитировать это "знание" внешней среде

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206312

Вопрос есть в коллекциях

Программа, идентифицирующая все слова бесконечного языка ...

существует для всех бесконечных языков
существует не для всех бесконечных языков
не существует

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206311

Вопрос есть в коллекциях

Доказательство того, что множество всех возможных языков - счетное, ...

не требуется, поскольку это утверждение является аксиомой
не существует, поскольку это неверное утверждение
существует

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206310

Вопрос есть в коллекциях

Вывод теоремы Геделя:

в любой математической формальной системе существуют верные утверждения, недоказуемые в рамках этой системы
в любой математической формальной системе не существуют верные утверждения доказуемые в рамках этой системы
в любой математической формальной системе существуют верные утверждения, доказуемые в рамках этой системы
в любой математической формальной системе не существуют верные утверждения, недоказуемые в рамках этой системы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206309

Вопрос есть в коллекциях

Если программа не всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...

перечислимым
полувычислимым
вычислимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206308

Вопрос есть в коллекциях

Результаты теста Тьюринга рассчитываются на основании ответов компьютера на вопросы ...

большого количества людей
нескольких человек
одного человека

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206307

Вопрос есть в коллекциях

В чем заключается универсальность программ?

все программы написаны по единому алгоритму
существуют программы, моделирующие работу программ, написанных на других языках
все языки программ сходны между собой

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1206306

Вопрос есть в коллекциях

Какое утверждение верно для формальной системы?

признак полноты системы - если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
признак полноты системы - если для каждого утверждения Y можно вывести только либо Y, либо не Y
признак полноты системы - если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
признак полноты системы - если для каждого утверждения Y нельзя вывести только либо Y, либо не Y

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Сбросить фильтрОшибка?

Показать быстрые кнопки

Сбросить настройки

Отметить/снять все

Не нашли ответа на свой вопрос?

Добавить ответ

Ведь так и так найдёте ответ для своей учёбы 😉

Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.

Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.

Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.

Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.

Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.

Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.

Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.

Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.

Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.

Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.

Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.

Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.