Матем лог и теор алг



Результаты поиска для : 4293.Экз.01;ЭЭ.01;1



Для поиска нужного вопроса нажмите ctrl+f



Множество простых чисел обладает свойствами   -> рекурсивности   -> перечислимости   замкнутости   ограниченностиГеделевский номер функции e41, равен ______ (ответ укажите цифрами)   -> 23Укажите соответствие между понятиями, характеризующими теорию формальных систем и их содержание   -> аксиоматический метод <-> способ построения научной теории, когда в основу кладутся исходные положения, называемые аксиомами   -> аксиома <-> исходное положение научной теории, принимаемое без доказательств   -> интерпретация теории <-> установление соответствия между высказываниями теории и содержательными высказываниями предметной области   -> представление системы <-> способ рассмотрения объектов формальной системы как конкретных объектов при условии, что конкретные объекты сохраняют структуру формальныхСистема аксиом Пеано содержит ______ аксиом (ответ дайте цифрой)   -> 5К термам лингвистической переменной предъявляется лишь требование   -> упорядоченности   не отрицательности   не противоречивости   истинностиЕсли высота нечеткого множества равна 1, то оно называется   -> нормальным   субнормальным   одиночным   четкимЕсли f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция g{х, z) равна   -> e31(x, y, z) + e33(x, y, z)    x +y   S(x) + S(y)   0Теория алгоритмов является частью   -> математической логики   теории чисел   математического анализа   численных методовКомбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется _____________________ формой   -> высказывательной   именной   иносказательной   абстрактнойВременные или пространственные характеристики процесса вычисления называются   -> вычислительными ресурсами   интерпретацией системы   представлением системы   классом сложностиВ состав конечного автомата входят следующие элементы   -> читающая головка   -> лента, разбитая на ячейки   угадывающий модуль   датчик случайных чиселАтомарная формула или ее отрицание называется   -> литерой   предикатом   дизъюнктом   конъюнктомЗнак, который характеризуется правилами его употребления, – это   -> переменная   постоянная   предикат   константаВыражение qij Пql является ___________ машины Тьюринга   -> командой   элементом алфавита   конечной конфигурацией   исходной конфигурациейМатематический термин, используемый для обозначения какой–либо связи между предметами или понятиями, называется   -> отношением   суждением   выражением   выводомПримером логического парадокса может служить парадокс   -> Рассела   лжеца    Берри   ЛейбницаУстановление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется   -> интерпретацией теории   классом функторов   порождающей грамматикой   эффективной процедуройЯзык логики предикатов является расширением языка логики   -> высказываний   математической   нечеткой   формальнойМножество истинных утверждений   -> не выводится из системы аксиом   выводится из системы аксиом   носит название системы аксиом   перечисляет все аксиомы системыИнтерес к логике оживился в ______ столетии под влиянием открытия неевклидовых геометрий (ответ укажите римскими цифрами)   -> XIXМножество аксиом вместе с явным определением доказательства составляют   -> формальную систему   машину Тьюринга   теорию алгоритмов   рекурсивное множествоОсмысленные конечные последовательности символов из алфавита L называются   -> утверждениями   командами   словарем   программойУстановите соответствие между п.р.ф. и ее геделевским номером:   -> 0(x) <-> 2   -> S(x) <-> 3   -> e11(x) <-> 5   -> e21(x, y) <-> 7Выражение «множество А содержится в множестве В» записывается как   -> AB   AB   AB   А^ВП.р.ф. S2 (х) = х + 2 вычисляется по формуле   -> S(S(x))   S2(x)   S{х+2)   S(х+3)Функция называется частично рекурсивной, если она либо принадлежит к числу исходных п.р.ф., либо может быть получена из них с помощью операторов   -> подстановки   -> рекурсии   -> минимизации   обращенияЧисло символов, которое может находиться в ячейке ленты конечного автомата, равно _____ (ответ укажите цифрой)   -> 1Способ обозначения определенного понятия, предмета, свойства, используемый для присвоения, хранения, обработки и передачи информации, называется   -> языком   словом   списком   выражениемВо внутренних ячейках матрицы переходов записывается   -> состояние, в которое переходит автомат   состояние, из которого переходит автомат   начальные состояния автомата   конечные состояния автоматаЛогику, являющуюся многозначной логикой, позволяющей определить промежуточные значения для таких общепринятых оценок, как да/нет, истинно/ложно, черное/белое, называют   -> нечеткой   модальной   математической   логикой высказыванийЕсли f(x,y,z) == z • х + у и рекурсия проводится по переменной z, то функция g(х,у) равна   -> у   х+у   ху   x+1Язык, предложения (формулы) которого выражают суждения и отношения исследуемой математической теории, называется   -> логико-математическим   искусственным   формальным   программированияПусть R обозначает свойство рекурсивности, а Р – рекурсивной перечислимости. Тогда   -> RP   РR   РR   Р=RУсеченная разность чисел 5 и 8 (5÷8) равна _____ (ответ укажите цифрой)   -> 0Символы, которые машина Тьюринга читает и пишет на ленте, образуют   -> внешний алфавит   команды   выражения   внутренний алфавитЕсли А рекурсивно, а В – рекурсивно перечислимо, то множество _________ рекурсивно   -> В\А   АВ   (АВ)\(АВ)   А\ВФункция e31(x, y, z) + e32(x, y, z) равна   -> x + y   z + x   x+y+z   y + zЕсли f(x,y) = х + у и рекурсия проводится по переменной y, то функция h(х,у,m) равна   -> m+1   m+у   m+x   2+mВсякое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется   -> высказыванием   выражением   выводом   отношениемКаждая п.р.ф. (примитивно–рекурсивная функция) имеет число геделевских номеров   -> бесконечное   конечное   ограниченное   индивидуальноеПравильность слова, записанного на ленте конечного автомата, определяется по состоянию автомата   -> после прочтения последнего символа слова   до прочтения слова   после прочтения первого символа слова   после прочтения второго символа словаМножество A есть подмножество множества В в том и только в том случае, если каждый элемент множества А является   -> элементом множества B   не является элементом множества B   является элементом другого множества   является другим множествомДругое название семантического парадокса – парадокс   -> эпистемологический   логический   теории множеств   РасселаЕсли высота нечеткого множества меньше 1, то оно называется   -> субнормальным   четким   единичным   нормальнымФункция, определяемая как число шагов в вычислении машиной Тьюринга, называется   -> временным ресурсом   длиной программы   геделевским номером   характеристическойЗнаком принадлежности элемента некоторому множеству является символ   ->    (   )   ()Функция, равная единице тогда и только тогда, когда предикат истинен, называется   -> характеристической   вычислимой   частично рекурсивной   примитивно рекурсивнойФункция является примитивно рекурсивной, если она получается из набора исходных п.р.ф. с помощью операторов   -> рекурсии   -> подстановки   ограниченной минимизации   заменыСвойство формальной аксиоматической теории, когда в ее рамках невозможно доказать две противоречащие друг другу теоремы, называется   -> непротиворечивостью   полнотой   неполнотой   противоречивостьюПересечение множеств А и В обозначается как   -> A  В   АВ   А \ В   А + ВДаны два числовых множества А={3,5,7} и B={2,4,6,8}. Установите соответствие между типом операции над данными множествами и ее результатом    -> AB <-> {2,3,4,5,6,7,8}   -> AB <-> {}   -> A/B <-> {3,5,7}Функция e33 имеет геделевский номер, равный ______ (ответ укажите цифрами)   -> 19Наиболее часто на практике используется опрос экспертов   -> индивидуальный косвенный   индивидуальный прямой   групповой прямой   групповой косвенныйЯзык, на котором описывается другой язык, называется   -> метаязыком   формальной системой   автоматным языком   формулой языкаФункция х+у: 1); 2); 3) обладает следующими свойствами:   -> примитивно рекурсивна   -> частично рекурсивна   частично вычислима   примитивна вычислимаКонечные автоматы могут быть следующих типов:   -> детерминированные   -> недетерминированные   рекурсивные   перечислимыеЛогика высказываний и логика предикатов базируются на   -> отношении порядка   отношении эквивалентности   аксиоматическом подходе   отношении эквивалентности и отношении порядкаЧелночный алгоритм является модификацией ___________ алгоритма   -> марковского   нелинейного   дискретного   регулярногоФункция e11 имеет геделевский номер, равный ______ (ответ укажите цифрой)   -> 5Логическая связка конъюнкция высказываний А и В обозначается как   -> А  В   А  В   А  В   В  АПеременные, фигурирующие в кванторах всеобщности и существования, называются ___________________ переменными   -> связанными   свободными   несвязанными   лингвистическимиБазовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется   -> предложением   словом   выражением   подмножествомВ алфавит формального логического языка входят символы   ->    ->    ->       Вычислительная процедура, приводящая к решению поставленной задачи, называется   -> алгоритмомЛюбая неразрешимая алгоритмическая проблема дает пример множества   -> неразрешимого   невычислимого   неперечислимого   несчетногоЕсли f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция h(х, y, z, m) равна   -> m + 1   e41(x, y, z, m) + e44(x, y, z, m)    m + x   m + yТеорема – «Множество тогда и только тогда разрешимо, когда оно само и его дополнение рекурсивно перечислимы», называется теоремой   -> Поста   Геделя   Тьюринга   КлиниЧасть логики, в которой для решения логических задач используется язык математических и логических знаков, – это логика   -> математическая   высказываний   Буля   предикатовНечеткая логика – это надмножество логики   -> Буля   модальной   высказываний   математическойМножество всех истинных утверждений языка L является   -> неразрешимым и неперечислимым   неразрешимым, но перечислимым   разрешимым и перечислимым   разрешимым, но неперечислимымМножество натуральных чисел обладает свойствами   -> рекурсивности   -> перечислимости   полноты   ограниченностиЕсли f(x,y) = х+у и рекурсия проводится по переменной у, то функция g(x) равна   -> x   2x   x+1   x+2Если А и В – рекурсивные множества, то рекурсивны также множества 1) AB; 2) AB   -> 1 и 2   только 1   только 2   не 1 и не 2Логическая связка эквивалентность обозначается   -> А ~ В   А ( В   А )( В   В (( АВысказывание – это   -> предикатная константа   предикатная переменная   формула   именное выражениеУстановите соответствие логических выражений их равносильным выражениям   -> xx <-> x   -> x1 <-> 1   -> x0 <-> 0   -> xy <-> y  xОбъединение множеств А и В обозначается как   -> АВ   A  В   А  В   А  ВВ логике предикатов термин «некоторые» или «существует хотя бы одно значение» обозначается через   ->    2.    3.    4. Марковский алгоритм носит также название ___________ алгоритма   -> нормального   недетерминированного   нелинейного   стохастическогоСистема теоретико-множественных операций над высказываниями, которые являются элементами множества, называется ________________ высказываний   -> алгеброй   логикой   системой   теориейα–уровнем нечеткого подмножества А универсального множества U называется такое подмножество Аα универсального множества U, для которого верно   -> uAα : A (u)  α   uAα : A (u)  α   uAα : A (u) = α   uAα : A (u)  αЛогическое выражение Ā, где А – высказывание, обозначает   -> отрицание   конъюнкцию   импликацию   дополнениеЕсли множество рекурсивно, то оно ___________________ всюду определенной вычислимой функции   -> является множеством значений и областью определения   является только множеством значений   является только областью определения   не является ни множеством значений, ни областью определенияПримером семантического парадокса могут служить парадаксы   -> лжеца   -> Берри   Рассела   ЛейбницаФункция 0(х) имеет геделевский номер, равный ______ (ответ укажите цифрой)   -> 2Математиками, показавшими возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру, являются   -> Тьюринг   -> Пост   Гедель   ГильбертЕсли f(x,y,z) = z•х+у и рекурсия проводится по переменной z, то функция h(х,у,z,m) равна   -> m+x   mx   my   m+х+у+zФункция, полученная из вычислимой функции с помощью оператора рекурсии, является   -> вычислимой   примитивно рекурсивной   интегрируемой   дифференцируемойСовокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний без всякой связи с их возможной семантикой называется _________ языком   -> формальным   искусственным   логическим   логико-математическимНечеткое отношение – это заданное определенным образом   -> отображение   декартово произведение   отношение   высказываниеЕсли f(n) = cos(n), то функция h(n,m) в рекуррентной формуле равна   -> –m   sin(n)   1– cos(n)   m+1Умозаключения – это элементарные рассуждения, в которых из одного или нескольких суждений получается еще одно суждение, называемое   -> заключением   суждением   посылками   экспликациейУкажите ограничения, накладываемые на базовые термы лингвистической переменной,   -> упорядоченность   -> полнота   -> согласованность   -> нормальность   -> ограниченность   непротиворечивость   модальностьВ основе описания нечеткой логики лежит теория нечетких   -> множеств   высказываний   отношений   выраженийФормальная грамматика, позволяющая построить любую правильную цепочку символов, называется _____________ грамматикой   -> порождающей   нормальной   регулярной   автоматнойФункция, вычисляемая некоторой машиной Тьюринга, называется   -> вычислимой   рекурсивной   обратной   характеристическойЧастично вычислимая функция может быть продолжена до   -> вычислимой   невычислимой   интегрируемой   непрерывнойНауки, в которых преобладают дедуктивные рассуждения, принято называть   -> точными   гуманитарными   естественно–научными   техническимиДаны два высказывания: А = «на улице идет дождь» и В = «над моей головой раскрыт зонтик». Установите соответствие между типом операции над данными высказываниями и результирующим высказыванием:   -> Импликация А на В <-> если на улице идет дождь, то над моей головой раскрыт зонтик   -> Дизъюнкция А и В <-> или на улице идет дождь или над моей головой раскрыт зонтик   -> Конъюнкция А и В <-> на улице идет дождь и над моей головой раскрыт зонтик   -> Эквиваленция В и А <-> над моей головой раскрыт зонтик тогда и только тогда, когда на улице идет дождьСоздателем формальной логики был   -> АристотельВ язык первого порядка входят множества   -> констант   -> функциональных символов   -> предикатных символов   натуральных чиселВсякое непустое _________________ множество является ______________ некоторой всюду определенной вычислимой функции   -> рекурсивно перечислимое, множеством значений   рекурсивное, областью определения   продуктивное, множеством значений   креативное, областью определенияМножество, если оно является множеством значений некоторой вычислимой функции, называется   -> рекурсивно перечислимым   разрешимым   вычислимым   эффективнымКонцептуальное отличие нечеткой логики от классической заключается в том, что она оперирует   -> не только значениями «истина» и «ложь», но и промежуточными значениями   только значениями «истина» и «ложь»   только промежуточными между значениями «истина» и «ложь» значениями   только значениями «ложь»В системе арифметики натуральных чисел Пеано единственным неопределимым отношением является   -> y = x/   у ÷ x   у + х   у – хx,y,z – вещественные числа. Эквивалентна утверждению х [y,z] запись   -> t (x+t=z)  (y+t=x)   t (x+t=z)  (y+t=x)   t (x+t=z)  (y+t=x)   t (y+t=z)  (y+t=x)Способ понимания суждения об объекте, явлении или событии называется   -> модальностью   выводом   выражением   отношениемНаука, изучающая способы обоснования суждений, доказательств, мышления и логического вывода, называется   -> логикойЕсли f(х,у) = х÷у и рекурсия проводится по х, то функция g(у) равна ______ (ответ укажите цифрой)   -> 0Утверждение, что всякая вычислимая функция является вычислимой по Тьюрингу, называется тезисом _________ (укажите фамилию в родительном падеже)   -> ЧерчаЕсли f(x,y) = х • у и рекурсия проводится по переменной x, то функция h(x,y,m) равна   -> m+y   1   m+x   х + уАксиоматический подход относится к такому методу доказательства, при котором осуществляется движение мысли от   -> общего к частному   частного к общему   общего к общему   частного к частномуВыражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется ______________ формой   -> именной   высказывательной   иносказательной   абстрактнойУкажите соответствие между понятиями, характеризующими машину Тьюринга, и их содержанием:   -> Машина Тьюринга <-> гипотетическая вычислительная машина, используемая для уточнения понятия алгоритма   -> Внешний алфавит <-> алфавит символов, подаваемых на вход машины Тьюринга и выдаваемых на ее выходе   -> Внутренний алфавит <-> алфавит символов, определяющих состояние машины Тьюринга   -> Вычислимость по Тьюрингу <-> существование машины Тьюринга, вычисляющей заданную функциюФормализованный язык для однозначной записи алгоритмов называется __________ языком   -> алгоритмическим   метаязыком   регулярным   автоматнымЕсли f(х, y) = х • у и рекурсия проводится по переменной у , то функция g(х) равна   -> 0   1   x   x2Даны два числовых множества А={1,2,3,4,5} и B={2,5,9}. Установите соответствие между типом операции над данными множествами и ее результатом:   -> AB <-> {1,2,3,4,5,9}   -> AB <-> {2,5}   -> A/B <-> {1,3,4}Разность между множествами А и В обозначается   -> А \ В   АВ   A  В   А – ВУкажите соответствие между понятиями теории конечных автоматов и их содержанием:   -> Конечный автомат <-> автомат, который однократно считывает символы строки слева направо, меняя каждый раз свое состояние   -> Регулярный язык <-> язык, распознаваемый конечным автоматом   -> Матрица переходов <-> один из способов описания работы конечного автомата   -> Конечное состояние <-> состояние автомата, в которое он приходит после прочтения символов на лентеКонечному автомату соответствует грамматика, порождающая   -> регулярный язык   машину Тьюринга   язык программирования   словарь машины ТьюрингаУкажите соответствие между названием логической операции и ее обозначением:   -> дизъюнкция <->    -> конъюнкция <->    -> импликация <->    -> эквиваленция <-> Если f(х,y) = ху и рекурсия проводится по у, то функция h(х,y,z) равна   -> zx   x+z   z   zyФункция, вычислимая по Тьюрингу, является   -> частично рекурсивной   примитивно рекурсивной   общерекурсивной   характеристическойВ любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений   -> рекурсивно перечислимо   нерекурсивно   неперечислимо   разрешимоСвойства, которыми может обладать не рекурсивное множество:   -> может быть областью определения всюду определенной вычислимой функции   -> может быть множеством значений всюду определенной вычислимой функции   не может быть множеством значений всюду определенной вычислимой функции   не может быть областью определения всюду определенной вычислимой функцииВ логике можно выделить следующие основные разделы:   -> математическую логику   -> формальную логику   логику Буля   логику предикатовx,y,z – вещественные числа. Эквивалентна утверждению х y запись   -> z (x+z=y)   z (x+z=y)   z (y+z=x)   x (x+z=y)Под термом имеются ввиду следующие понятия:   -> имена предметов   -> именные формы   слова   предложенияЛогическая связка импликация обозначается как   -> АВ   А ( В   А (( В   В ) АВ 1–й строке матрицы переходов конечного автомата находятся   -> символы алфавита   начальные состояния автомата   конечные состояния автомата   все возможные состояния автоматаКоманда машины Тьюринга состоит из __________ элементарных действий (ответ укажите цифрой)   -> 2Логическая функция, принимающая значения в некоторой области истинностных значений, называется   -> предикатом   переменной   постоянной   константойПоследовательное применение ряда формул теории, такое, что любая формула этого ряда есть либо аксиома этой теории, либо непосредственное следствие из применения предыдущих формул, называется   -> выводом   выражением   парадоксом   отношениемУкажите соответствие между характеристиками сложности алгоритмов и их содержанием:   -> Сложность <-> трудность решения задачи, измеренная в терминах некоторого ресурса, потребляемого в процессе вычислений   -> Вычислительные ресурсы <-> временные или пространственные характеристики процесса вычислений   -> Критерий сложности <-> средства измерения объема ресурсов, потребляемых в процессе вычислений   -> Классы сложности <-> способ группировки алгоритмов в соответствии с их сложностьюОсновные типы рассуждений, которые принято выделять в логике называются   -> индуктивными   -> дедуктивными   предикативными   доказуемыми   информационнымиУстановите соответствие между предикатом и областью истинности предиката:   -> x + 5 = 1 <-> –4   -> x2 < 0 <->    -> x2 – 1 = 0 <-> +1; –1Укажите соответствие между понятиями теории алгоритмов и их содержанием:   -> Алгоритм <-> способ решения задачи, точно предписывающий как и в какой последовательности получить результат, однозначно определяемый исходными данными   -> Нормальный алгоритм <-> ряд предписаний в форме подстановок в определенном алфавите   -> Челночный алгоритм <-> модификация марковского алгоритма   -> Примитивно рекурсивные функции <-> арифметические функции, которые сопоставляются по определенным правилам, примитивно рекурсивным описаниямФормула в теории, для которой существует механизм вывода в рамках этой теории, называется   -> разрешимой   неразрешимой   выводимой   не выводимойМножество номеров самоприменимой машины Тьюринга   -> рекурсивно перечислимо   -> неразрешимо   рекурсивно неперечислимо   разрешимоСпособ видения объектов формальных систем как конкретных объектов при условии, что содержательные объекты сохраняют структуру формальных, называется _________________ системы   -> представлением   интерпретацией   изоморфизмом   трансформациейЛогика Буля основывается на   -> отношении эквивалентности   отношении порядка   аксиоматическом подходе   отношении эквивалентности и отношении порядкаТермин «для всех» обозначается в логике предикатов символом   ->    2.    3.    4. Одним из самых распространенных методов опросов экспертов является метод парных сравнений, лежащий в основе метода анализа иерархий, предложенного   -> М. Саати   Кантором   Бурали–Форти   РасселомМножество всевозможных осмысленных утверждений языка является   -> неперечислимым   рекурсивно перечислимым   рекурсивным   креативнымОбъединение произвольного количества вполне определенных, отличных друг от друга объектов, природа и свойства которых могут быть какими угодно, называется   -> множеством   выражением   алгоритмом   совокупностьюЕсли f(х, у) = хy и рекурсия проводится по у, то функция g(х) равна _____ (ответ укажите цифрой)   -> 1Класс примитивно рекурсивных функций ________________________ вычислимых функций   -> входит в класс   содержит в себе класс   совпадает с классом   дополняет классМатематиком, предложившим идею использования рекурсии для решения задач, связанных с основаниями математики, является   -> ГильбертУкажите соответствие между понятиями теории множеств и их содержанием:   -> множество <-> объединение произвольного количества определенных отличных друг от друга объектов   -> подмножество <-> множество А есть подмножество множества В в том и только в том случае, если каждый элемент множества А есть также элемент множества В   -> мощность множества <-> критерий оценки размерности множества   -> пустое множество <-> множество, не содержащее элементовАвтомат, однократно считывающий входную строку слева направо, называется   -> конечным   дискретным   элементарным   МП–автоматомЕсли f(n)=n!, то функция h(n,m) в рекуррентной формуле равна   -> m(n+1)   m+1   m+n+1   m!Символы, которые определяют внутреннее состояние машин Тьюринга, образуют   -> внутренний алфавит   команды   выражения   внешний алфавитЧисло компонент машины Тьюринга равно _____ (ответ укажите цифрой)   -> 5Установите соответствие логических выражений их равносильным выражениям:   -> x  y <-> y  x   -> x  y <-> y  x   -> x  (y  z) <-> (x  y)  z   -> x  (y  z) <-> (x  y)  zНе сохраняет примитивную рекурсивность оператор   -> минимизации   сдвига   рекурсии   подстановкиУкажите соответствие между понятиями логики и их содержанием:   -> понятие <-> мысль, отражающая в обобщенной форме предметы и явления действительности и связи между ними посредством фиксации общих и специфических признаков   -> экспликация <-> строгая формулировка содержательного или интуитивного понятия   -> суждение <-> умственный акт, выражающий отношение говорящего к содержанию высказанной мысли   -> умозаключение <-> умственное действие, связующее в ряд посылок и следствий мысли различного содержанияВ модальную логику входят понятия   -> необходимости   -> возможности   рекусивности   перечислимостиВ основе метода парных сравнений лежит процедура обработки результатов опроса экспертов, представленных в виде   -> матрицы   функциональной зависимости   уравнения   отношенияФормула, которая истинна при всех интерпретациях, называется   -> общезначимой   неразрешимой   разрешимой   выводимойУкажите соответствие между понятиями теории формальных грамматик и их содержанием:   -> метаязык <-> язык, на котором описывается другой язык   -> грамматика <-> правила, определяющие предложения языка   -> фразы <-> комбинации символов, образующие грамматические единицы   -> функтор <-> средство соединения фраз для образования других фразМножество, если его характеристический предикат является вычислимым, называется   -> рекурсивным   рекурсивно перечислимым   вычислимым   эффективнымСуществуют следующие классы фраз:   -> функторы   -> предложения   -> имена   кванторы   дизъюнктыМножество доказуемых утверждений формальной системы арифметики   -> неразрешимо   разрешимо   замкнуто   открытоСуществуют следующие формы записи работы конечного автомата:   -> набор команд   -> матрица переходов   -> граф состояний   система алгебраических уравненийФункция S(х) имеет геделевский номер, равный _____ (ответ укажите цифрой)   -> 3Законченная последовательность знаков определенной длины, воспринимаемая как элемент обработки с определенным семантическим содержанием, называется   -> словом   формулой   предложением   языкомЛогику можно определять как науку о(об)   -> правильных способах рассуждения   парадоксах в теории абстрактных множеств   анализах парадоксов   поисках оптимального решенияКоличество типов команд машины Тьюринга равно ________ (ответ укажите цифрой)   -> 3Теорема о том, что не существует формальной системы арифметики, удовлетворяющей условиям полноты и непротиворечивости, носит имя ______ (укажите фамилию)   -> ГеделяЛогическая связка дизъюнкция высказываний А и В обозначается как   -> А  В   А  В   А  В   В  АПереход конечного автомата происходит   -> после прочтения символа на ленте   в произвольный момент времени   по команде извне   после обнаружения ошибкиВ 1–м столбце матрицы переходов конечного автомата находятся   -> все возможные состояния автомата   символы алфавита   начальные состояния автомата   конечные состояния автоматаПонятие полноты формальной системы состоит в том, что для любого утверждения  в рамках данной системы одно из утверждений ¬ и    -> доказуемо   истинно   опровергаемо   непротиворечивоВ понятие формулы высказываний входят   -> высказывания   -> высказывательные формы   выводы   отношения   выраженияЕсли f(n) = 2n, то функция h(n,m) в рекуррентной формуле равна   -> 2m   2 + m   m2   1










sitemap
sitemap