Cтраница 3
Для всякого п множество 5 геделевых номеров предложений языка L, содержащих не более п вхождений логических операторов, рекурсивно. [31]
Покажите, что для любого п множество геделевых номеров истинных пренексных предложений языка L, содержащих не более п кванторов, определимо в арифметике. [32]
Под каждой парой клеток ставится номер, соответствующий номеру предложения в диктанте. На рис. 1 изображен вид листка учащегося до диктанта. [33]
По формальным признакам, не прибегая к переводу, выберите номера предложений, в которых any имеет значение любой. [34]
Последовательность и структура записей выходного файла при выборке в режиме Т. [35] |
Все обнаруженные ошибки выдаются на АЦПУ после распечатанного текста запроса в порядке возрастания номеров предложений. [36]
Поле, состоящее из колонок 73 - 80, играет служебную роль: в этом поле могут быть указаны физические номера предложений, используемые, например, при редактировании текста с помощью машины. Заметим, что эти номера в текст предложений не входят. [37]
Так как множество символов, которые могут встретиться в предложениях языка теории Т, разрешимо ( по ранее сделанному предположению), то множество предложений языка теории Т само разрешимо, т.е. существует машина Тьюринга, которая, получив число в качестве входного значения, выдает в качестве результата 1 тогда и только тогда, когда это число есть геделев номер предложения языка теории Т, и 0 в противном случае. [38]
Листинг программы ( часть раздела TXT вычисления выражения. [39] |
На рис. 10.3 приведен листинг исходной и объектной программы ( часть раздела ТХТ), рассматриваемой выше, где: PAGE 1-страница 1 листинга; LOG - значение счетчика адреса ассемблера; OBJECT CODE - объектный код ( машинный код) команд; ADDR1 - адрес 1-го операнда в памяти; ADDR2 - адрес 2-го операнда в памяти; STMT - номер предложения; SOURCE STATEMENT - исходная программа; 10 / 25 / 75 - месяц / число / год. [40]
Колонки бланка с 73 - й по 80 - ю могут использоваться для нумерации предложений языка Ассемблера. Отперфорированные номера предложений ( каждое предложение перфорируется на отдельной перфокарте) распечатываются в листинге компилятора. [41]
Колонки бланка с 73 - й по 80 - ю могут использоваться для нумерации предложений языка Ассемблера. Отперфорированные номера предложений ( каждое предложение перфорируется на отдельной перфокарте) распечатываются в листинге компилятора. [42]
Назовите номера предложений, в которых one выступает заменителем ранее упомянутого существительного. [43]
Читайте предложения, интонационно выделяя причастную конструкцию как единую смысловую группу. Назовите номера предложений, в которых имеется независимый причастный оборот. [44]
Вообще говоря, номера предложений должны возрастать при чтении программы сверху вниз. Каждый очередной номер предложения должен выбираться с шагом 5 или 10, с тем чтобы при добавлении новых предложений старые номера оставались прежними. [45]